Figure 1

LA home
Computing
 Algorithms
 Bioinformatics
 FP,  λ
 Logic,  π
 MML
 Prog.Langs

 Comp.J.1985

<program> ::= <statement>

<statement>   ::= begin <stat list> end        |
                  if <exp> then <statement> else <statement> |
                  while <exp> do <statement>   |
                  <ident>:=<exp>               |
                  output <exp>                 |
                  <ident>                      |
                  <dec>

<dec>         ::= var <id list>                |
                  proc <ident> = <statement>

<id list>     ::= <ident>  |  <ident>, <id list>
<stat list>   ::= <statement>  |  <statement>; <stat list>

<exp>         ::= <sexp> <relop> <sexp>  |  <sexp>
<sexp>        ::= <sexp> <addop> <term>  |  <term>
<term>        ::= <term> * <opd>         |  <opd>
<opd>         ::= ( <exp> )  |  <ident>  |  <integer>

<relop>       ::= = | <> | < | <= | > | >=
<addop>       ::= + | -
-- Figure 1. Concrete Syntax --

I.e. The concrete syntax of the demonstration, imperative language being defined. Note that it includes procedure definition and call.

window on the wide world:

Computer Science Education Week

Linux
 Ubuntu
free op. sys.
OpenOffice
free office suite,
ver 3.4+

The GIMP
~ free photoshop
Firefox
web browser
FlashBlock
like it says!

© L. Allison   http://www.allisons.org/ll/   (or as otherwise indicated),
Faculty of Information Technology (Clayton), Monash University, Australia 3800 (6/'05 was School of Computer Science and Software Engineering, Fac. Info. Tech., Monash University,
was Department of Computer Science, Fac. Comp. & Info. Tech., '89 was Department of Computer Science, Fac. Sci., '68-'71 was Department of Information Science, Fac. Sci.)
Created with "vi (Linux + Solaris)",  charset=iso-8859-1,  fetched Wednesday, 26-Nov-2014 11:14:36 EST.