Введение в теорию конечных автоматов В вычислительной