Приведенным называется конечный автомат у которого

нет недостижимых состояний
нет ни недостижимых, ни эквивалентных состояний
нет эквивалентных состояний

Для просмотра статистики ответов нужно войти.