Apr 25, 2024  
2015-2016 Graduate Catalog 
    
  Catalog Home
  Notices
  Academic Calendar
  Colleges and Departments
  Graduate Programs
  Course Descriptions
  Admissions
  Expenses, Financial Aid & Assistantships
  Research Facilities & Services
  Academic & Administrative Policies
  Trustees and Administrative Officers
  Maps & Directions
HELP
2015-2016 Graduate Catalog [ARCHIVED CATALOG]

CS 622 Theory of Formal Languages

This course treats languages from an abstract point of view as defined by formal grammars and by families of abstract machines. The Chomsky hierarchy and associated automata are covered. Emphasis is placed on context-free languages. Careful mathematical definition and proof are stressed throughout. This course does not involve programming. This course is of special interest to students interested in linguistics and in the theory of programming language compilers.

Prerequisite(s): CS 320L and CS 450 or Permission of Instructor

3 Credit(s)