Routing Automaton Posted by automata123, at math.stackexchange.com, 06 Dec 2013 Is there a formal proof for the following question? For a DFA $M= (Q,\Sigma,\delta,s,A)$, we extend the function $\delta …