3 books in this genre
Petri-Netze
Lutz Priese
Einfu hrung in die Automatentheorie, formale Sprachen und Komplexita tstheorie
John E. Hopcroft
Principles of constructing linguistic models
P. N. Denisov
