Contents DefinitionsPrerequisites Building the NFAAugment Grammar with Start The State Data-structure The NFA classNFA Initialization routines NFA Start State (create_start) Advance the state of parse by one token NFA find_transitions NFA build_nfa Constructing a graph LR0 AutomataClosureCompiling DFA States Building the DFAItem DFAState LR(0) DFADFA Compute the closure DFA Start State (create_start) Advance the state of parse by the given token DFA find_transitions add_reduce LR0DFA build_df...