МІНІСТЕРСТВО ОСВІТИ І НАУКИ УКРАЇНИ НАЦІОНАЛЬНИЙ УНІВЕРСИТЕТ «ЛЬВІВСЬКА ПОЛІТЕХНІКА» ІКТА кафедра ЗІ З В І Т до лабораторної роботи №5 з курсу: «Схемотехніка пристроїв технічного захисту інформації» на тему: «ВИВЧЕННЯ МЕТОДІВ АНАЛІЗУ ТА СИНТЕЗУ СКІНЧЕННИХ АВТОМАТІВ» Варіант 45  Мета роботи: вивчення методів аналізу і синтезу скінченних автоматів. Теоретична частина функція переходів
автомата Мілі задається таблицею переходів (Таблиця 1), а функція виходів
автомата Мілі - таблицею виходів (Таблиця 2). Таблиця 1 



 




 




 




 Таблиця 2 



 




 




 




  Кількість букв вхідного і вихідного алфавіту абстрактного автомата - 3 (
). Отже
. Кількість букв алфавіту станів - 4 (
). Тобто
.
;
;
Таблиця 4  Вихідні сигнали Код вихідних сигналів   

 


0 0 1 0 1 0  Таблиця 5  Стани автомата Код станів   

 



0 0 1 1 0 1 0 1  Таблиця 3  Вхідні сигнали Код вхідних сигналів   

 


0 0 1 0 1 0   Отже, для кодування букв кожного з трьох алфавітів заданого абстрактного автомата необхідно використати як мінімум дві структурні двійкові змінні. Далі складаємо таблиці кодування: вхідних сигналів (Таблиця 3), вихідних сигналів (Таблиця 4) і станів автомата (Таблиця 5). При цьому структурні змінні називаємо довільно. 

 00 01 10 11 0 1 0 1  


 00 01 10 11 0 1 * * * * 1 0  Вибір елементів пам’яті автомата Для формування структурно-повної системи елементів потрібно вибрати ще функціонально-повну систему логічних елементів. При цьому комбінаційна схема, яку будемо синтезувати, має реалізувати чотири логічні функції: функцію збудження D - тригера; дві функції збудження JK - тригера (за кількістю інформаційних входів); а також функції формування першого (
) і другого (
) компонентів вихідного вектора структурного автомата (тобто значень вихідних структурних змінних автомата). Знаходження рівнянь логічних функцій виходів автомата і рівнянь логічних функцій збудження елементів пам’яті автомата.Складемо таблицю істинності структурного автомата  











 



0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 1 0 1 0 1 0 0 1 1 0 1 0 * 0 * * 0 * 1 0 0 0 0 1 0 0 0  



0 0 0 0 1 1 1 1 0 0 1 1 0 1 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 * 0 * * 1 * 0 0 0 0 1 1 0 0 0  



1 1 1 1 0 0 0 0 0 0 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 * 1 * * 0 * 0 0 0 1 0 0 1 0 1  - - - - 1 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * *   1) 1 1 * 1  1  * 1  1  * 1    * 1