Курсовой проект. Теория автоматов. Синтез автомата мили, заданного таблицей переходов/выходов. Синтез автоматов, использующих принцип

  • 12 сент. 2010 г.
  • 3423 Слова
ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ
Государственное образовательное учреждение высшего профессионального образования
Северо-Западный государственный заочный технический университет
Институт информационных систем и вычислительной техники
Кафедра вычислительных машин, комплексов, систем и сетей

Курсовой проект
по дисциплине
«Теория автоматов»

Студент: Корчагин Ю. И.Шифр: 7401031997
Специальность: 230101.65 Курс: 3
Дата защиты:
Оценка:
Преподаватель: Иванова И. В.

Санкт - Петербург
2009
АННОТАЦИЯ

В курсовом проекте представлены и рассмотрены основные принципы синтеза конечных автоматов.
Курсовое проектирование имеет две части:
В первой части целью является синтез автомата Мили, заданного таблицей переходов/выходов.Вначале абстрактный автомат минимизируется, минимизируется число состояний автомат, определяется реакции автомата на входное воздействие и строиться схемная реализация абстрактного автомата в двух вариантах.
Во второй части целью является синтез автоматов, использующих принцип микропрограммирования. Синтезирован автомат, выполняющий заданную микропрограмму на базе логических матриц. Разработансчетчик числа микрокоманд, работающий в двоично-десятичном коде и таймер. Для всех автоматов построены схемы.

СОДЕРЖАНИЕ

Введение …………………………………………………………….……….…….. 5

Основная часть ………………………………………………………….…….….. 6

1. Минимизация абстрактного автомата, заданного таблицей переходов/выходов ……………………………………………………..….6

2.1. Минимизирование числа состояний абстрактного автомата ……….62.2. Построение реакций исходного автомата и
минимизированного автомата на входное воздействие …………….8

2.3. Результаты автоматической проверки программой ТА02_03……...8

2.4. Синтезирование автомата на элементах ИЛИ-НЕ и
Т – триггерах и на элементах И-НЕ и JK – триггерах ……………...9

2. Синтез микропрограммных управляющих автоматов
на базе логическихматриц………………………………………………. 16

3.5. Разработка микропрограммного автомата, реализующего микропрограмму …………………………………………………….... 16

3.6. Разработка счетчика числа микрокоманд, работающего
в двоично-десятичном коде Грея …………………………………… 19

3.7. Синтез таймера для счетчика ………………………………………... 21

Заключение ………………………………………………………………………... 23

Список использованной литературы………………………………………….… 24

ВВЕДЕНИЕ

Дляформального описания электронных схем, которые делят на два типа в зависимости от того, каким образом выходной сигнал зависит от входного, используют соответствующий аппарат. Математический аппарат алгебры логики пригоден для анализа и синтеза схем без памяти, то есть таких схем, в которых совокупность выходных сигналов в любой момент времени представляет собой однозначную функцию входных сигналов втот же момент времени. Реализуемый в этих схемах способ обработки информации называется комбинационным, так как результат на выходе зависит только от комбинации входных сигналов. Схемы с памятью, алгоритм работы которых зависит от времени, описываются с помощью математического аппарата теории конечных автоматов. Понятие цифрового автомата, как средства для представления и обработки любых видовинформации, является одним из основных в информатике. Конечными автоматами являются как отдельные узлы ЭВМ, так и вся вычислительная машина.
С появлением новых инструментальных средств и подходов в области программного обеспечения модель конечного автомата широко используется не только для описания функционирования устройств переработки дискретной информации, но и для описания поведения программных агентов, тоесть положена в основу технической имитации интеллекта. Автомат в этом случае рассматривают как эквивалент некоторой абстрактной среды, переходящей из одного состояния в другое в результате целенаправленных действий когнитивных агентов. Использование аппарата теории автоматов для анализа и проектирования многоагетных систем, в первую очередь,...