Computer Science 250 - Theory of Computation

THEORETICAL FOUNDATIONS

Spring
2020
01
4.00
R. Jordan Crouser
TTh 10:50-12:05
Smith College
30075-S20
FORD 240
jcrouser@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. Prerequisites: 111 and MTH 153.
Permission is required for interchange registration during the add/drop period only.
Link to Campus Courses
Back to the Five College Course Schedule