Push-down automaton for unary addition
w =
Grammar
S → aSa | +aEa
E → aEa | =