Mar 19, 2024  
2018-2019 Supplemental Undergraduate Catalog 
    
2018-2019 Supplemental Undergraduate Catalog [ARCHIVED CATALOG]

CSC 4386 - Automata, Formal Languages, and Computability

Credits: 3 hrs.
This course provides an introduction to computer science theory and the mathematical foundations of digital computers. Its topics include the family of computing machines (finite-state, push-down, and Turing), the Chomsky hierarchy of languages, decidability, unsolvable problems, and applications of automata to areas of syntactic analysis, modeling, and artificial intelligence.
Pre-requisite(s): CSC 3331 and MAT 2337, or consent of instructor.
Cross-listed as MAT 4386.