... grammar: gotol (ql , ~) = q'a; gotol (q,, I~ ) = q,; gotol (q~, noun) = q~; gotol (qs, g) qs; gotol(qs, verb) = ~,; goto~(qs, ~=) = qs; goto, (~, , Po ) = elo; goto, (es, ~) = ... 'natural' syntax trees, generally belong to this subset. For an example, see section 6. 5.2 The automaton To determine the automaton we specify, in addition to the set of states Q, the set of stack ... axe grouped into two parts. First we list the function goto~: goto2(¢0, ~o,=~) = ~; goto=(¢l, det) ffi ¢~; go=o.(q~, P.) ffi qs; OO=O~(q2, ~) ffi ~s; goto2(,2, verb) ffi q.; goto~(~2, prep)...