May 09, 2025  
2019-2021 Undergraduate Catalog 
    
  Publication Home
  Correspondence Directory
  Historical Sketch
  University Mission Statement
  Regional Accreditation
  Admission to the University
  Tuition, Fees and Payments Overview
  Financial Aid
  Policies and Regulations Governing Student Life
  Academic Policies
  Academic and Student Support Services
  General Education Curriculum Requirements
  Simon Green Atkins Scholar Society
  International Programs
  Writing in the Major
  Undergraduate Degrees and Requirements
  School/College/Departments
  Undergraduate Programs
  Course Descriptions
HELP
2019-2021 Undergraduate Catalog [ARCHIVED CATALOG]

MAT 4386 - Automata, Formal Languages and Computability

Credits: 3 hrs
This course studies 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 4340  and MAT 2316 , or consent of instructor.
Cross-listed as CSC 4386