Apr 19, 2024  
2012-2014 Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home
  General Information
  Academic Calendar
  Admissions Information
  Tuition & Residency
  Fees
  Financial Aid & Scholarships
  Majors & Minors
  Schools & Departments
  Programs
  Courses
  Course Numbers & Subject Abbreviations
  Graduate & Professional Programs
  Other Edu Opportunities
  University Policies
  Academic Policies
  General Education
  Academic Success Center
  Student Services & Activities
  The University Community & Libraries
  Catalog Saving and Printing Options
  test
HELP
2012-2014 Undergraduate Catalog ARCHIVED CATALOG: CONTENT MAY NOT BE CURRENT. USE THE DROP DOWN ABOVE TO ACCESS THE CURRENT CATALOG.

CS 456 - Automata and Formal Languages

Regular expressions. Regular, context-free, and unrestricted grammars. Finite and pushdown autoamata. Turing machines and the halting problem; introduction to decidability.

Credits 3
Prerequisites   and  .