|A21| | | | | | | | | | | | | | | | | | | | | | |p1p2p3|
| | | | | | | | | | | | | | | | | | | | | | | |_ _ |
|A22| | | | | | | | | | | | | | | | | | | | | | |p1p2p3|
Таблиця
1.8
Об`(днана
м(н(м(зована МСА Мo
| | | | | | | | | | | | | | | | | | | | | | | | |
| |A1 |A2 |A3 |A4 |A5 |A6 |A7 |A8 |A9 |A10 |A11 |A12 |A13 |A14 |A15 |A16 |A17 |A18 |A19 |A20 |A21 |A22 |Ak |
| |_ _ _ | _ _ | _ | | | | |_ _ | | | | | _ |_ | | | | | | | | | |
| |_ |_ _ |_ _ | | | | |x1p1p| | | | |x1p1p2|_ | | | | | | | | | |
|A0 |x1p1p2|x1x2p1|x1x2p1| | | | |2p3 | | | | |p3 |p1p2| | | | | | | | | |
| |p3+ |p2p3 |p2p3 | | | | | | | | | | |p3 | | | | | | | | | |
| |_ _ | | | | | | | | | | | | | | | | | | | | | | |
| |+p1p2p| | | | | | | | | | | | | | | | | | | | | | |
| |3+ | | | | | | | | | | | | | | | | | | | | | | |
| |_ _ | | | | | | | | | | | | | | | | | | | | | | |
| |+p1p2p| | | | | | | | | | | | | | | | | | | | | | |
| |3 | | | | | | | | | | | | | | | | | | | | | | |
| | | _ _ | | | | _ |_ | | | | | | | | | | | | | | | | |
|A1 | |p1p3 | | | | |p1p3| | | | | | | | | | | | | | | | |
| | | | | | |p1p3 | | | | | | | | | | | | | | | | | |
| | | | | | |_ _ _| | | | | | | | | | | |_ | | | _ _| | |
|A2 | | | | | | | | | | | | | | | | | |p1p2p| | | | | |
| | | | | | |p1p2p| | | | | | | | | | | |3 | | |p1p2p| | |
| | | | | | |3 | | | | | | | | | | | | | | |3 | | |
| | | | | _ | | | | | | | | | | | | | | | | | | | |
|A3 | | | |p3 | | | | | | |p3 | | | | | | | | | | | | |
| | | | | | | | | | | | | | | | | | | | | | | | |
|A4 | | | | |1 | | | | | | | | | | | | | | | | | | |
| | | | | | | | | | | | | | | | | | | | | | | | |
|A5 | | | | | |1 | | | | | | | | | | | | | | | | | |
| | | _ | | | | |_ _ | | | | |_ _ | | | | | | | _ _ | | | |_ _ |
|A6 | |p1p2p3| | | | |_ | | | | |p1p2p| | | | | | |p1p2p3| | | |p1p2p3|
| | | | | | | |p1p2| | | | |3 | | | | | | | | | | | |
| | | | | | | |p3 | | | | | | | | | | | | | | | | |
| | | | | | | | | _ | _ | | | | | | | | | | | | | | |
|A7 | | | | | |x3p3 | |p3 |x3p3 | | | | | | | | | | | | | | |
| | | | | | | | | | | | | | | | | | | | | | | |_ _ |
|A8 | | | | | | | | | | | | | | | | |x2p2p3| | | | | |p2p3+ |
| | | | | | | | | | | | | | | | | | | | | | | |_ |
| | | | | | | | | | | | | | | | | | | | | | | |+x2p2p|
| | | | | | | | | | | | | | | | | | | | | | | |3 |
| | | | | | | | | | | _ | | | | | | | | | | | | | |
|A9 | | | | | | | |p2 | |p2 | | | | | | | | | | | | | |
| | | | | | | | | | | | | | | | | | | | | | | | |
|A10| | |1 | | | | | | | | | | | | | | | | | | | | |
| | | | | | | | | | | | | | | | | | | | | | | | |
|A11| | | | | | | | | | | | | | | | | | | | | | |1 |
| | | | | | | | | | | | | | _ | | | | | | | | |_ | |
|A12| | | | | | | | | | | | |p2p3 | | | | | | | | |p2p3 | |
| | | | | | | | | | | | | | | | | | | | | | | | _ |
|A13| | | | | | | | |p3 | | | | | | | | | | | | | |p3 |
| | | | | | | | | | | | | | | | _ | | | | | | | | |
|A14| | | | | | | | | | | | | | |x1 |x1 | | | | | | | |
| | | | | | | | | | | | | | | | | | | | | | | | _ |
|A15| | | | | |x3 | | | | | | | | | | | | | | | | | |
| | | | | | | | | | | | | | | | | | | | | | | |x3 |
| | | | | | | | | | | | | | | | | | | | | | | | |
|A16| | | | | | | | | | | |1 | | | | | | | | | | | |
| | | _ _ | | | |_ | | | | | | | | | | | | | | | | | |
|A17| | | | | |p1p2p| | | | | | | | | | | | | | | | | |
| | |p1p2p3| | | |3 | | | | | | | | | | | | | | | | | |
| | | | | | | | | | | | | | | | | | | | | | | | |
|A18| | | | | | | | | | | | | | | | | | | | | | |1 |
| | | _ | | | | | | | | | | | | | | | | | | | _ | | |
|A19| | | | | | | | | | | | | | | | | | | |x1x2 | | | |
| | |x1x2 | | | | | | | | | | | | | | | | | | |x1 | | |
| | | | | | | | | | | | | | | | | | | | | | | | |
|A20| | | | | | | | | | | | | | | | |1 | | | | | | |
| | | | | | | | | | | | | | | | | | | | | | | | |
|A21| | | | | | | | | | | | | | | | | | | | | | |1 |
| | | | | | | | | | | | | | | | | | | | | | | | |
|A22| | | | | | | | | | | | | | | | | | | | | | |1 |
A6((p1p2p3A2+(p1(p2(p3A7+(p1(p2p3A12+p1(p2(p3A19+(p1p2(p3Ak
A7(x3p3A6+(p3A8+(x3p3A9
A8(x2p2p3A17+(p2(p3Ak+(x2p2p3Ak
A9(p2A8+(p2A10
A10(A3
A11(Ak
A12((p2p3A22+p2(p3A13
A13(p3A9+(p3Ak
A14((x1A15+x1A16
A15(x3A6+(x3Ak
A16(A12
A17(p1(p2(p3A2+(p1p2p3A6
A18(Ak
A19(x1(x2A2+x1x2A20+(x1A21
A20(A17
A21(Ak
A22(Ak
При побудові системи дужкових формул переходу необхідно кожну формулу
привести до вигляду Аx1+В(x1, де А і В -деякі вирази, а x1 і (x1-логічн(
умови переходу. Формули переходу для вершин А3, А4, А5, А9, А10, А11, А13,
А14, А15, А16, А18, А20, А21, А22 вже є елементарними (розкладеними), а в
інших є вирази виду Аn(xj(А) +(xjpi(В). Тут pi відповідає чекаючій вершині
(мал.1.6). Подібних вершин в об'єднан(й ГСА бути не повинно. Для їх
усунення скористаємося сл(дуючим правилом: додавання виразу [PqАn] не
змінить формулу, якщо набір Pq не використовується для кодування ГСА або
вершина Аn в(дсутня в ГСА з кодом Pq. Таким чином, додаючи допоміжні
набори, ми отримаємо можливість за допомогою елементарних перетворень
звести формули до необхідного вигляду. Наприклад, формула
A8(x2p2p3A17+(p2(p3Ak+(x2p2p3A спрощується таким чином
A8=p3(x2p2A17+(x2p2Ak)+(p3(p2Ak=p3p2(x2A17+(x2Ak)+(p3(p2Ak=
1 Xj 0
Pi 0
1
Мал.1.6 Приклад чекаючо( вершини Pi
=[(p3p2(x2A17+(x2Ak)]+p3p2(x2A17+(x2Ak)+(p3(p2Ak+[p3(p2Ak]=(p2Ak+p2(x2A17+(
x2Ak). Тут вершина А8 не зустр(ча(ться у ГСА ,в кодах яких присутн(
комб(нац(( (p3p2 ( p3(p2. Нижче наведено розклад ус(х неелементарних
формул переходу.
A0=p1((p2(p3A1)+(p1((x1(p2(p3A1+(p2p3A1+x1(x2(p2(p3A2+x1x2(p2(p3A3+
+(x1p2p3A8+x1p2p3A13+p2(p3A14)=p1((p2(p3A1)+[p1(p2(p3A1]+
+(p1(p2((x1p3A8+x1p3A13+(p3A14)+(p2((x1(p3A1+p3A1+x1(x2(p3A2+
+x1x2(p3A3))=p1((p2A1)+[p1p2A1]+(p1(p2(p3((x1A8+x1A13)+(p3A14)+
+(p2((p3((x1A1+x1x2A3+x1(x2A2)+p3A1))= p1A1+(p1(p2(p3( (x1A8+
+x1A13)+(p3A14)+(p2((p3((x1A1+x1(x2A3+(x2A2))+p3A1))
A1=(p1(p3A7+(p3A2)+p1(p3A6+[p1p3A6]= (p1(p3A7+(p3A2)+p1A6
A2=p1((p2p3A21)+(p1((p2(p3A6+p2p3A18)= p1((p2p3A21)+[p1(p2p3A21]+
+(p1((p2(p3A6+[p2(p3A6]+p2p3A18+[p3(p2A18])=p1((p2A21)+(p1((p3A6+
+p3A18)=p1((p2A21)+[p1p2A21]+(p1((p3A6+p3A18)=p1A21+(p1((p3A6+
+p3A18)
A6=p1((p2(p3A19)+[p1(p2p3A19]+(p1(p2p3A2+(p2(p3A7+(p2p3A12+p2(p3Ak)=
=p1(p2A19+[p1p2A19]+(p1(p2(p3A2+(p3Ak)+(p2((p3A7+p3A12))=p1A19+
+(p1(p2(p3A2+(p3Ak)+(p2((p3A7+p3A12))
A7=p3(x3A6+(x3A9)+(p3A8
A8=p3(x2p2A17+(x2p2Ak)+(p3(p2Ak=p3p2(x2A17+(x2Ak)+(p3(p2Ak=
=[(p3p2(x2A17+(x2Ak)]+p3p2(x2A17+(x2Ak)+(p3(p2Ak+[p3(p2Ak]=(p2Ak+
+p2(x2A17+(x2Ak)
A12=(p2p3A22+p2(p3A13+[p2p3A22]+[(p2(p3A13]=p3A22+(p3A13
A17=p1(p2(p3A2+[p1(p2p3A2]+(p1p2p3A6+[(p1(p2p3A6]=p1(p2A2+[p1p2A2]+
+(p1p3A6+[(p1(p3A6]=p1A2+(p1A6
A19=x1((x2A2+x2A20)+(x1A21
Об'єднану ГСА Г0 (мал.1.7) побудуємо відповідно до формул переходу,
замінюючи кожну мітку Аi відповідною операторною вершиною Yt, а кожний
вираз Xi і Pj відповідними умовними вершинами.
-----------------------
Y1
Y10
Y8
Y9
Y11
Y5
Y8
Y9
Y1
Y8
Y5
Y2
Y13
Y17
Y8
Y3
Y14
Y15
Y7
Y16
Y17
Y18
Y5
Y18
Y2
Y9
Y20
Y5
Y10
Y9
Y1
Y5
Y12
Y1
Y20
Y10
Y12
A
B
Страницы: 1, 2, 3
|