Theoretical Computer Science · 2003 · 72 citations · 12 references
ComputingComputer ScienceAlgorithmsFormal MethodsAutomata TheoryFinite AutomataFinite State Machine ModelingFinite-state MachinesModel CheckingAutomata ConstructionAutomata SynthesisFinite Automata TheoryNondeterminismTwo-way Automata
12
Introduction to automata theory, languages, and computation
Computer Languages · 1980 · 6.9K citations
Finite automata and unary languages
Marek Chrobák · Theoretical Computer Science · 1986 · 294 citations
Nondeterminism and the size of two way finite automata
William J. Sakoda, Michael Sipser · 1978 · 172 citations · Full text
Lower bounds on the size of sweeping automata
Michael Sipser · Journal of Computer and System Sciences · 1980 · 103 citations