Міністерство освіти і науки України Національний університет “Львівська політехніка” Кафедра автоматики і телемеханіки ЗВІТ про виконання лабораторної роботи №4 з курсу “Обчислювальна техніка” “Вивчення основних принципів роботи в середовищі схемного редактора САПР ПЛІС Xilinx Foundation Series” Варіант №57 Перевірив : Горпенюк А.Я. Львів 2009 Мета роботи: вивчення методів аналізу і синтезу скінченних автоматів. Завдання: 1. Ознайомитися з основними відомостями.2.Визначити свій варіант таблиць переходів і виводів автомата.3. На основі отриманих таблиць переходів і виводів та заданих типів елементарних автоматів, синтезувати схему скінченного автомата. Цифровий автомат - це пристрій, що здійснює прийом, зберігання і перетворення дискретної інформації за деяким алгоритмом. Загальну теорію автоматів ділять на абстрактну і структурну. Абстрактна теорія, абстрагуючись від структури автомата (тобто не цікавлячись способом його побудови), вивчає тільки поведінку автомата відносно зовнішнього середовища. Структурна теорія цікавиться як структурою самого автомата, так і структурою вхідних дій і реакцією на них автомата. В структурній теорії вивчаються способи побудови автоматів, способи кодування вхідних дій і реакцій на них автомата. Загалом, абстрактний автомат реалізує відображення множини букв вхідного в множину букв вихідного алфавітів і має тільки один вхідний і один вихідний канали, а отже є лише математичною моделлю реального процесу. Функція виходів автомата  EMBED Equation.2 
 може бути двох типів. Якщо вихідний сигнал автомата визначається виразом (2), тобто залежить як від стану автомата, так і від вхідного сигналу, то пристрій називають автоматом Мілі. Якщо ж вихідний сигнал не залежить від вхідного, а однозначно визначається станом автомата:  EMBED Equation.2 
, (3) то пристрій називають автоматом Мура. Є різні способи задання функцій виходів  EMBED Equation.2 
 і переходів  EMBED Equation.2 
. В цій роботі ми будемо користуватися табличним способом задання цих функцій. При такому способі функція переходів  EMBED Equation.2 
 автомата Мілі задається таблицею переходів (приклад - Таблиця 1), а функція виходів  EMBED Equation.2 
 автомата Мілі - таблицею виходів (Таблиця 2). Схема
Часова діаграма
Висновок: вивчив методи аналізу і синтезу скінченних автоматів. Проконтролював правильність функціонування автомату за допомогою моделювальника САПР, визначивши значення вихідних сигналів і наступних станів для всіх наборів значень вхідних змінних і станів автомату.