Введение. Конечный автомат. Формальные языки. Понятие о языках. Синтаксический разбор. Отношения и формальные системы. Замыкание. Редукция. Строки. Введение а грамматику. Контекстная грамматика.
Алгоритмические модели. Машина Тьюринга. Основная гипотеза Тьюринга. Устойчивость автоматов. Состязания и гонки конечных автоматов. ры по устранению гонок в структурном автомате. Направленное кодирование состояний абстрактного автомат. Соседние кодирование соседних состояний. Синхронизация структурного автомата. Двойная память. Абстрактный автомат и способы его задания....
Методы анализа и синтеза комбинационных схем. Канонический метод синтеза комбинационных схем. Характеристики комбинационных схем. Системы (серии) логических элементов и их основные характеристики. Анализ комбинационных схем. Анализ комбинационных схем методом pi-алгоритма. Анализ КС методом синхронного моделирования. Анализ КС методом асинхронного моделирования. основные...
Синтез конечных автоматов. Способы задания автомата. Частичные автоматы. Эквивалентность автоматов. Абстрактный синтез конечных автоматов. Представление событий в автоматах. Операции в алгебре событий. Система основных событий. Методы абстрактного синтеза. Структурный синтез конечных автоматов. Элементарные автоматы. Структурная схема конечного автомата. Табличный метод...
Целью дисциплины является изложение принципов организации программных и аппаратных средств, в рамках персональных ЭВМ с использованием теории автоматов, овладение навыками разработки программного обеспечения и аппаратных средств ЭВМ.
Выходные данные не приведены. Вишняков Ю.М. — 4 с.
Введение.
История.
Система переходов.
СП элементарных РВ.
Алгоритм проверки непротиворечивости СРВ.
Проверочная таблица.
Список литературы.
Владимир: ВлГУ, 2006. Учебное пособие для студентов очной и заочной форм обучения специальностям в области вычислительной техники, информатики и управления. Содержит теоретический материал, а также задачи и упражнения для решения. Данный архив содержит два документа: Часть 1 - Теория абстрактных автоматов. Часть 2 - Логические основы цифровых автоматов.
Введение общие сведения о цифровых автоматах. Основные понятия и определения.
Синтез цифровых автоматов без памяти. Этапы синтеза.
Общая теория конечных цифровых автоматов с памятью. Основные понятия и определения. Элементарные автоматы. Структурная схема конечного автомата. Технические особенности конечных автоматов.
Синтез типовых узлов ЭВМ. Регистры. Счетчики. Счетчики с...
Комментарии