Theory Computation & Frml Lang

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.

Credits

3 credits

Course Code

CSCI 6200