Ћекции.ќрг


ѕоиск:




 атегории:

јстрономи€
Ѕиологи€
√еографи€
ƒругие €зыки
»нтернет
»нформатика
»стори€
 ультура
Ћитература
Ћогика
ћатематика
ћедицина
ћеханика
ќхрана труда
ѕедагогика
ѕолитика
ѕраво
ѕсихологи€
–елиги€
–иторика
—оциологи€
—порт
—троительство
“ехнологи€
“ранспорт
‘изика
‘илософи€
‘инансы
’ими€
Ёкологи€
Ёкономика
Ёлектроника

 

 

 

 


—интез конечных автоматов ћура




 

5.2.1. јбстрактный синтез автомата ћура

ƒл€ синтеза схемы конечного автомата ћура необходимо иметь таблицу соответстви€, котора€ получаетс€ на основе словесной формулировки работы синтезируемого автомата.

ѕример 5.. ѕолучена следующа€ таблица соответстви€: U 0 U 1 U 2 U 0 U 1 U 2 U 3 U 0 Ц V 0 V 1 V 2 V 0 V 2 V 1 V 1 V 0. јналогично, как и при синтезе автомата ћили, каждому переходу таблицы соответстви€ присваиваетс€ внутреннее состо€ние и получаетс€ таблица 5.21.

“аблица 5.21.

“аблица соответстви€

U 0 Ц а 0 Ц V 0
U 1 Ц а 1 Ц V 1
U 2 Ц а 2 Ц V 2
U 0 Ц а 3 Ц V 0
U 1 Ц а 4 Ц V 2
U 2 Ц а 5 Ц V 1
U 3 Ц а 6 Ц V 1
U 0 Ц а 7 Ц V 0

 

ƒл€ синтеза схемы автомата ћура строитс€ отмеченна€ таблица переходов. ќтмеченна€ таблица переходов отличаетс€ от совмещенной таблицы переходов и выходов автомата ћили тем, что выходами автомата отмечаютс€ все столбцы таблицы переходов. ¬ клетках этой таблицы став€тс€ только внутренние состо€ни€ автомата, число строк и столбцов будет таким же, как и в совмещенной таблице переходов и выходов автомата ћили.


“аблица 5.22.

ќтмеченна€ таблица переходов

  V 0 V 1 V 2 V 0 V 2 V 1 V 1 V 0
  а 0 а 1 а 2 а 3 а 4 а 5 а 6 а 7
U 0 а 0   а 3 а 3     а 7 а 7
U 1 а 1 а 1   а 4 а 4      
U 2   а 2 а 2   а 5 а 5    
U 3           а 6 а 6  

 

ƒл€ минимизации отмеченной таблицы переходов (дл€ объединени€ столбцов) существуют два услови€:

- необходимое условие заключаетс€ в том, что внутренние состо€ни€, которыми обозначены столбцы, могут объедин€тьс€ между собой, если они отмечены одинаковыми выходами;

- достаточное условие позвол€ет объедин€ть столбцы только в том случае, если после переобозначени€ внутренних состо€ний в объедин€емых клетках будут находитьс€ одинаковые внутренние состо€ни€, или одна клетка заполнена, а друга€ пуста€, или обе клетки пустые.

ѕри минимизации отмеченной таблицы переходов все символы внутренних состо€ний развиваютс€ на R группы, количество которых равно числу попарно различимых выходных символов. ¬ каждую группу внос€тс€ только те символы внутренних состо€ний аi, которые отмечены одинаковыми выходными символами Vj. ¬ отмеченной таблице переходов 5.22 . ѕереобозначив внутренние состо€ни€ символом g по необходимому условию получаем

х 0 Ц а 0 а 3 а 7, отмеченные выходом V 0

х 1 Ц а 1 а 5 а 6, отмеченные выходом V 1

х 2 Ц а 2 а 4, отмеченные выходом V 2

ѕосле переобозначени€ внутренних состо€ний строитс€ таблица 5.23 дл€ проверки выполнени€ достаточного услови€.


“аблица 5.23.

ќтмеченна€ таблица переходов

  V 0 V 1 V 2 V 0 V 2 V 1 V 1 V 0
  а 0 а 1 а 2 а 3 а 4 а 5 а 6 а 7
  g 0 g 1 g 2 g 0 g 2 g 1 g 1 g 0
U 0 g 0   g 0 g 0     g 0 g 0
U 1 g 1 g 1   g 2 g 2      
U 2   g 2 g 2   g 1 g 1    
U 3           g 1 g 1  

 

¬ полученной таблице 5.23 провер€етс€ выполнение достаточного услови€. ¬ строке U 1 ранее намеченные к объединению столбцы а 0 и а 3 по достаточному условию не объедин€ютс€ в клетке столбца а 0 и строки U 1 стоит внутреннее состо€ние х 1, а клетке строки U 1 и столбца а 3 внутреннее состо€ние х 2.

