Universal Two State Machines: Characterization Theorems and Decomposition Schemes

Universal Two State Machines: Characterization Theorems and Decomposition Schemes Jeffrey D. Ullman Peter Weiner 413-426 conf/focs/FOCS9 1968 FOCS db/conf/focs/focs68.html#UllmanW68