May 26, 2018  
2016-2017 Undergraduate Catalog 
    
2016-2017 Undergraduate Catalog [ARCHIVED CATALOG]

CS 408 - Automata and Formal Languages


This course is an introduction to the theoretical foundations of Computer Science. Topics include regular languages and finite state machines, context-free languages and push-down automata, Turing machines and recursive function theory, and undecidability. Even though the material is mathematically rigorous and abstract in nature, the concepts find numerous applications throughout many sub-fields of Computer Science, and form the basis for such important issues as the design of computer hardware, compilers, and operating systems.
Lecture
3 Credits
Prerequisite: MTH 310  
Offered in the Fall Semester Alternate Years