Черный ящик

[Mihaylo]

Не надо делать никаких доказательств, связанных с гомоморфизмом. Достаточно понять, что количество конечных автоматов с заданным числом входов и выходов бесконечно, из-за неограниченного разнообразия внутренних состояний и переходов между ними. По отклику чёрного ящика невозможно узнать внутреннее состояние.
Задача нерешаема в том виде, каком хотелось бы. Поэтому делают ограничивающие предположения. Например, можно ограничить число состояний и переходов. Например, максимум два состояния. Тогда эта задача становится похожей на идентификацию динамических систем (или просто идентификацию систем).

[guryev]

Mihaylo в сообщении #1307136 писал(а):

Поэтому делают ограничивающие предположения. Например, можно ограничить число состояний и переходов.

Гляньте начало темы