Feb 26, 2021  
Graduate Catalog 2017-2019 
Graduate Catalog 2017-2019 [ARCHIVED CATALOG]

CST 5307 - Introduction to Automata, Formal Languages and Computability

Credits: 3 hrs
This course studies computer science theory and the mathematical foundations of digital computers. Its topic includes 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. Prerequisite(s): Admission to the MCST graduate program and advisor approval