Topics include: finite automata and regular languages, models of computation and undecidability, Chomsky hierarchy and semantics of programming languages. PREREQ: COSC/MATH 2056 & COSC 1047. Students may not retain credit for both COSC 3106 and MATH 3426. (lec 3) cr 3
