/media/sda-magnetic/david/Dok-15-2023-11-27/fernuni-hagen/cs-i-ii/fsm/fsm/lex-yacc-bash-etc/grammatik06.txt

statement       -> assignment | cond | loop
assignment      -> id := expr
cond            -> if boolexpr then statement fi
                | if boolexpr then statement else statement fi
loop            -> while boolexpr do statement od
expr            -> boolexpr | numexpr
boolexpr        -> numexpr cop numexpr
numexpr         -> numexpr + term | term
term            -> term * factor | factor
factor          -> id | cons | (numexpr)