Jan 03, 2025  
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]

CSC 4386 - Automata, Formal Languages, and Computability

Credits: 3 hrs.
This course provides an introduction to 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 3331 and MAT 2337, or consent of instructor. Cross-listed as MAT 4386.