Units: 3Regular and context-free languages, and other formal languages, push down and finite-state automata, and other finite machines. Turning machine computability, halting problems. May not be taken for credit by students who received credit for:CS 521.