Introduction to the Theory of Computation
Formalization to support an undergraduate course on the theory of computation, including languages and Turing machines.
- from
- Coq
- added
- 2026-10-10
- likes
- 0
similar
-
Sipser. Introduction to Theory of Computation cengage.com
A standard text for introducing theory of computation for undergrads.
-
Watrous. Introduction to The Theory of Computing cs.uwaterloo.ca
undergrad introduction to theory of computation
-
Eck & Critchlow. Foundations of Computation math.hws.edu
for a one-semester course in theoretical computer science. It has no prerequisites other than introductory computer programming. It includes logic, sets, and function from discrete math, and automata, formal languages, and grammar from upper-level courses.
-
Software Foundations softwarefoundations.cis.upenn.edu
Series of Coq-based textbooks on logic, functional programming, and foundations of programming languages, aimed at being accessible to beginners.
-
Hopcroft, Motwani & Ullman. Introduction to Automata Theory, Languages, and Computation pearson.com
Introductory undergrad textbook for automata, languages and theory of computation topics.
-
Cooper. Computability Theory routledge.com
A concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results.
Coq › Resources > Course Material: “Formalization to support an undergraduate course on the theory of computation, including languages and Turing machines.”