х наборах на виході пристрою формуються різні вихідні сигнали. Для формального опису таких пристроїв використовується автоматна таблиця виходів і переходів [1, с 149-156].
Таблиця переходів - це таблиця, рядки якої відповідають вихідним станам, стовпці відповідають вхідним наборам, в клітинах на перетині рядків і стовпців проставляється стан, в який переходить автомат з даного початкового стану, що визначається рядком, під дією даної вхідний послідовності, обумовленою стовпцем.
Таблиця виходів - це таблиця, рядки якої відповідають вихідним станам, стовпці відповідають вхідним наборам, в клітинах на перетині рядків і стовпців проставляється стан виходу, формованого в даному початковому стані під дією вхідної послідовності, обумовленою стовпцем.
Часто таблицю переходів і виходів суміщають і користуються суміщеної автоматної таблицею.
Для повного і точного опису блоку Б3 побудуємо поєднану надлишкову автоматну таблицю виходів і переходів. У даній таблиці будь-яка зміна вхідного або вихідного сигналу буде приводити до переходу в новий стан. Вихідні сигнали Yв, Yн будемо відзначати по моделі Мура (в окремих стовпцях), сигнали Т, с - за моделлю Милі (у клітках автоматної таблиці, Т - перший сигнал після номера переходу, с - другий сигнал після номера переходу) [1, с.144 - 149]. Перехід в наступний стан відбувається за такою вхідної послідовності відповідно до циклом переміщень (зміна сигналів S1, S2, S3) або при зникненні сигналу d=1 (аварійна ситуація). Тому в кожному рядку буде заповнено три клітинки: прихід в даний стан і два виходи з нього.
Автоматна таблиця виходів і переходів для блоку Б3 по заданому циклу представлена ??в таблиці 11.
Таблиця 10. Автоматна таблиця виходів і переходів блоку Б3
ttttttttУВУНS3S3S3S3S2S2S1d0100000000000000000000000120010000001122003000000123400300000103440050000010456005000000156600700000016780070000010788009~0000108910109100~00091011~010100~0101011120011000001011121200130000010121314001300000011314140015~0000011415161015100~000151617~016100~01016171800170000010171818001900000101819200019000000119202000210~000012021210100~0021А0А1А2А3А4А5А6А7А8А9А10А11А12А13А14А15
Таблиця 11. Трикутна таблиця
12*34*5**6***7**8*910****11*****12******13****14***1516**17***18****19**20**2101234567891011121314151617181920 · - Сумісні.
Таблиця 12. Таблиця покриття
0123456789101112131415161718192021A*B*****C*****D******E*****F***G***H***I*****J*K*M*******
Запишемо мінімальний клас сумісності і позначимо отримані групи сумісності новими номерами станів еквівалентного автомата.
0-A0- 0
, 2, 6, 13 -B1, 2 - 1
, 4, 7, 10, 11, 12, -D3, 4 2
, 6, 13- F5, 6 3
, 8, 10, 11, 12- H7, 8, 10, 11, 12- 4
- J9- 5
, 13, 14-G13, 14-6
15 -K15-7
, 17, 18 -M16, 17, 18-8
, 19, 20 -N19, 20-9
21 -O21-10
3. Кодування станів автомата
Таблиця 13. Мінімізована автоматна таблиця
t S3tt S3t S1t S3t S2tt Yв Yн S2S3d01000000000000000000000011001002000000000122003002000000000001033003004000000000144004006004105~04000000~0000 0000001054105100 ~ 00066006007 ~ 00000000178107100 ~ 0008800800900 8100 ~ 0000000109900900100 ~ 0000000110100100 ~ 00А0А1А2А3А4А5А6А7А8А9А10А11
. 1 Кодування станів автомата
Отримаємо розбиття наступного виду:
;
Визначимо перетин отриманих разбиений:
Для того, щоб розрізнити 4 нерозпізнаних станів необхідно ще 2 змінні кодування. Таким чином, для кодування станів автомата по зовнішньому разбиению необхідно 4 змінних кодування. При кодуванні за зовнішнім разбиению виникають змагання елементів пам'яті на наборі А4, які виправити важко. Тому виконаємо кодування по внутрішньому разбиению.
Таблиця 14. Коди станів
00000110002110030100401105001060011700018100191101100101
Для визначення змагань елементів пам'яті побудуємо автоматний граф.
4. Граф станів і переходів минимизированного автомата
Таблиця 15. Мінімізована закодована автоматна таблиця
tS3ttS3tS1tS3tS2ttYвYнS3Yв P1 P2 P3P4d010000000000000000000000000011001002000000000110002200300200000000000101100330030040000000001010044004006004105~04000000~0000 00000010011054105100~0000010660...
