The top documents tagged [s turingrecognizable]

Cs3102: Theory of Computation Class 17: Undecidable Languages Spring 2010 University of Virginia David Evans.

---

220 views