CPTR 437 001 Formal Theory of Computation - SP2022

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