Journal of Computer and System Sciences · 1973 · 90 citations · 1 references
ComputingComputer ScienceAlgorithmsAutomata TheoryEquivalence CheckingFinite AutomataFinite State Machine ModelingFinite-state MachinesTuring MachinesAutomata EquivalenceAutomata-based Equivalence CheckingDeterministic Finite AutomataDeterministic Turing MachinesFinite Automata Theory
1
Finite Automata and Their Decision Problems
M. O. Rabin, D. Scott · IBM Journal of Research and Development · 1959 · 1.9K citations