Введение в трорию конечных автоматов - Брауэр В. (Фан, 1987)