 The formula_9 parser is a deterministic pushdown automaton with the ability to peek on the next formula_10 input symbols without reading.This peek capability can be emulated by storing the lookahead buffer contents in the finite state space, since both buffer and input alphabet are finite in size.As a result, this does not make the automaton more powerful, but is a convenient abstraction.