University of Virginia
CS 302 — Theory of Computation
34 documents • ranked by quality and engagement.
No description provided
Thesis of Church and Turing
CS 302 · University of Virginia
Parsing Parsimoniously
CS 302 · University of Virginia
Finite Automata (Deterministic)
CS 302 · University of Virginia
Languages Context-Free
CS 302 · University of Virginia
Automata Pushdown
CS 302 · University of Virginia
Genomes Computing and Computing Genomes
CS 302 · University of Virginia
P vs NP Problem
CS 302 · University of Virginia
Undecidability and Universality
CS 302 · University of Virginia
Complexity Theory Introduction
CS 302 · University of Virginia
Proofs of Undecidability
CS 302 · University of Virginia