ѕо аналогичным причинам не объедин€ютс€ столбцы а 1 а 5 и а 2 а 4, поэтому необходимо произвести новое переобозначение внутренних состо€ний

g 0 Ц а 0 а 7

g 1 Ц а 1

g 2 Ц а 5 а 6

g 3 Ц а 2

g 4 Ц а 4

g 5 Ц а 3

ƒл€ проверки выполнени€ достаточного услови€ строитс€ таблица 5.24. »з таблицы 5.24 следует, что достаточные услови€ выполн€ютс€. ћинимальна€ таблица переходов автомата ћура представлена таблицей 5.25.


“аблица 5.24.

ќтмеченна€ таблица переходов

  V 0 V 1 V 2 V 0 V 2 V 1 V 1 V 0
  а 0 а 1 а 2 а 3 а 4 а 5 а 6 а 7
  g 0 g 1 g 3 g 5 g 4 g 2 g 2 g 0
U 0 g 0   g 5 g 5     g 0 g 0
U 1 g 1 g 1   g 4 g 4      
U 2   g 3 g 3   g 2 g 2    
U 3           g 2 g 2  

 

“аблица 5.25.

ћинимальна€ таблица автомата ћура

  V 0 V 1 V 2 V 0 V 2 V 1
  g 0 g 1 g 3 g 5 g 4 g 2
U 0 g 0   g 5 g 5   g 0
U 1 g 1 g 1   g 4 g 4  
U 2   g 3 g 3   g 2 g 2
U 3           g 2

 

 

5.2.2. —труктурный синтез автоматов ћура

 одирование входов, выходов и внутренних состо€ний осуществл€етс€ так же, как и дл€ автоматов ћили

ƒл€ кодировани€ внутренних состо€ний необходимо построить граф автомата (рис. 5.9).


 

 

 


–ис. 5.9. √раф автомата ћура

 

ѕосле кодировани€ входов, выходов и внутренних состо€ний строитс€ структурна€ таблица переходов автомата ћура.

“аблица 5.26.

—труктурна€ таблица переходов

  у 1 у 2          
             
Q 1 Q 2 Q 3 х 1 х 2            
             
             
             
             

 

»з структурной таблицы 5.26 следует, что синтезируемый автомат ћура имеет два входа х 1 х 2, два выхода у 1 у 2 и три элемента пам€ти Q 1 Q 2 Q 3.

”равнени€ выходов получаютс€ непосредственно из структурной таблицы переходов следующим образом. »з столбцов где у 1 равен единице в уравнение у 1 в качестве слагаемых берутс€ коды внутренних состо€ний, которыми обозначены столбцы таблицы переходов. јналогично записываетс€ уравнение дл€ у 2

.

 ак видно из уравнений выходы у 1 у 2 автомата ћура формируютс€ только элементами пам€ти, а выходы автомата ћили формируютс€ как элементами пам€ти, так и входами х 1 х Е

ƒл€ получени€ уравнений возбуждени€ элементов пам€ти необходимо выбрать элементы автоматики и телемеханики, которые будут использоватьс€ в качестве элементов пам€ти в автомате ћура.

≈сли в качестве элементов пам€ти будет использоватьс€ реле, то таблица переходов автомата ћура 5.26 одновременно будет и таблицей возбуждени€.

ƒл€ получени€ минимальных уравнений возбуждени€ элементов пам€ти необходимо таблицу 5.26 преобразовать к виду таблицы минимизации на п€ть переменных. ƒл€ этого надо последние две строки помен€ть местами и добавить два столбца с недостающими кодами 010 и 101.

“аблица 5.27.

ѕреобразовательна€ таблица переходов

q 1 q 2 q 3 х 1 х 2                
                 
                 
                 
                 

 

ѕолучение уравнени€ возбуждени€ элемента пам€ти Q 1


“аблица 5.28.

“аблица минимизации

      011          
                 
                 
                 
                 

 

 

.

јналогично получаютс€ уравнени€ возбуждени€ элементов пам€ти Q 2 и Q 3.

“аблица 5.29.

  000              
                 
                 
                 
                 

 

 

.

“аблица 5.30.

               
                 
                 
                 
                 

 

 

.

—хема электрическа€ функциональна€ автомата ћура на релейно-контактных элементах показана на рисунке 5.1.


 

 


–ис. 5.10. —хема электрическа€ функциональна€ автомата ћура

 






ѕоделитьс€ с друзь€ми:


ƒата добавлени€: 2015-11-05; ћы поможем в написании ваших работ!; просмотров: 629 | Ќарушение авторских прав


ѕоиск на сайте:

Ћучшие изречени€:

Ќаглость Ц это ругатьс€ с преподавателем по поводу четверки, хот€ перед экзаменом уверен, что не знаешь даже на два. © Ќеизвестно
==> читать все изречени€...

2446 - | 2033 -


© 2015-2024 lektsii.org -  онтакты - ѕоследнее добавление

√ен: 0.041 с.