Document last modified:
G4:
<exp> ::= <exp>+<exp> | <exp>*<exp> | (<exp>) |a|b|c
G5:
<exp> ::= <exp> + <exp> | <mulexp>
<mulexp> ::= <mulexp>*<mulexp> | (<exp>) |a|b|c
G6:
<exp> ::= <mulexp> + <exp> | <mulexp>
<mulexp> ::= <rootexp>*<mulexp> | <rootexp>
<rootexp> ::= (<exp>) | a | b | c





- ab*c+
- ab*ca+*
<exp> ::= <some> + <exp> | <some>
<some> ::= <mulesp> SOME <some> | <mulexp>
<mulexp> ::= <rootexp>*<mulexp> | <rootexp>
<rootexp> ::= (<exp>) | a | b | c
<thing> ::= <exp> THING <thing> | <exp>
<exp> ::= <mulexp> + <exp> | <mulexp>
<mulexp> ::= <rootexp>*<mulexp> | <rootexp>
<rootexp> ::= (<exp>) | a | b | c