|
|
|
Apr 15, 2026
|
|
Goucher College 2011-2012 Undergraduate Catalogue PLEASE NOTE: This is an archived catalog. Programs are subject to change each academic year.
|
CS 250 - Theory of Computation (4 Cr.)
The basic theoretical principles embodied in formal languages, automata, and computability. Topics include finite automata, nondeterministic machines, regular expressions, context-free grammars, Turing machines, Church’s thesis, the halting problem, unsolvability, and computational complexity. Prerequisites: CS 119 . Spring semester. Offered 2012-13 and alternate years. Zimmerman.
|
|
|
