Реферат: Прикладная теория цифровых автоматов 2

--PAGE_BREAK--                A15                                                              A16                                                     
<img width=«2» height=«21» src=«ref-1_1980959492-75.coolpic» v:shapes="_x0000_s1221">


<img width=«100» height=«51» src=«ref-1_1980959567-322.coolpic» v:shapes="_x0000_s1037"><img width=«102» height=«54» src=«ref-1_1980959889-267.coolpic» alt=«Подпись: Y17» v:shapes="_x0000_s1117">                                                 6

      5         1                   

<img width=«126» height=«2» src=«ref-1_1980960156-81.coolpic» v:shapes="_x0000_s1228"><img width=«2» height=«88» src=«ref-1_1980960237-79.coolpic» v:shapes="_x0000_s1187"><img width=«2» height=«12» src=«ref-1_1980953908-74.coolpic» v:shapes="_x0000_s1225"><img width=«2» height=«108» src=«ref-1_1980960390-80.coolpic» v:shapes="_x0000_s1191">         X3                                                  A12  

<img width=«2» height=«195» src=«ref-1_1980960470-83.coolpic» v:shapes="_x0000_s1194">         0                         

     

          

                          7                      8

<img width=«102» height=«54» src=«ref-1_1980960553-255.coolpic» alt=«Подпись: Y5» v:shapes="_x0000_s1126"> <img width=«102» height=«54» src=«ref-1_1980960808-267.coolpic» alt=«Подпись: Y18» v:shapes="_x0000_s1121">




<img width=«2» height=«70» src=«ref-1_1980961075-78.coolpic» v:shapes="_x0000_s1197"><img width=«2» height=«70» src=«ref-1_1980961075-78.coolpic» v:shapes="_x0000_s1200">                                  A6                    A13                                                      
<img width=«395» height=«79» src=«ref-1_1980961231-564.coolpic» v:shapes="_x0000_s1130 _x0000_s1143 _x0000_s1153 _x0000_s1203 _x0000_s1207 _x0000_s1230 _x0000_s1233 _x0000_s1235 _x0000_s1237">



<img width=«21» height=«21» src=«ref-1_1980961795-127.coolpic» v:shapes="_x0000_s1139"><img width=«22» height=«21» src=«ref-1_1980961922-127.coolpic» v:shapes="_x0000_s1148">                         КіНЕЦЬ     Аk

<img width=«59» height=«2» src=«ref-1_1980962049-77.coolpic» v:shapes="_x0000_s1134"> 
                                Мал.1.3. Часткова граф-схема алгоритму Г3




<img width=«60» height=«2» src=«ref-1_1980944630-77.coolpic» v:shapes="_x0000_s1049"><img width=«21» height=«21» src=«ref-1_1980962203-128.coolpic» v:shapes="_x0000_s1050"><img width=«21» height=«21» src=«ref-1_1980962331-128.coolpic» v:shapes="_x0000_s1051"><img width=«21» height=«21» src=«ref-1_1980962459-128.coolpic» v:shapes="_x0000_s1052"><img width=«21» height=«21» src=«ref-1_1980962587-129.coolpic» v:shapes="_x0000_s1053">                           ПОЧАТОК   A0        

<img width=«60» height=«2» src=«ref-1_1980944046-77.coolpic» v:shapes="_x0000_s1054"><img width=«2» height=«31» src=«ref-1_1980962793-76.coolpic» v:shapes="_x0000_s1238">                       
<img width=«2» height=«12» src=«ref-1_1980946478-74.coolpic» v:shapes="_x0000_s1252"><img width=«99» height=«51» src=«ref-1_1980962943-321.coolpic» v:shapes="_x0000_s1028">                            1     

                      0               1                 

<img width=«31» height=«2» src=«ref-1_1980963264-76.coolpic» v:shapes="_x0000_s1256"><img width=«31» height=«2» src=«ref-1_1980963264-76.coolpic» v:shapes="_x0000_s1254"><img width=«2» height=«194» src=«ref-1_1980963416-83.coolpic» v:shapes="_x0000_s1229"><img width=«98» height=«2» src=«ref-1_1980963499-79.coolpic» v:shapes="_x0000_s1226"><img width=«2» height=«41» src=«ref-1_1980946316-76.coolpic» v:shapes="_x0000_s1192"><img width=«117» height=«2» src=«ref-1_1980963654-80.coolpic» v:shapes="_x0000_s1189">                             X1 

                                                2

<img width=«102» height=«54» src=«ref-1_1980963734-266.coolpic» alt=«Подпись: Y18» v:shapes="_x0000_s1103">


                                                         A13
<img width=«2» height=«40» src=«ref-1_1980964000-76.coolpic» v:shapes="_x0000_s1195">


                                                3

