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