Models Of Computation And Formal LanguagesModels of Computation and Formal Languages
Gregory TaylorThis book explains the TuringTest, Markov algorithms, NP-completeness, etc. Not exactly light reading.
EditText of this page
(last edited June 6, 2003)
or FindPage with title or text search