Fixed dfa_read.

Last bug was that the function getTransitionState returns a list of transition states (because of NFAs) but dfa_read was expecting a single string. Added a dereference to ensure this was the case.