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