Computer Science 250 - Theory of Computation
Theoretical Foundations
Fall
2021
01
4.00
Pablo Frank Bolton
M W 1:20 PM - 2:35 PM
Smith College
CSC-250-01-202201
Seelye 301
pfrank@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.