David Evans cs302: Theory of Computation University of Virginia Computer Science Lecture 17: ProvingUndecidability.
NFA or Non deterministic finite automata
CS 302: Discrete Math II A Review. An alphabet Σ is a finite set (e.g., Σ = {0,1}) A string over Σ is a finite-length sequence of elements of Σ For x.
Cs3102: Theory of Computation Class 17: Undecidable Languages Spring 2010 University of Virginia David Evans.