Computer Science 250 - THEORY OF COMPUTATION
Spring
2017
01
4.00
Joseph O'Rourke
MWF 09:00-09:50
Smith College
41381-S17
FORD 241
jorourke@smith.edu
Automata and finite state machines, regular sets and regular languages; push-down automata and context-free languages; linear-bounded automata; computability and Turing machines; nondeterminism and undecidability. Perl is used to illustrate regular language concepts. Prerequisites: 111 and MTH 153.