added CFG.concatenate(Automaton) and added a Transition type to Automaton to help with readability.