Dec 26, 2024  
2017-2019 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
  General Education Course Diagram
  General Education Course Diagram (PDF)
  GE Curriculum Advising Matrix
  GE Curriculum Advising Matrix Image
HELP
2017-2019 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. Prerequisite(s): CSC 4340 and MAT 2316, or consent of instructor. Cross-listed as CSC 4386.