cse 600 : Formal Languages and Automata Theory : Winter 2006


John E. Hopcroft, Rajeev Motwani and Jeffrey D. Ullman, "Introduction to Automata Theory, Languages and Computation -Second Edition", Addison-Wesley

Text web page

Other references:

Formal Syntax and Semantics of Prgramming Languages K. Slonneger (U. Iowa) and B. L. Kurz (Louisiana Tech. U.)
Lambda Calculus

JFLAP - graphical tools for languages and automata

This course begins the study of abstract computing devices, their properties, equivalence between various abstract machines and language classes, and the kinds of problems that can be solved with them.

Class schedule
Programming standards
Grading and assessment

Notes on converting from Regular Expression -> NFA -> DFA . (updated - state table algorithm 05/05/02)
Ref:Postcript/ Pdf

http://www.cse.csusb.edu/egomez/cs600.html - updated 01/05/06