adding wirth description and automata of rules

only automata of rules not treated by lexer