Студопедия
Обратная связь


Авиадвигателестроения Административное право Административное право Беларусии Алгебра Архитектура Безопасность жизнедеятельности Введение в профессию «психолог» Введение в экономику культуры Высшая математика Геология Геоморфология Гидрология и гидрометрии Гидросистемы и гидромашины История Украины Культурология Культурология Логика Маркетинг Машиностроение Медицинская психология Менеджмент Металлы и сварка Методы и средства измерений электрических величин Мировая экономика Начертательная геометрия Основы экономической теории Охрана труда Пожарная тактика Процессы и структуры мышления Профессиональная психология Психология Психология менеджмента Современные фундаментальные и прикладные исследования в приборостроении Социальная психология Социально-философская проблематика Социология Статистика Теоретические основы информатики Теория автоматического регулирования Теория вероятности Транспортное право Туроператор Уголовное право Уголовный процесс Управление современным производством Физика Физические явления Философия Холодильные установки Экология Экономика История экономики Основы экономики Экономика предприятия Экономическая история Экономическая теория Экономический анализ Развитие экономики ЕС Чрезвычайные ситуации ВКонтакте Одноклассники Мой Мир Фейсбук LiveJournal Instagram 500-летие Реформации


Пример 9.4

Пусть задана схема (рис. 9.5, а), содержащая по одному логическому элементу И, ИЛИ, НЕ и два элемента задержки (на схеме обозначены Z), на вход которой подается сигнал х. Обозначим внутреннее состояние задержек, соответственно, q1 и q2.

Тогда в соответствии со сформулированными выше правилами для выделенных вершин схемы можно записать:

После удаления из исходной схемы задержек перейдем к схеме, представленной на рис. 9.5, б. Она реализует следующие функции:

поэтому канонические уравнения автомата будут иметь вид:

Теперь можно построить представить эти уравнения в виде таблицы значений:

Далее строится таблица команд автомата подобно рассмотренной в примере 9.1. Ее строки и столбцы соответствуют входным символам x(ti) и состояниям на предыдущем такте (q1(ti-1), q2(ti-1)). В клетках размещаются состояния текущего такта (q1(ti), q2(ti)) и значение выходного символа y(ti). Введем сразу новые обозначения внутренних состояний автомата (q(p) = (q1, q2)): q(0) = (00), q(1) = (01), q(2) = (10), q(3) = (11). Тогда окончательно получаем таблицу автомата:

Решение задачи синтеза автомата из логических элементов и элементов задержки производится в обратном порядке: строится система канонических уравнений автомата; автоматные функции представляются в виде таблицы или диаграммы; по ним находится система булевских функций, описывающих работу автомата; по ней - набор логических элементов и связи между ними и, наконец, в них вводятся элементы задержки. Таким образом, теория автоматов позволяет разработать алгоритмические методы перехода от этапа описания характера преобразований, которые должен осуществлять конечный автомат, к конкретным схемным решениям, основанным на использовании рассмотренного выше набора элементов. Это, в свою очередь, дает возможность задачу проектирования новых конечных автоматов формализовать для решения посредством другого конечного автомата, в частности, компьютера. Такая технология действительно существует и широко используется в практике создания новых устройств.





 

Читайте также:

Нестрогое определение алгоритма

Пример 8.2

Схемы из логических элементов и задержек

Кодирование и обработка в компьютере целых чисел со знаком

Дискретные устройства без памяти

Вернуться в оглавление: Теоретические основы информатики

Просмотров: 1418

 
 

© studopedia.ru Не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования. Есть нарушение авторского права? Напишите нам. Ваш ip: 54.196.91.84