<img width=«102» height=«54» src=«ref-1_1980964076-258.coolpic» alt=«Подпись: Y2» v:shapes="_x0000_s1108">


                                                         A9

                       

<img width=«11» height=«41» src=«ref-1_1980964334-117.coolpic» v:shapes="_x0000_s1198 _x0000_s1248">


<img width=«11» height=«12» src=«ref-1_1980949527-86.coolpic» v:shapes="_x0000_s1250"><img width=«367» height=«2» src=«ref-1_1980964537-88.coolpic» v:shapes="_x0000_s1231">                                                4

<img width=«102» height=«54» src=«ref-1_1980964625-263.coolpic» alt=«Подпись: Y9» v:shapes="_x0000_s1113">


                                                         A8

<img width=«2» height=«50» src=«ref-1_1980964888-77.coolpic» v:shapes="_x0000_s1201 _x0000_s1258">



<img width=«99» height=«51» src=«ref-1_1980964965-322.coolpic» v:shapes="_x0000_s1038">                                               5

                                         1     X2      

<img width=«40» height=«2» src=«ref-1_1980965287-76.coolpic» v:shapes="_x0000_s1260"><img width=«2» height=«41» src=«ref-1_1980946316-76.coolpic» v:shapes="_x0000_s1208"><img width=«117» height=«2» src=«ref-1_1980963654-80.coolpic» v:shapes="_x0000_s1204">             

<img width=«2» height=«21» src=«ref-1_1980949376-75.coolpic» v:shapes="_x0000_s1262"><img width=«2» height=«357» src=«ref-1_1980965594-88.coolpic» v:shapes="_x0000_s1240">                            6                    0

<img width=«102» height=«54» src=«ref-1_1980965682-273.coolpic» alt=«Подпись: Y20» v:shapes="_x0000_s1118">                                                  

                                      A17

<img width=«2» height=«50» src=«ref-1_1980950531-77.coolpic» v:shapes="_x0000_s1211">




                            7

<img width=«102» height=«54» src=«ref-1_1980966032-263.coolpic» alt=«Подпись: Y5» v:shapes="_x0000_s1122">


                                      A6

                  

<img width=«2» height=«50» src=«ref-1_1980950531-77.coolpic» v:shapes="_x0000_s1215">


                              

<img width=«102» height=«54» src=«ref-1_1980966372-271.coolpic» alt=«Подпись: Y10» v:shapes="_x0000_s1127">                            8  
                                      A2

<img width=«2» height=«40» src=«ref-1_1980966643-76.coolpic» v:shapes="_x0000_s1239">


                            9

<img width=«102» height=«54» src=«ref-1_1980948693-261.coolpic» alt=«Подпись: Y9» v:shapes="_x0000_s1131">                              
                                      A18

<img width=«242» height=«60» src=«ref-1_1980966980-418.coolpic» v:shapes="_x0000_s1135 _x0000_s1149 _x0000_s1159 _x0000_s1222 _x0000_s1242 _x0000_s1244 _x0000_s1246">



<img width=«21» height=«21» src=«ref-1_1980967398-124.coolpic» v:shapes="_x0000_s1154"><img width=«21» height=«21» src=«ref-1_1980967522-130.coolpic» v:shapes="_x0000_s1144">                            КіНЕЦЬ         Ak                 

<img width=«60» height=«2» src=«ref-1_1980944630-77.coolpic» v:shapes="_x0000_s1164">                                              
             Мал.1.4. Часткова граф-схема алгоритму Г4
<img width=«21» height=«21» src=«ref-1_1980967729-130.coolpic» v:shapes="_x0000_s1039"><img width=«22» height=«21» src=«ref-1_1980967859-127.coolpic» v:shapes="_x0000_s1055"><img width=«59» height=«2» src=«ref-1_1980967986-77.coolpic» v:shapes="_x0000_s1029">                    

<img width=«2» height=«31» src=«ref-1_1980968063-76.coolpic» v:shapes="_x0000_s1173"><img width=«21» height=«21» src=«ref-1_1980968139-127.coolpic» v:shapes="_x0000_s1057"><img width=«22» height=«21» src=«ref-1_1980968266-129.coolpic» v:shapes="_x0000_s1060"><img width=«59» height=«2» src=«ref-1_1980968395-77.coolpic» v:shapes="_x0000_s1063">                          ПОЧАТОК   A0                                                                 

                           1

<img width=«102» height=«54» src=«ref-1_1980968472-255.coolpic» alt=«Подпись: Y1» v:shapes="_x0000_s1072">

                                    A1    
<img width=«2» height=«40» src=«ref-1_1980951860-76.coolpic» v:shapes="_x0000_s1096"> 

                           2   

