Information and Control · 1974 · 12 citations · 4 references
ComputingComputer ScienceMathematicsDynamical SystemsTheory Of ComputationFinite AutomataFinite State Machine ModelingFinite-state MachinesState-space RepresentationFinite-state VerificationState Transformation
4
Introduction to the theory of finite-state machines
S. Seshu · Proceedings of the IEEE · 1963 · 546 citations
The Upper Semi-Lattice of Degrees of Recursive Unsolvability
S. C. Kleene, Emil L. Post · Annals of Mathematics · 1954 · 276 citations