Беспетельная декомпозиция вероятностного автомата

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