Computer Science 250 - Theory of Computation

Theoretical Foundations

Fall
2022
01
4.00
Pablo Frank Bolton

M W F 10:50 AM - 12:05 PM

Smith College
CSC-250-01-202301
Ford 342
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.

[CE] CSC 111 & MTH 153

Permission is required for interchange registration during the add/drop period only.