<img width=«102» height=«54» src=«ref-1_1980968803-255.coolpic» alt=«Подпись: Y5» v:shapes="_x0000_s1074">

                                    A6

<img width=«2» height=«41» src=«ref-1_1980969058-76.coolpic» v:shapes="_x0000_s1097">                           
                           3

<img width=«102» height=«54» src=«ref-1_1980969134-266.coolpic» alt=«Подпись: Y12» v:shapes="_x0000_s1076">

                                    A19

<img width=«2» height=«40» src=«ref-1_1980969400-76.coolpic» v:shapes="_x0000_s1098">




<img width=«100» height=«50» src=«ref-1_1980969476-325.coolpic» v:shapes="_x0000_s1078">                           4

                        0        1

<img width=«107» height=«2» src=«ref-1_1980969801-79.coolpic» v:shapes="_x0000_s1099"><img width=«2» height=«60» src=«ref-1_1980969880-77.coolpic» v:shapes="_x0000_s1100"><img width=«89» height=«2» src=«ref-1_1980969957-79.coolpic» v:shapes="_x0000_s1128"><img width=«2» height=«386» src=«ref-1_1980970036-88.coolpic» v:shapes="_x0000_s1132">                            X1  
<img width=«99» height=«51» src=«ref-1_1980964965-322.coolpic» v:shapes="_x0000_s1080">                                           5   

                                      0    X2          

<img width=«2» height=«214» src=«ref-1_1980970446-84.coolpic» v:shapes="_x0000_s1145"><img width=«107» height=«2» src=«ref-1_1980970530-80.coolpic» v:shapes="_x0000_s1140">                                              

<img width=«2» height=«40» src=«ref-1_1980966643-76.coolpic» v:shapes="_x0000_s1104">                                          1       

                                          6

<img width=«102» height=«54» src=«ref-1_1980970686-256.coolpic» alt=«Подпись: Y1» v:shapes="_x0000_s1082">

                                                   A20 
<img width=«2» height=«40» src=«ref-1_1980964000-76.coolpic» v:shapes="_x0000_s1109">


                                          7

<img width=«102» height=«54» src=«ref-1_1980971018-265.coolpic» alt=«Подпись: Y20» v:shapes="_x0000_s1084">

                                                    A17

<img width=«11» height=«41» src=«ref-1_1980971283-115.coolpic» v:shapes="_x0000_s1114 _x0000_s1155">




<img width=«11» height=«11» src=«ref-1_1980971398-88.coolpic» v:shapes="_x0000_s1160"><img width=«155» height=«2» src=«ref-1_1980971486-82.coolpic» v:shapes="_x0000_s1150">                                           8

<img width=«102» height=«54» src=«ref-1_1980971568-268.coolpic» alt=«Подпись: Y10» v:shapes="_x0000_s1086">

                                                    A2

<img width=«290» height=«40» src=«ref-1_1980971836-284.coolpic» v:shapes="_x0000_s1119 _x0000_s1136 _x0000_s1165 _x0000_s1169">




<img width=«102» height=«54» src=«ref-1_1980972120-262.coolpic» alt=«Подпись: Y12» v:shapes="_x0000_s1088">                                           9
                                                    A21

<img width=«2» height=«41» src=«ref-1_1980946316-76.coolpic» v:shapes="_x0000_s1123 _x0000_s1177">




<img width=«60» height=«2» src=«ref-1_1980944630-77.coolpic» v:shapes="_x0000_s1090"><img width=«21» height=«21» src=«ref-1_1980972535-126.coolpic» v:shapes="_x0000_s1092"><img width=«21» height=«21» src=«ref-1_1980972661-129.coolpic» v:shapes="_x0000_s1091">

<img width=«21» height=«21» src=«ref-1_1980972790-129.coolpic» v:shapes="_x0000_s1093"><img width=«21» height=«21» src=«ref-1_1980972919-128.coolpic» v:shapes="_x0000_s1094">                                          КіНЕЦЬ      Ak

<img width=«60» height=«2» src=«ref-1_1980944046-77.coolpic» v:shapes="_x0000_s1095">




                                       Мал.1.5. Часткова граф-схема алгортиму Г5

