191-003A (729279), страница 3

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 3)

A₈®x₂p₂p₃A₁₇+ùp₂ùp₃A_k+ùx₂p₂p₃A_k

A₉®p_2­A₈+ùp₂A₁₀

A₁₀®A₃

A₁₁®A_k

A₁₂®ùp₂p₃A₂₂+p₂ùp₃A₁₃

A₁₃®p₃A₉+ùp₃A_k

A_14­®ùx₁A₁₅+x₁A₁₆

A₁₅®x₃A₆+ùx₃A_k

A₁₆®A₁₂

A₁₇®p₁ùp₂ùp₃A_2­+ùp₁p₂p₃A₆

A₁₈®A_k

A₁₉®x₁ùx₂A₂+x₁x₂A₂₀+ùx₁A₂₁

A₂₀­®A₁₇

A₂₁®A_k

A₂₂®A_k

При побудові системи дужкових формул переходу необхідно кожну формулу привести до вигляду Аx₁+Вùx₁, де А і В -деякі вирази, а x₁ і ùx₁-логічн³ умови переходу. Формули переходу для вершин А₃, А₄, А₅, А₉, А₁₀, А₁₁, А₁₃, А₁₄, А₁₅, А₁₆, А₁₈, А₂₀, А₂₁, А₂₂ вже є елементарними (розкладеними), а в інших є вирази виду А_n®x_j(А) +ùx_jp_i(В). Тут p_i відповідає чекаючій вершині (мал.1.6). Подібних вершин в об'єднан³й ГСА бути не повинно. Для їх усунення скористаємося сл³дуючим правилом: додавання виразу [P_qА_n] не змінить формулу, якщо набір P_q не використовується для кодування ГСА або вершина А_n в³дсутня в ГСА з кодом P_q. Таким чином, додаючи допоміжні набори, ми отримаємо можливість за допомогою елементарних перетворень звести формули до необхідного вигляду. Наприклад, формула A₈®x₂p₂p₃A₁₇+ùp₂ùp₃A_k+ùx₂p₂p₃A спрощується таким чином A₈=p₃(x₂p₂A₁₇+ùx₂p₂A_k)+ùp₃ùp₂A_k=p₃p₂(x₂A₁₇+ùx₂A_k)+ùp₃ùp₂A_k=

1 X_j 0

P_i 0

1

Мал.1.6 Приклад чекаючо¿ вершини P_i

=[ùp₃p₂(x₂A₁₇+ùx₂A_k)]+p₃p₂(x₂A₁₇+ùx₂A_k)+ùp₃ùp₂A_k+[p₃ùp₂A_k]=ùp₂A_k+p₂(x₂A₁₇+ùx₂A_k). Тут вершина А₈ не зустр³чаºться у ГСА ,в кодах яких присутн³ комб³нац³¿ ùp₃p₂ ³ p₃ùp₂. Нижче наведено розклад ус³х неелементарних формул переходу.

A₀=p₁(ùp₂ùp₃A₁)+ùp₁(ùx₁ùp₂ùp₃A₁+ùp₂p₃A₁+x₁ùx₂ùp₂ùp_3­A₂+x₁x₂ùp₂ùp₃A_3­+

+ùx₁p₂p₃A₈+x₁p₂p₃A₁₃+p₂ùp₃A₁₄)=p₁(ùp₂ùp₃A₁)+[p₁ùp₂ùp₃A₁]+

+ùp₁(p₂(ùx₁p₃A₈+x₁p₃A₁₃+ùp₃A₁₄)+ùp₂(ùx₁ùp₃A₁+p₃A₁+x₁ùx₂ùp₃A₂+

+x₁x₂ùp₃A_3­))=p₁(ùp₂A₁)+[p₁p₂A₁]+ùp₁(p₂(p₃(ùx₁A₈+x₁A₁₃)+ùp₃A₁₄)+

+ùp₂(ùp₃(ùx₁A₁+x₁x₂A₃+x₁ùx₂A₂­)+p₃A₁))= p₁A₁+ùp₁(p₂(p₃( ùx₁A₈+

+x₁A₁₃)+ùp₃A₁₄)+ùp₂(ùp₃(ùx₁A₁+x₁(x₂A₃+ùx₂A₂))+p₃A_1­))

A₁=ùp_1­(p₃A₇+ùp₃A₂)+p₁ùp₃A₆+[p₁p₃A₆]= ùp_1­(p₃A₇+ùp₃A₂)+p₁A₆

A₂=p₁(ùp₂p₃A₂₁)+ùp₁(ùp₂ùp₃A₆+p₂p₃A₁₈)= p₁(ùp₂p₃A₂₁)+[p₁ùp₂p₃A₂₁]+

+ùp_1­(ùp₂ùp₃A₆+[p₂ùp₃A₆]+p₂­p₃A₁₈+[p₃ùp₂A₁₈])=p₁(ùp₂A₂₁)+ùp₁(ùp₃A₆+

+p₃A₁₈)=p₁(ùp₂A₂₁)+[p₁p₂A₂₁]+ùp₁(ùp₃A₆+p₃A₁₈)=p₁A₂₁+ùp₁(ùp₃A₆+

+p₃A₁₈)

A₆=p₁(ùp₂ùp₃A₁₉)+[p₁ùp₂p₃A₁₉]+ùp₁(p₂p₃A₂+ùp₂ùp₃A₇+ùp₂p₃A₁₂+p₂ùp₃A_k)=

=p₁ùp₂A₁₉+[p₁p₂A₁₉]+ùp₁(p₂(p₃A₂+ùp₃A_k)+ùp₂(ùp₃A₇+p₃A₁₂­))=p₁A₁₉+

+ùp₁(p₂(p₃A₂+ùp₃A_k­)+ùp₂(ùp₃A₇+p₃A₁₂))

A₇=p₃(x₃A₆+ùx₃A₉)+ùp₃A₈

A₈=p₃(x₂p₂A₁₇+ùx₂p₂A_k)+ùp₃ùp₂A_k=p₃p₂(x₂A₁₇+ùx₂A_k)+ùp₃ùp₂A_k=

=[ùp₃p₂(x₂A₁₇+ùx₂A_k)]+p₃p₂(x₂A₁₇+ùx₂A_k)+ùp₃ùp₂A_k+[p₃ùp₂A_k]=ùp₂A_k+

+p₂(x₂A₁₇+ùx₂A_k)

A₁₂=ùp₂p₃A₂₂+p₂ùp₃A₁₃+[p₂p₃A₂₂]+[ùp₂ùp₃A₁₃]=p₃A₂₂+ùp₃A₁₃

A₁₇=p₁ùp₂ùp₃A₂+[p₁ùp₂p₃A₂]+ùp₁p₂p₃A₆+[ùp₁ùp₂p₃A_6­]=p₁ùp₂A₂+[p₁p₂A₂]+

+ùp₁p₃A₆+[ùp₁ùp₃A₆]=p₁A₂+ùp₁A₆­

A₁₉=x₁(ùx₂A₂+x₂A₂₀)+ùx₁A₂₁

Об'єднану ГСА Г₀ (мал.1.7) побудуємо відповідно до формул переходу, замінюючи кожну мітку А_i відповідною операторною вершиною Y_t, а кожний вираз X_i і P_j відповідними умовними вершинами.

Характеристики

Список файлов реферата