3 libros en este género
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