Úvod do teorie konečných automatů - Kobrinskij, Natan Jefimovič; Trachtenbrot, Boris Abramovič (Teoretická knižnice inženýra, 1967)