Алгоритм получения частичного автомата.

1. Строится дерево переходов и для каждого состояния определяется набор X. Построение дерева заканчивается, когда автомат попадает в состояние уже просмотренное и множество логических условий более не пополняется.

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

Пример:

Предположим U₀={1 , 1}

Строим дерево переходов:

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

1. Если на X_iдействует только одна из двух микроопераций, то новое значениеX_iсоответствует этому единственному воздействию.

2. Если на X_iдействует обе микрооперации, то

1. Эти микрооперации приводят к одному и тому же значению, то новому значению X_iприводится в соответствии с воздействием этих микроопераций.

2. Если микрооперации могут привести к разным X_i тоX_i приписывается значениеZ.