automata 5 Sections AutomataTheory Doc

Def A1 A2 == x,y:Alph*. (Result(A1)x) = (Result(A1)y) S1 (Result(A2)x) = (Result(A2)y) S2

In prior sections: automata 4