Example

S expression grammar

("embedded" in most programming lang's)

A is an atom

S is the root

Say A is 'a'|'b'|'c'

Is  (a(b)) generated?

     (a(b)()              ?