AB35.4.5
AB35.4.5 J. Kral: The Equivalence of Modes and the Equivalence of Finite Automata, pages 34-35
Page 34
Page 35