use a namedtuple for DFA states
remove debugging script