| |||||
МЕНЮ
| Прикладная теория цифровых автоматов| | | | | | | | | | | | | | | | | | | | | | | |+x2p1p| | | | | | | | | | | | | | | | | | | | | | | | |2p3 | | | | | | | | | |_ | |_ _ | | | | | | | | | | | | | | |A9 | | | | | | | |p1p2p| |p1p2p| | | | | | | | | | | | | | | | | | | | | | |3 | |3 | | | | | | | | | | | | | | | | | |_ _ | | | | | | | | | | | | | | | | | | | | | |A10| | |p1p2p3| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |_ _ | |A11| | | | | | | | | | | | | | | | | | | | | | |p1p2p3| | | | | | | | | | | | | | |_ _ | | | | | | | | |_ _ | | |A12| | | | | | | | | | | | |p1p2p3| | | | | | | | |p1p2p3| | | | | | | | | | | |_ | | | | | | | | | | | | | |_ _ | |A13| | | | | | | | |p1p2p3| | | | | | | | | | | | | |p1p2p3| | | | | | | | | | | | | | | | |_ _ | _ | | | | | | | | |A14| | | | | | | | | | | | | | |_ |_ | | | | | | | | | | | | | | | | | | | | | | | |x1p1p2|x1p1p| | | | | | | | | | | | | | | | | | | | | | | |p3 |2p3 | | | | | | | | | | | | | | | _ | | | | | | | | | | | | | | | | |_ _ | |A15| | | | | |_ | | | | | | | | | | | | | | | | |_ | | | | | | | |x3p1p| | | | | | | | | | | | | | | | |x3p1p2| | | | | | | |2p3 | | | | | | | | | | | | | | | | |p3 | | | | | | | | | | | | | |_ _| | | | | | | | | | | | |A16| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |p1p2p| | | | | | | | | | | | | | | | | | | | | | | | |3 | | | | | | | | | | | | | | | _ _ | | | |_ | | | | | | | | | | | | | | | | | | |A17| | | | | |p1p2p| | | | | | | | | | | | | | | | | | | | |p1p2p3| | | |3 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |_ | |A18| | | | | | | | | | | | | | | | | | | | | | |p1p2p3| | | | _ | | | | | | | | | | | | | | | | | | _|_ _| | | |A19| |_ _ | | | | | | | | | | | | | | | | | |_ |_ | | | | | |x1x2p1| | | | | | | | | | | | | | | | | |x1x2p1p|x1p1p| | | | | |p2p3 | | | | | | | | | | | | | | | | | |2p3 |2p3 | | | | | | | | | | | | | | | | | | | | | _ _ | | | | | | | |A20| | | | | | | | | | | | | | | | |p1p2p3| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | _ _ | |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 |
ИНТЕРЕСНОЕ | |||
|