implemented Automaton.substitute(Char,Automaton)