Артур Гилл - Введение в теорию конечных автоматов