Теория автоматов
Е.М.Крейнес, А.В.Михалев