Apr 23, 2024  
ARCHIVED 2020-21 Undergraduate Catalog 
    
ARCHIVED 2020-21 Undergraduate Catalog [ARCHIVED CATALOG]

IST 315 - Theory of Computation (3)

Prerequisites: IST 145  and MTH 250 .
A study of the basic theoretical principles embodied in formal languages and automata. Topics include finite automata, context-free grammars, Turing machines, computability, and the halting problem. Upon completion of this course, the student will be able to apply theoretical models to the solution of computational problems.