Notes on Formal Languages, Automata and Computability
Book in progress (2009)
Terms and Conditions
By downloading these files you are agreeing to
the following conditions of use: Copyright 2003 by Jean Gallier. This
material may be reproduced for any educational purpose, multiple copies
may be made for classes, etc. Charges, if any, for reproduced copies must
be no more than enough to recover reasonable costs of reproduction. Reproduction
for commercial purposes is prohibited. The cover page, which contains
these terms and conditions, must be included in all distributed copies.
It is not permitted to post this book
for downloading in any other web location,
though links to this page may be freely given.
Generalities, Motivations, Basics of language theory,
DFA's, the cross-product construction, morphisms and maps
of DFA's, NFA's