Turing machines, transition systems, and interaction

Introduction to automata theory, languages and computation

Mathematics and Computers in Simulation · 1981 · 10.9K citations

Computing, Computer Science, Mathematics +10

Artificial intelligence: A modern approach

Nils J. Nilsson · Artificial Intelligence · 1996 · 10.7K citations

Computing, Computer Science, Artificial Intelligence +13

On Computable Numbers, with an Application to the Entscheidungsproblem

Alan Turing · Proceedings of the London Mathematical Society · 1937 · 8.1K citations

Computing, Computer Science, Mathematics +10

Introduction to automata theory, languages, and computation

Computer Languages · 1980 · 6.9K citations

Computing, Computer Science, Mathematics +10

Statecharts: a visual formalism for complex systems

David Harel · Science of Computer Programming · 1987 · 6.7K citations

Engineering, Systems Engineering, Complex Systems +10