Computer Science 250 - THEORETICAL FOUNDATIONS/CSC

Fall
2014
01
4.00
Alicia Wolfe
MWF 10:00-10:50
Smith College
20379-F14
FORD 241
apwolfe@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.
Permission is required for interchange registration during the add/drop period only.