Определение состояния машины
Если машина имеет конечную выходную память, то, возможно, определить состояние М в некоторой точке эксперимента длиной µ. Мы теперь увидим, как определить это состояние, когда известна только информация о выходной последовательности.
Допустим, например, что выходная последовательность производится машиной Table 3а.
Примем, что выходная последовательность есть 1110. Так как на выходе 1, то это означает, что переход может быть из одного из состояний А,
В или D, состояние С
здесь не подходит. Это значит, что первоначальная неопределенность есть (АВD). Из Table 3b находим, что выходные 1-наследники: из А – D, из В – (АС), из D – С. Следовательно, 1-наследник (АВD) есть (АСD). Результат последующего приведен в Table 4.
|
Возможная неопределенность |
A B D |
A C D |
C D |
C |
B C | ||||||||||||||
|
Выходная последовательность |
1 |
1 |
1 |
0 |
Table 4
Следует обратить внимание, что хотя состояние было идентифицировано в течение эксперимента, неопределенность понизилась до (ВС).
Идентификация некоторой точки в течение эксперимента не может гарантировать идентификацию преемника. Можно сказать, что внутри µ передача любой выходной последовательности, может быть минимум один период, в течение которого машина может однозначно находиться в определенном состоянии, в зависимости от исходного состояния ([7]).
