Конечный автомат -- это такая схема, которая в конце приводит к автомату по информатике.