Барбасова Т.А.
Теория конечных автоматов: учебное пособие
Ноокулон. Управление реальностью.