Course Catalog

GRAD > 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.

Offered in:

2017 Spring

Section Class Number Schedule/Time Instructor Location
01 5413 MW
04:00 PM - 05:15 PM
Simovici,Dan Y04-4160
Session: Regular Academic Session
Class Dates: 01/23/2017 - 05/10/2017
Capacity: 35
Enrolled: 4
Status: Open
Credits: 3/3
Class Notes:
Pre Requisites: Pre-req = CS 320L and CS 450 or Permission of Instructor
Course Attributes: