Many changes to construction of automata.

Grouped transitions as per TODO. Used built-in functionality of pyparsing
library to produce dictionary result instead of list result. Completed
implementation of Automata constructor - populates dictionary of states
with node objects.