previous up next
Go backward to Set Theory
Go up to Top
Go forward to Mathematical Induction
RISC-Linz logo

More Readable Version

Abstract Syntax:

E in Expression
O in Operator
N in Numeral
E ::= N | E O E | (E)
O ::= + | - | * | /

N is just set of values.


Author: Wolfgang Schreiner
Last Modification: October 13, 1997

previous up next