Д. и о.-д.
А ш.э.?
Хопкрофт Мотвани Ульман введение в теорию автоматов - для программистов, очень просто и понятно
Также: Ахо Лем Сети Ульман Компиляторы, принципы технологии и инструментарии (здесь сильно больше чем то, что Вы написали, тоже для программистов).
Здесь есть немного:
topic74435.html (Гинзбург там для математиков, Мозговой - для программистов)
Здесь чуточку:
topic39667.html