Computer Science 230 Fall 2016

Computer Science 230: Theory of Computation will be offered in the fall semester with Oliver Bonham-Carter. Lectures will be held on Monday, Wednesday, and Friday at 10:00 am.

An introduction to the theories of finite-state machines, pushdown automata and Turing machines as well as the relation between automata and the formal languages they recognize. Students explore computational theory and its practical applications in lexical analysis and language parsing. Prerequisites: CMPSC 112 and MATH 205, or permission of instructor. Offered in alternate years.