Feb 23, 2020  
Graduate Catalog 2013-2014 
    
Graduate Catalog 2013-2014 [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