Computer Science 250 - Theory of Computation
Theoretical Foundations
Fall
2024
01
4.00
Pablo Frank Bolton
W F 2:45 PM - 4:00 PM; M 3:05 PM - 4:20 PM
Smith College
CSC-250-01-202501
Ford 241
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: CSC 110 and MTH 153. Enrollment limited to 30.