Topics covered are: finite automata and regular languages; models of computation and undecidability; Chomsky hierarchy; semantics of programming languages. PREREQ: COSC/MATH 2056, COSC 1047. Cross-listed as COSC 3106; students cannot take both MATH 3426 and COSC 3106. (lec 3) cr 3
