Added toString functions for Automaton, Chain, and Dummy.