Определение конечного автомата