Стовпці МСА відмітимо всіма мітками Ai­, що входять до ГСА, крім початкової A0. На перетині рядка Ai і стовпця Ajзапишемо формулу переходу fij від оператора Ai до оператора Aj. Ця функція дорівнює 1 для безумовного переходу або кон`юнкції логічних умов, відповідних виходам умовних вершин, через які проходить шлях  з вершини з міткою Ai у вершину з міткою Aj.

За методикою об'єднання закодуємо МСА таким чином:

 

                                                                 Таблиця 1.1

                                                           Кодування МСА

 

МСА

P1P2P3

М1

0  0  0  (ùp1ùp2ùp3)

М2

0  0  1  (ùp1ùp2p3)

М3

0  1  0  (ùp1p2ùp3)

М4

0  1  1  (ùp1p2p3)

М5

1  0  0  (p1ùp2ùp3)


Часткові МСА М1-М5 наведені в  табл.1.2-1.6
                                                   Таблиця 1.2

                                                 Часткова МСА М1




  A1

  A2

  A3

  A4

  A5

  A6

  A7

  A8

  Ak

 A0

  ùx1

ùx1ùx2

 x1x2













 A1



  1















 A2





 





  1







 A3







  1











 A4









  1









 A5











  1







 A6













  1





 A7















  1



 A8

















  1


                                                                                                                   Таблиця 1.3

                                                 Часткова МСА М2





 A1

 A3

 A6

 A7

 A9

 A10

 A11

 A12

 A22

 Ak

 A0

 1



















 A1







  1













 A3













  1







 A6















  1





 A7





 x3



 ùx3











 A9











  1









 A10



  1

















 A11



















  1

 A12

















  1



 A22



















  1


                                                                                                                    Таблиця 1.4

                                                 Часткова МСА М3





  A6

  A12

  A13

  A14

  A15

  A16

  Ak

  A0







   1







  A6













   1

  A12





   1









  A13













   1

  A14









  ùx1

  x1



  A15

  x3











  ùx3

  A16



   1












                                                                                                                    Таблиця 1.5

                                                 Часткова МСА М4





  A2

  A6

  A8

  A9

  A13

  A17

  A18

  Ak

  A0





  ùx1



  x1







  A2













  1



  A6

  1









 





  A8











  x2



  ùx2

  A9





  1











  A13







  1









  A17



  1













  A18















  1


 

          
                                                                                                         Таблиця 1.6

                                                 Часткова МСА М5





  A1

  A2

  A6

  A17

 A19

  A20

  A21

  Ak

  A0

  1















  A1





  1











  A2













  1



  A6









  1







  A17



  1













  A19



 x1ùx2







 x1x2

  ùx1



  A20







  1









  A21















  1



   На наступному етапі побудуємо об'єднану  МСА М0, в якій рядки   відмічені всіма  мітками Аi, крім Аk, а стовпці — всіма, крім А0. На перетині рядка Аi і стовпця Аjзапишемо формулу переходу, яка формується таким чином: Fij=P1fij1+...+Pnfijn     (n=1...N). Де fijn-формула переходу з вершини Аi у вершину Аj для n-ої ГСА. Наприклад, формула переходу А0®А1  буде мати вигляд F0,1=ùx1ùp1ùp2ùp3+ ùp1ùp2p3+ +p1ùp2ùp3. У результаті ми отримаємо об'єднану МСА М0(табл.1.7). Ми маємо можливість мінімізувати формули переходу таким чином: розглядаючи ГСА  Г0  як ГСА Гn,  ми підставляємо певний набір Pn=1, при цьому змінні p1..pq не змінюють своїх значень під час проходу по ГСА. Таким чином, якщо у вершину Аi перехід завжди здійснюється при незмінному значенні pq, то це значення pq в рядку Аi замінимо на “1",  а його інверсію на “0". Наприклад, у вершину А3 перехід здійснюється при незмінному значенні ùp1 і ùp2, отже в рядку  А3ùp1 і ùp2 замінимо на “1", а p1 і p2 на “0". У результаті отримаємо формули F3,4=ùp3,  F3,11=p3. Керуючись вищенаведеним методом, отримаємо мінімізовану МСА М0  (табл.1.8).

     По таблиці складемо формули переходу для об'єднаної ГСА Г0. Формулою переходу будемо називати слідуюче вираження: Ai®Fi,1А1+..+Fi,kАk,  де Fi,j-відповідна формула переходу з мінімізованої МСА. У нашому випадку отримаємо слідуючу систему формул:
A0®ùx1ùp1ùp2ùp3A1+ùp1ùp2p3A1+p1ùp2ùp3A1+x1ùx2ùp1ùp2ùp3A2+x1x2ùp1ùp2ùp3A3+

       +ùx1ùp1p2p3­A8+x1ùp1p2p3A13+ùp1p2ùp3A14



A1®ùp1ùp3A2­+p1ùp3A6+ùp1p3A7
A2®ùp1ùp2ùp3A6+ùp1p2p3A18+p1ùp2p3A21



A3®ùp3A4+p3A11
A4®A5
A5®А6



--PAGE_BREAK--
еще рефераты
Еще работы по производству