Computer Science 250 - THEORETICAL FOUNDATIONS
Spring
2019
01
4.00
R. Jordan Crouser
TTh 09:00-10:20
Smith College
30445-S19
SEELYE 301
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.