Computer Science 250 - Theory of Computation
Theoretical Foundations
Spring
2024
02
4.00
R. Jordan Crouser
M W F 9:25 AM - 10:40 AM
Smith College
CSC-250-02-202403
Bass 204
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: CSC 110 and MTH 153. Enrollment limited to 30.