Search Results

COM S 331: Theory of Computing

(Cross-listed with LING). (3-1) Cr. 3. F.S.

Prereq: Minimum of C- in (COM S 228; MATH 166; ENGL 250); (COM S 230 or CPR E 310)
Models of computation: finite state automata, pushdown automata and Turing machines. Study of grammars and their relation to automata. Limits of digital computation, unsolvability and Church-Turing thesis. Relations between classes of languages.


...BBMB, BIOL, CHEM, COM S, ECON, All Engineering...2 credits from AGRON 331 or AGRON 370...