// g_paren.g grammar for balanced parenthesis // G = ( V, T, P, S ) V = { S ) T = { (, ) } S = S start S terminal ( ) ; S -> ( ) ; S -> ( S ) ; S -> S S ; enddef () ()() (()) ((()(()()))) ((() ()))