CPTR 437 001 Formal Theory of Computation - SP2023

Study of the various classes of formal languages, their grammars, properties and recognizing machines. Turing machines. Computability.