MA 351 Theory of Computation 4-0-0-8
Syllabus: Alphabets, languages, grammars; Finite automata, regular languages, regular expressions; Context-free languages, pushdown automata, DCFLs; Context sensitive languages, linear bounded automata; Turing machines, recursively enumerable languages; Operations on formal languages and their properties; Decidability; Undecidability; Cook’s theorem.
Texts:
References: