Goucher College 2012-2013 Undergraduate Catalogue 
    
    Apr 28, 2024  
Goucher College 2012-2013 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 2012-13 and alternate years. Zimmerman.