Джон Хопкрофт и книга Н. Поликарповой и А. Шалыто "Автоматное программирование"