Недостижимым состоянием называют

начальное состояние
состояние, для которого существует различающая цепочка
состояние, которое может быть достигнутым, но является отвергающим
состояние, которое не достигается из начального ни для какой входной цепочки
состояние, которое является отвергающим

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