Universal Two State Machines: Characterization Theorems and Decomposition Schemes

Jeffrey D. Ullman, Peter Weiner

Browse the full FOCS paper archive.