Если переход от некоторого оператора к другому отсутствует, то соответствующая клетка в МСА остается пустой. Переход от ГСА к МСА очевиден: по ГСА необходимо найти все условия перехода и записать их в соответствующие клетки МСА.
Каждая строка МСА должна удовлетворять следующим условиям:
а) 
в) αij*αil≡ 0 , j≠l
(23.1)
С помощью условия (23.1а) обеспечивается условие полноты переходов автомата. Условие (23.1в) обеспечивает условие детерминированности переходов автомата. Если это условие не выполняется, существует одновременно несколько истинных путей в алгоритме (выполняется одновременно несколько операторов), что противоречит определению алгоритма.
23.3 Система формул перехода
Рассмотрим рис. 23.4. Тот факт, что после опретора Y2 могут опять выполняться операторы Y2,Y3,Y4 можно записать в виде формулы:
(23.2)
Обозначим логические услия следующим образом:
В общем случае формулу перехода от оператора можно представить в виде
(23.3)
Выражение αij* Yt – называется отмеченной булевой функцией.
Отмеченная булева функция может принимать следующие значения (23.4)
(23.4)
Преобразование отмеченных булевых функций подчиняется законам булевой алгебры.
Например, справедливы следующие правила тождественного преобразования отмеченных функций:
(23.5)
3.Если α≡β (α эквивалентно β), то α Yi= β Yi
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.