Goucher College 2015-2016 Undergraduate Catalogue 
    
    Dec 26, 2024  
Goucher College 2015-2016 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  with a minimum grade of C-. Spring semester. Offered 2014-15 and alternate years. Brody, Zimmerman.