Частина тексту файла (без зображень, графіків і формул):
Міністерство освіти і науки України
Національний університет “Львівська політехніка”
Кафедра автоматики і телемеханіки
ЗВІТ
про виконання лабораторної роботи №4
з курсу “Обчислювальна техніка”
“Вивчення основних принципів роботи в середовищі схемного редактора САПР ПЛІС Xilinx Foundation Series”
Варіант №57
Виконав:
студент групи ІБ-44
Перевірив :
Горпенюк А.Я.
Львів 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).
Схема
Часова діаграма
Висновок: вивчив методи аналізу і синтезу скінченних автоматів. Проконтролював правильність функціонування автомату за допомогою моделювальника САПР, визначивши значення вихідних сигналів і наступних станів для всіх наборів значень вхідних змінних і станів автомату.