expr ::= term+
term  ::= 'aaa' | 'bbb' | brace
brace ::= '{' expr '}'