Make your own free website on

CS-502 Automata Theory

Course Instructor: Dr. Abbas Kazim Zadi

Purpose of Course

Computer Science 502, deals with mathematical models of computation -- specifically, automata, which are idealized machines for manipulating strings of symbols, and grammars, which are collections of rules for transforming strings of symbols -- and with the characteristics of the classes of functions that can be defined and computed within these models. By abstracting from all attributes of actual computation that are not readily formalized, automata theorists have been able to establish quite general results about the capabilities and efficiencies of various computational methods. We shall study both the results that they have obtained and the mathematical techniques they use.


Here is what each student in the course is expected to do: