Goucher College 2016-2017 Undergraduate Catalogue 
    
    Apr 24, 2024  
Goucher College 2016-2017 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 2016-17 and alternate years. Brody, Zimmerman.