May 26, 2024  
2011-2012 Graduate Catalog 
2011-2012 Graduate Catalog [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