Федосеева Л.И.
Основные теории конечных автоматов и формальных языков: учебное пособие
Ноокулон. Управление реальностью.
