Частина тексту файла (без зображень, графіків і формул):
Міністерство освіти і науки України
Національний університет “Львівська політехніка”
Кафедра автоматики і телемеханіки
ЗВІТ
про виконання лабораторної роботи №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).
Схема
Часова діаграма
Висновок: вивчив методи аналізу і синтезу скінченних автоматів. Проконтролював правильність функціонування автомату за допомогою моделювальника САПР, визначивши значення вихідних сигналів і наступних станів для всіх наборів значень вхідних змінних і станів автомату.
Ви не можете залишити коментар. Для цього, будь ласка, увійдіть
або зареєструйтесь.
Ділись своїми роботами та отримуй миттєві бонуси!
Маєш корисні навчальні матеріали, які припадають пилом на твоєму комп'ютері? Розрахункові, лабораторні, практичні чи контрольні роботи — завантажуй їх прямо зараз і одразу отримуй бали на свій рахунок! Заархівуй всі файли в один .zip (до 100 МБ) або завантажуй кожен файл окремо. Внесок у спільноту – це легкий спосіб допомогти іншим та отримати додаткові можливості на сайті. Твої старі роботи можуть приносити тобі нові нагороди!