The 'Build' module should construct a DFA using data from the Parser