Theory Computation & Frml Lang

Catalog description

Introduces theoretical foundations of computation and formal languages. It includes models of regular sets, context-free languages, Turing machines, deterministic and non-deterministic models, closure properties, normal forms and applications, general phrase-structure languages along with their associated automata, partial recursive functions and programming languages, and complexity theory with an introduction to the open classification problems relating to the classes P and NP.