2-е изд. Пер. с англ. — Москва; Санкт Петербург; Киев: Вильямс, 2002. — 528 с.: ил. — ISBN 5-8459-0261-4. Книга известных американских ученых посвящена теории автоматов и соответствующих формальных языков и грамматик - как регулярных, так и контекстно-свободных. Во второй части рассматриваются различные машины Тьюринга, при помощи которых формализуются понятия разрешимых и...
Методы анализа и синтеза комбинационных схем. Канонический метод синтеза комбинационных схем. Характеристики комбинационных схем. Системы (серии) логических элементов и их основные характеристики. Анализ комбинационных схем. Анализ комбинационных схем методом pi-алгоритма. Анализ КС методом синхронного моделирования. Анализ КС методом асинхронного моделирования. основные...
СПб.: Питер, 2003. — 208 с.: ил. — ISBN 5-318-00537-3. Эта книга служит формированию знаний и умений, которые образуют теоретический фундамент, необходимый для корректной постановки и решения проблем в области информатики, для осознания целей и ограничений при создании вычислительных структур, алгоритмов и программ обработки информации. В этом учебнике практическое использование...
Учеб. для вузов по спец. ЭВМ. - М.: Высш. шк., 1987. 272 с. - ил. В книге излагаются способы представления информации в цифровых автоматах, методы выполнения арифметических и логических операций в них, а также методы логического описания и основанные на них методы логического проектирования цифровых устройств. Уделяется внимание разработке способов контроля правильности...
Алгоритмические модели. Машина Тьюринга. Основная гипотеза Тьюринга. Устойчивость автоматов. Состязания и гонки конечных автоматов. ры по устранению гонок в структурном автомате. Направленное кодирование состояний абстрактного автомат. Соседние кодирование соседних состояний. Синхронизация структурного автомата. Двойная память. Абстрактный автомат и способы его задания....
М.: Государственное издательство физико-математической литературы, 1962. — 476 с. — (Математическая логика и основания математики).
Главной и определяющей задачей изложения является такой подбор материала и такой характер его изложения, который дал бы возможность широкому кругу лиц и прежде всего широкому кругу математиков, не знакомых с радиотехникой, электроникой и импульсной...
М.: Наука. Гл. ред. физ.-мат. лит., 1985. - 320 с. Содержит изложение основ теории автоматов, представляющих собой одну из основных моделей управляющих систем. Достаточно широко представлены результаты по теории абстрактных и структурных автоматов, полученные отечественными и зарубежными авторами за последние 30 лет, т. е. за время с момента возникновения и последующего...
М.: Радио и связь, 1987. 392 с.
В книге профессора Гамбургского университета описаны основные классические модели теории конечных автоматов (автоматы Мили и Мура) и более сложные модели (автоматы Рабина — Скотта, многоленточные автоматы, конечные преобразователи). Рассмотрены преобразования конечных автоматов и регулярные множества. Существенную часть книги составляют...
СПб.: СПбГПУ, 2008. — 227 с. В книге рассматривается автоматное программирование – подход к разработке программных систем со сложным поведением, основанный на модели автоматизированного объекта управления (расширении конечного автомата). Предлагаемый подход позволяет создавать качественное программное обеспечение для ответственных систем, охватывая все этапы его жизненного...
Учебное пособие Основы прикладной теории цифровых автоматов. Информационные основы цифровых автоматов. Информация и общие принципы ее преобразования. Обмен информацией между различными информационными устройствами. Аппаратные средства хранения и обработки информации. Общие понятия о цифровом автомате и алгоритме Представление числовой информации в цифровом автомате Системы...
Синтез конечных автоматов. Способы задания автомата. Частичные автоматы. Эквивалентность автоматов. Абстрактный синтез конечных автоматов. Представление событий в автоматах. Операции в алгебре событий. Система основных событий. Методы абстрактного синтеза. Структурный синтез конечных автоматов. Элементарные автоматы. Структурная схема конечного автомата. Табличный метод...
СПб.: Питер, 2003. - 208 с.: ил. - ISBN 5-318-00537-3. Эта книга служит формированию знаний и умений, которые образуют теоретический фундамент, необходимый для корректной постановки и решения проблем в области информатики, для осознания целей и ограничений при создании вычислительных структур, алгоритмов и программ обработки информации. В этом учебнике практическое...
ВВЕДЕНИЕ.
ЛОГИЧЕСКИЕ ОСНОВЫ ЦИФРОВЫХ АВТОМАТОВ.
Основные понятия алгебры логики.
Базис И, ИЛИ, НЕ. Свойства элементарных функций алгебры логики.
Способы описания булевых функций.
Табличное описание булевых функций.
Аналитическое описание булевых функций.
Числовая форма представления булевых функций.
Графическая форма представления булевых функций.
Геометрическое...
Введение. Конечный автомат. Формальные языки. Понятие о языках. Синтаксический разбор. Отношения и формальные системы. Замыкание. Редукция. Строки. Введение а грамматику. Контекстная грамматика.
2-е изд. Пер. с англ. — Москва; Санкт-Петербург; Киев: Вильямс, 2008. — 528 с.: ил. — ISBN 978-5-8459-1347-0. Книга известных американских ученых посвящена теории автоматов и соответствующих формальных языков и грамматик - как регулярных, так и контекстно-свободных. Во второй части рассматриваются различные машины Тьюринга, при помощи которых формализуются понятия разрешимых и...
Учеб. пособие для вузов. - Тирасполь, 2001. 120 с. В учебном пособии излагаются основы современной теории автоматов, представляющих собой одну из основных моделей управляющих систем. Рассматриваются вопросы, связанные с формальными языками и грамматиками, общей теорией алгоритмов, магазинными и конечными автоматами. Представлен прикладной аспект проектирования дискретных...
Введение общие сведения о цифровых автоматах. Основные понятия и определения.
Синтез цифровых автоматов без памяти. Этапы синтеза.
Общая теория конечных цифровых автоматов с памятью. Основные понятия и определения. Элементарные автоматы. Структурная схема конечного автомата. Технические особенности конечных автоматов.
Синтез типовых узлов ЭВМ. Регистры. Счетчики. Счетчики с...
Практические задачи теории автоматов: Методические рекомендации по выполнению лабораторных работ № 1-9 по дисциплине «Теория автоматов» для студентов специальности 230101 очной формы обучения Методическое пособие содержит краткие теоретические сведения и задания для получения первичных навыков по практическому решению задач логического проектирования достаточно простых узлов...
Курсовая работа по предмету "Математические основы теории систем". Задача курсовой: Минимизировать число состояний абстрактного автомата, построить графы исходного минимизированного автомата; произвести структурный синтез автомата на элементах памяти для D-триггера. Приложения с построенными по заданию графами отсутствуют.
Учебное пос. МАДИ(ГТУ). -М. , 2007. – 133 с.
Обобщенные материалы по принципам функционирования, построения и методике синтеза схем логических автоматов, относящихся к простейшим схемам – комбинационного типа.
Описание и характеристики основных серий интегральных цифровых микросхем (ИЦМ). Схемотехника их базовых элементов, типов и особенностей эксплуатации.
Сведения по...
К.Г. Самофалов, А.М. Риманкевич, В.Н. Валуйский, Ю.С. Каневский, М.М. Пиневич. - К.: Вища шк. Головное изд-во, 1987. - 375 с. В учебнике рассмотрены вопросы проектирования к теории цифровых автоматов с учетом их реализации на современной элементной базе: арифметические основы, элементы теории, структурные методы синтеза на интегральных микросхемах, элементы теории...
Владимир: ВлГУ, 2006. Учебное пособие для студентов очной и заочной форм обучения специальностям в области вычислительной техники, информатики и управления. Содержит теоретический материал, а также задачи и упражнения для решения. Данный архив содержит два документа: Часть 1 - Теория абстрактных автоматов. Часть 2 - Логические основы цифровых автоматов.
Системы счисления. Перевод из одной системы счисления в другую. Выполнение сложения в разных системах счисления. Представление двоичных чисел в прямом, обратном и дополнительном кодах. Модифицированные коды. Способы представления автоматов. Эксперименты с автоматами. Синтез автоматов по дереву управления. Структурный синтез автомата.
Алгоритмическая система Тьюринга.
М.: ГИФМЛ, 1962. - 405 с. В последние годы повсеместно и с большой интенсивностью ведутся работы по созданию и применению различных автоматических систем дискретного действия для переработки информации. Они лежат в основе быстродействующих цифровых вычислительных машин, автоматических устройств для управления объектами и систем, моделирующих деятельность живого организма (так...
2-е изд., перераб. и доп. — Л.: Энергия, Ленинградское отделение, 1979. — 232 с. В книге в доступной для инженера-разработчика форме изложены основы теории конечных автоматов и операторных, схем алгоритмов, связанные воедино с теорией и практикой проектирования микропрограммных управляющих устройств. Основное внимание уделено методам, удобным в инженерной практике н...
Учеб. пособие/СПбГУАП. СПб., 2009. - 119 с.: ил. - ISBN 5-8088-0044-7. В книге приводятся основные понятия теории алгоритмов, раскрывается связь между алгоритмами и вычислительными машинами и различия между процессами, протекающими в машинах Тьюринга и автоматах фон Неймана. Рассматриваются также основы теории конечных автоматов, формальные методы проектирования автоматов на...
Кубанский Государственный Технологический Университет. Специальность: Вычислительные машины, комплексы, системы и сети. (230101). Второй курс. Темы рассмотренные в билетах: Классификация автоматов. Одноблочные и многоблочные автоматы. Микропроцессорные цифровые автоматы и структуры их построения. Структурные автоматы. Представление структурных автоматов. Структуры построения...
М., "Наука", 1970 г. , 400 стр.
Книга посвящена поведенческой (абстрактной) теории автоматов:
Поведение автоматов без выходов и с выходом.
Метаязыки.
Расшифровка автоматов.
Статистические оценки параметров и спектров автоматов.
Учеб. пособие/СПбГУАП. СПб., 2009. - 119 с.: ил. - ISBN 5-8088-0044-7. В книге приводятся основные понятия теории алгоритмов, раскрывается связь между алгоритмами и вычислительными машинами и различия между процессами, протекающими в машинах Тьюринга и автоматах фон Неймана. Рассматриваются также основы теории конечных автоматов, формальные методы проектирования автоматов на...
Монография. — Москва: Наука, Главная редакция физико-математической литературы, 1969. — 316 с. Книга составлена из основных работ выдающегося советского специалиста в области кибернетики М. Л. Цетлина. Первая часть книги посвящена математическому моделированию простейших форм целесообразного поведения. Излагается теория игр автоматов. Отыскивается конструкция достаточно...
Переработка информации с помощью конечных автоматов. Конечные автоматы распознаватели. Детерминированные конечные автоматы (ДКА) и автоматные языки. Произведение автоматов. Недетерминированные конечные автоматы и их детерминизация. Регулярные выражения и языки. Регулярные языки и конечные автоматы. Автоматы для регулярных языков. Свойства замкнутости класса автоматных языков....
Учебное пособие. – СПб: НИУ ИТМО, 2013. – 84 с. Целью данного учебного пособия является ознакомление студентов с методами синтеза цифровых автоматов. Приводятся сведения об абстрактных автоматах Мили и Мура. Рассматриваются табличный и графовый способы представления автоматов, вводится понятие реакции автомата на входное слово и определение эквивалентных автоматов. Представлены...
3-е изд., перераб. и доп. – М.: Энергоатомиздат, 1989. – 328 с. Изложены методы синтеза дискретных автоматов и систем на основе наиболее распространенных формализованных языков. Особое внимание уделено процессам управления как исходных условий для задания алгоритмов функционирования управляющих автоматов. Рассмотрены разновидности процессов управления и принципы их реализации...
Разработать и рассчитать делитель с плавающей запятой в дополнительном коде, отвечающий следующим требованиям: разрядность мантисс 16, разрядность порядков 6; математическая модель - автомат Мура; элементарный базис - булевый; на D триггерах
Перевод с английского. — Москва: Мир, 1970. — 326 с. В книге достаточно полно изложены основные понятия и результаты теории контекстно-свободных грамматик и языков, прослеживаются ее связи с теорией автоматов, языками программирования, лингвистикой и машинным переводом. Имеется большое число упражнений самой различной трудности, которые в совокупности существенно дополняют...
Издательство: Статистика, 1975, 335 c. Монография посвящена рассмотрению математического аппарата количественного и качественного анализа АСУ. Конечные автоматы благодаря их простой реализуемости на ЭВМ имеют значительные преимущества по сравнению с другими моделями. Авторы знакомят читателей с основными достижениями в этой области. Книга рассчитана на разработчиков АСУ и...
Учеб. пособие для вузов по направлению подгот. "Информатика и вычисл. техника". - Федерал. агентство по образованию, Краснояр. гос. техн. ун-т. - Красноярск: КГТУ, 2006. - 376 с. - ISBN 5-7636-0865-8.
Информация и вычислительные машины.
Системы счисления.
Основы алгебры логики.
Минимизация ФАЛ.
Основные электронные узлы комбинационного типа.
Основы теории автоматов....
В данной работе я выполню проектирование конечного автомата по алфавитному отображению с использованием канонического метода структурного синтеза автоматов.
Абстрактный синтез конечного автомата.
Формирование алфавитного оператора.
Приведение оператора к автоматному виду.
Построение графа переходов абстрактного автомата.
Минимизация состояний абстрактного автомата....
2-е изд. — Пер. с англ. — Москва, Санкт Петербург, Киев: Вильямс, 2002. — 528 с.: ил. — ISBN: 5-8459-0261-4. Книга известных американских ученых посвящена теории автоматов и соответствующих формальных языков и грамматик - как регулярных, так и контекстно-свободных. Во второй части рассматриваются различные машины Тьюринга, при помощи которых формализуются понятия разрешимых и...
Учебное пособие. -М.: МИФИ, 2008 . 116 с. Распознано Рассматриваются вопросы представления детерминированных функций k-значных логик, способы задания, анализа и синтеза автоматов. Рассмотрены также базовые понятия теории кодирования, включая вопросы распознавания кодов автоматами. Пособие предназначено для студентов, обучаемых по специальности «Прикладная математика и...
Монография, Москва, "Наука", 1973, 408
Поведение автоматов в случайных средах
Игры автоматов
Случайное парное взаимодействие в коллективах автоматов
Модели коллективного поведения
Поведение систем взаимодействующих автоматов
Учеб. пособие для вузов по спец. Вычислительные машины, комплексы, системы и сети. - Красноярск, 2000. - 296 с.: ил. Излагаются способы представления информации в цифровых автоматах, методы выполнения основных арифметических и логических операций в них, а также методы логического описания и основанные на них методы логического проектирования цифровых устройств. Рассматриваются...
Springer, 2016. — 189. Cellular automata are regular uniform networks of locally-connected finite-state machines. They are discrete systems with non-trivial behaviour. Cellular automata are ubiquitous. They are mathematical abstractions of computation, models of physical, chemical and livings systems, and architectures of massive-parallel processors. Cellular automata generate...
Методические рекомендации и контрольные задания для студентов вузов. Цель и задачи дисциплины. Требования к уровню освоения содержания дисциплины. Объем дисциплины и виды учебной работы. Содержание дисциплины: Классификация и характеристики автоматов. Формальные языки и грамматики. Основные понятия и законы алгебры логики. Синтез комбинационной схемы автомата. Синтез автоматов...
Хабаровск, ТОГУ, 2009 г.
Пояснительная записка к курсовой работе. Этапы: минимизация, граф, кодирование сигналов, кодирование состояний, синтез подавтоматов на JK и T триггерах по картам Карно, реализация в виде логических схем, модель на языке AHDL. Автомат полностью рабочий, со схемой синхронизации.
Программа для минимизации и разбиения автомата по таблице переходов/выходов....
М.: Радио и связь, 1987. — 392 с. В книге профессора Гамбургского университета описаны основные классические модели теории конечных автоматов (автоматы Мили и Мура) и более сложные модели (автоматы Рабина — Скотта, многоленточные автоматы, конечные преобразователи). Рассмотрены преобразования конечных автоматов и регулярные множества. Существенную часть книги составляют упражнения.
Учебно-методическое пособие. - Нижний Новгород: Нижегородский госуниверситет, 2011. - 32 с.
В методических указаниях рассматриваются практические задачи, необходимые для самостоятельной подготовки студентов по курсу "Теория автоматов и формальные грамматики". Приводятся основные понятия и результаты. Даются примеры практических заданий с решениями. Материалы могут быть...
Рассмотрен абстрактный цифровой автомат Мура заданного устройства, алгоритм его работы, таблицы прошивки и возбуждения постоянного запоминающего устройства, составлены функции возбуждения. Также составлены функциональная и электрическая принципиальная схемы.
Навчальний посібник. - К.: ВЕК +, 2008. - 176 с. - ISBN 966-7140-11-3.
Навчальний посібник присвячений питанням реалізації арифметичних операцій в цифрових. ЕОМ. Розглянуті питання побудови арифметичних пристроїв різних типів та засобів управління виконанням операцій. Запропоновані завдання та надані рекомендації по організації практичних і лабораторних занять, подані приклади...
К.: Книжкове вид-во НАУ, 2007. - 364 с.
Розглянуто прикладні питання теорії цифрових автоматів, методи аналізу і синтезу логічних схем в сучасному елементному базисі, способи подання інформації та реалізації арифметичних операцій в ЕОМ. Запропоновано завдання та надано рекомендації з організації курсового проектування, лабораторних занять та контролю знань в умовах...
ЮУрГУ, специальность 230101, 2 курс (3 семестр)
Билеты:
Цифровой автомат — общее понятие и особенности как математической модели реальных дискретных устройств. Абстрактные и структурные цифровые автоматы. Задание абстрактного цифрового автомата.
Структурный цифровой автомат — общее понятие, особенности как математической модели реальных дискретных устройств. Синтез структурных...
Целью дисциплины является изложение принципов организации программных и аппаратных средств, в рамках персональных ЭВМ с использованием теории автоматов, овладение навыками разработки программного обеспечения и аппаратных средств ЭВМ.
Анализ последовательностной схемы. Получение аналитического описания автомата. Восстановление таблицы истинности по аналитическому описанию. Анализ всех возможных начальных состояний, нахождение циклов и тупиковых начальных состояний. Построение таблицы переходов. Построение круговой диаграммы переходов.
Монография. — Fultus Books, 2009. — 535 с. — ISBN: 1-59682-137-X. Список принятых сокращений List of the adopted abbreviations Предисловие Введение Базовая концепция однородных структур Основные понятия, определения и обозначения Основные типы однородных структур Архитектура теории однородных структур и ее приложений Аппарат исследований в теории однородных структур Проблема...
СПб: СПбГУ ИТМО, 2011. – 242 с. В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанным...
Задание: Разработать схему блока управления в АЛУ, выполняющего операции сложения и вычитания чисел с фиксированной точкой. Исходные данные: Тип автомата – автомат Мура. Тип триггеров – D-триггеры и T-триггеры. Тип логических элементов – И-НЕ.
М.: Физматгиз, 1962. — 476 с. — (Математическая логика и основания математики). Главной и определяющей задачей изложения является такой подбор материала и такой характер его изложения, который дал бы возможность широкому кругу лиц и прежде всего широкому кругу математиков, не знакомых с радиотехникой, электроникой и импульсной техникой, понять суть проблем, встающих при синтезе...
В учебно-методическом пособии рассматривается применение модели конечного автомата и его модификаций при создании информационно-управляющих систем. Анализируется специфика задач управления и языки, используемые для описания управляющих алгоритмов. Рассматриваются типовые алгоритмы, используемые при решении задач промышленной автоматизации.
Видавництво Дніпропетровського університету, 2009. - 264 с. Викладені логічні аспекти проектування цифрових автоматів. Подані основні положення алгебри логіки, розглянуті проблеми проектування комбінаційних та послідовнісних цифрових автоматів на основі типових логічних схем. Акцентується увага на алгоритмах мінімізації логічної структури, вирішенні проблеми перегонів у...
Представление грамматики конечным автоматом и сетью Петри. Изучение способов задания языков грамматиками, распознающими автоматами, сетями Петри и построение конечного автомата, распознающего заданный язык.
Учебное пособие по дисциплине «Теория автоматов». – Барнаул: Изд-во АлтГТУ, 2009. – 162 c., ил. В пособии изложен теоретический материал по разделам курса «Теория автоматов», приведены задания для выполнения лабораторных работ по рассмотренным в пособии темам, дано описание обучающего программного комплекса по курсу. Учебное пособие предназначено для студентов, обучающихся на...
2-е изд. Пер. с англ. — Москва, Санкт Петербург, Киев: Вильямс, 2002. — 528 с.: ил. — ISBN: 978-5-8459-1347-0. Книга известных американских ученых посвящена теории автоматов и соответствующих формальных языков и грамматик - как регулярных, так и контекстно-свободных. Во второй части рассматриваются различные машины Тьюринга, при помощи которых формализуются понятия разрешимых и...
Boca Raton: CRC Press, 2013. — 401 p. This handbook presents a collection of introductory materials on finite state theories and their applications. A finite state model is a model of behavior composed of a finite number of states, transitions between those states, and actions. A state describes a behavioral node of the system in which it is waiting for a trigger to execute a...
Учебное пособие. – Ульяновск: УлГТУ, 2003.
Изложены основные понятия формальных грамматик, приведены синтез абстрактного и структурного конечных цифровых автоматов. Рассмотрены работы машин Тьюринга и сетей Петри. Предназначена для студентов специальности 200700 «Радиотехника», 220100 «Вычислительные машины, комплексы и системы связи», 200900 «Сити связи и системы коммутации».
Pearson Publication, 2000. - 521 pages. 2nd Edition This classic book on formal languages, automata theory, and computational complexity has been updated to present theoretical concepts in a concise and straightforward manner with the increase of hands-on, practical applications. It has been more than 20 years since this classic book on formal languages, automata theory, and...
Методические указания к практическим занятиям. — Рязань: Рязанская государственная радиотехническая академия (РГРТА), 2004. — 36 с. Рассматриваются автоматные модели с конечной и бесконечной памятью – конечные автоматы и машины Тьюринга. Изучаются их свойства, преимущества, ограничения, примеры применения. Приводится методика синтеза цифровых автоматов различных классов –...
М.: Энергоиздат, 1981. — 168 с.: ил. В популярной форме излагаются элементарные сведения по теории игр и идеи, лежащие в основе работы автоматов игрового типа. Приводятся схемы и описания конструкций простых кибернетических устройств (играющих автоматов), рекомендуемых для самостоятельного изготовления в любительских условиях. Для широкого круга читателей, интересующихся...
Представление грамматики конечным автоматом и сетью Петри. Изучение способов задания языков грамматиками, распознающими автоматами, сетями Петри и построение конечного автомата, распознающего заданный язык.
Практикум. - К.: ВЕК +, 2004. - 160 с., ил. - ISBN 966-7140-11-3. Розглядаються прикладні питання теорії цифрових автоматів, методи синтезу логічних схем в заданому елементному базисі, способи побудови типових вузлів та пристроїв ЕОМ. Навчальний посібник призначено для проведення лабораторних занять і організації курсового проектування зі студентами спеціальності "Комп'ютерна...
В данной курсовой работе требуется произвести синтез дискретного устройства (ДУ). Синтез дискретных устройств Логическое проектирование дешифраторов Синтез счётной схемы Делитель частоты Построение принципиальной схемы проектируемого устройства Печатная плата синтезируемого ДУ Общая схема лежит в visio, проверял работу в CircuitMaker2K (она там есть - сам док), печатку рисовал...
ОНПУ, Украина, г. Одесса.
Дисциплина – «Прикладная теория цифровых автоматов».
Введение.
Задание к курсовой работе.
Булевы функции.
Минимизация заданной булевой функции методом Квайна-МакКласки.
Табличный метод минимизации (карты Карно).
Реализация функции согласно с базисом ИЛИ-НЕ, оценка затрат, построение функциональной схемы и анализ ее работы методом -алгоритма....
Дополнительные требования: разрядность операндов – мантисс nM= 16, порядков nP = 6; математическая модель – автомат Мили; элементный базис – Булевый базис; минимизацию комбинационной схемы выполнить с помощью карт Карно; в качестве элементов памяти использовать D – триггеры;
InTech, 2011. — 580 p. In the early 1950s, at the suggestion of Stanislaw Ulam, John Von Neumann introduced the cellular automata as simple mathematical models to investigate self-organisation and self-reproduction. Cellular automata make up a very important class of completely discrete dynamical systems. The physical environment of cellular automata is constituted of a...
New York: Auerbach Publications, Taylor & Francis Group, 2006. — 369 p. — ISBN10: 0-8493-8086-3; ISBN13: 978-0-8493-8086-0. This book discusses a topic that is among the central questions of software development. Therefore, we must position ourselves in that area to justify our right to express our opinion on that topic. Saying “we” implies at least one person in the co-author...
Иванов Н.Н., Михайлов Г.И., Руднев В.В., Таль А.А.
под ред. С.В. Петрова. - М.: Издательство Наука, 1984, - 194 с.
В книге излагаются результаты работы авторов по созданию теории конечных автоматов, основанной на применении отношений эквивалентности. Наряду с традиционными задачами, решаемыми в теории автоматов, предлагаемый подход позволяет ставить и решать многие новые...
Методические указания. — Курган: Курганский государственный университет (КГУ), 1996. — 35 с. Методические указания и задания для проведения практических занятий по курсу «Теория вычислительных процессов и структур». Конечные автоматы. Основные определения. Упражнения. Эквивалентность и минимизация полных автоматов. Упражнения. Частичные автоматы и их минимизация. Упражнения....
Конспект лекций. – М., МИФИ, 2004. - 88С.
Учебное пособие предназначено для студентов факультета Кибернетики, изучающих на пятом семестре математическую лингви-стику и основы теории автоматов. Пособие представляет собой конспект лекций по этому курсу. В дальнейшем планируется расширить представленный материал и дополнить его методическими указаниями, примерами и задачами. Пособие...
Springer, 2010. —393 p. Cellular automata (CA) are a paradigm of fine-grained, uniform, parallel computation. This mode of computing is supposedly one that is most naturally and efficiently supported by physics, since physics itself is at bottom a uniform parallel computing medium (thence the appeal of cellular automata machines and all that). Obviously, then, if you have a...
Springer, 2004. — 318 p. This textbook is an introduction to theoretical computer science with a focus on the development of its algorithmic concepts. It is based on a substantially extended translation of the German textbook "Algorithmische Konzepte der Informatik" written for the first introductory course to theoretical fundamentals of computer science at the University of...
В пособии исследуется логический этап проектирования цифровых синхронных схем. При этом предполагается, что читатель знаком с основами логического проектирования комбинационных схем.
М. : АСТ, 2008. — 560 с. — ISBN: 978-5-17-049562-7 В учебнике излагается теория автоматов, являющаяся одной из основных дисциплин, читаемых для студентов по направлению "Информатика и вычислительная техника". Особое внимание уделяется созданию эффективного математического обеспечения проектирования автоматов на всех этапах их разработки: алгоритмическом, абстрактном, этапе...
Учебное пособие для студентов очной и заочной форм обучения специальностям в области вычислительной техники, информатики и управления. ВлГУ- 2009 Канонический метод структурного синтеза Триггеры Регистры Сумматоры Синтез схемы автомата Мура по заданному графу Счетчики Кодирование состояний автомата. Пример синтеза автомата Мили Задачи и упражнения Литература
В данной курсовой работе разработан алгоритм работы Механизма автоматической смены инструмента с помощью метода реализуемых циклограмм, и представлена попытка реализации в среде ISOGRAPH
УГАТУ. Курсовая по Фриду, Задание: Разработать алгоритм сложения чисел в обратном коде, с плавающей запятой, автомат Мура, базис Штрих Шеффера, Карты Карно, RS триггер.
М.: Издательство иностранной литературы, 1956. — 402 с. Настоящая книга является переводом сборника статей по теории автоматов. Это - молодая научная дисциплина (отрасль кибернетики), возникшая под влиянием запросов техники цифровых вычислительных машин и моделирующих устройств. Сборник отражает различные аспекты теории автоматов. Некоторые статьи посвящены вопросам, связанным...
Теория автоматов оперирует с широким кругом алгебраических объектов и средств. В годы становления этой теории алгебраические методы активно использовались для решения ее внутренней проблематики. Со временем оказалось, что уже методы теории автоматов могут с успехом применяться в алгебраических исследованиях.
Методические указания к практическим занятиям. — Ульяновск: Ульяновский государственный технический университет (УлГТУ), 2003. — 27 с. Указания по курсу "Прикладная теория информации" написаны в соответствии с рабочей программой курса "Прикладная теория информации" для специальностей 071900 "Информационные системы в технике и технологиях" и 1903300 "АП и ИВК". В них содержатся...
2-е издание. — СПб.: Питер, 2010. — 176 с. В книге рассматривается автоматное программирование – подход к разработке программных систем со сложным поведением, основанный на модели автоматизированного объекта управления (расширении конечного автомата). Предлагаемый подход позволяет создавать качественное программное обеспечение для ответственных систем, охватывая все этапы его...
Кубанский Государственный Технологический Университет. Специальность: Вычислительные машины, комплексы, системы и сети. (230101). Второй курс.
В данной курсовой работе мы рассматриваем синтез цифрового автомата. Теоретически мы по начально-заданной таблице входов и выходов разрабатываем модель логической схемы, по которой делаем электрическую схему, которую, реализовав на...
Prentice Hall, 1989. — 447 p. It often seems that mathematicians regularly provide answers well before the rest of the world finds reasons to ask the questions. The operation of the networks of relays used in the first computers is exactly described by Boolean functions. George Boole thereby made his contribution to computer science in the mid-1800s, and Boolean algebra is used...
М.Наука, 1984 Основная часть работ сборника посвящена наиболее важным аспектам проектирования устройств логического управления: языкам описания алгоритма управления, синтезу устройств из элементов нового типа, вопросам автоматизации проектирования их, надежности устройств на основе использования избыточного кодирования. Для специалистов в области разработки и эксплуатации...
Методическое руководство. — Челябинск: Южно-Уральский государственный университет (ЮУрГУ), 2008. — 23 с. Методическое руководство предназначено для студентов специальности «Управление и информатика в технических системах» дневной и заочной форм обучения, выполняющих курсовую работу по дисциплине «Цифровые автоматы», связанную с разработкой цифрового автомата с функциями...
Расчетно-графическая работа. Вариант не указан. — Уфимский государственный авиационный технический университет. — Уфа, 2004. — 8 с. Преподаватель Фрид А.И. Дисциплина: Теория автоматов. Исходные данные. Переход от праволинейной грамматики к автоматной. Построение недетерминированного конечного автомата. Граф минимального автомата. Сети Петри.
Лабораторная работа - Автоматные модели процессов. ЧГУ 2010, специальность 230105.
Построение для графа алфавитов: входной, выходной и внутренних состояний. Построение конечного автомата и таблицы переходов/выходов.
Учебное пособие. — М.: Наука, Главная редакция физико-математической литературы, 1985. — 288 с. В книге в систематической форме излагаются основные результаты и методы теории вероятностных автоматов. Подробно рассматриваются свойства языков, многотактных каналов и последовательностей случайных кодов, представимых конечными вероятностными автоматами, методы синтеза вероятностных...
Вельдер С.Э., Лукин М.А., Шалыто А.А., Яминов Б.Р. — Санкт-Петербург: Наука, 2011. — 244 с. — ISBN: 978-5-02-038160-5. В книге рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных...
Екатеринбург: Изд-во Урал. ун-та , 2007. – 248 с.
В пособии систематически изложены ряд важных разделов теории формальных языков и приложения этой теории к построению компиляторов. Пособие рассчитано на математически ориентированных читателей.
Для студентов математических направлений и специальностей, изучающих дисциплины «Лингвистические основы информатики», «Теория...
М.: Наука. Гл. ред. физ.-мат. лит., 1985. — 320 с. Содержит изложение основ теории автоматов, представляющих собой одну из основных моделей управляющих систем. Достаточно широко представлены результаты по теории абстрактных и структурных автоматов, полученные отечественными и зарубежными авторами за последние 30 лет, т. е. за время с момента возникновения и последующего...
М.: Мир, 1971. — 366 с. Монография одного из крупнейших американских ученых рассматривает фундаментальные вопросы теории автоматов. Изложена классическая теория конечных автоматов, машин Тьюринга и систем Поста. Подход автора в значительной степени отличается от традиционного. В его основе лежит понятие эффективной процедуры, включающее язык для описания поведения и характеристику...
М.: Интуит, 2016. — 355 с. Конечные автоматы представляют собой удобные и адекватные математические модели, широко применяющиеся для описания структур и процессов функционирования цифровой аппаратуры, при разработке программных систем и трансляторов и во многих других предметных областях. В данном курсе лекций излагаются результаты теории экспериментов с автоматами, востребованные...
УГАТУ. Курсовая по Фриду, Задание: Разработать алгоритм деления чисел в обратном коде, с плавающей запятой, автомат Мили, булевый базис, Карты Карно, RS триггер. 2009 год!
Cambridge University Press, 2006. — 265 p. — ISBN13: 978-0-521-613214-8. Recent applications to biomolecular science and DNA computing have created a new audience for automata theory and formal languages. This is the only introductory book to cover such applications. It begins with a clear and readily understood exposition of the basic principles, that assumes only a background...
Учебное пособие. — Красноярск: Сибирский федеральный университет, 2017. — 206 с. — ISBN: 978-5-7638-3661-5 Приведены сведения об абстрактных автоматах Мили и Мура, способах их представления, понятие реакции автомата на входное слово и определение эквивалентных автоматов. Описаны методы взаимного эквивалентного преобразования автоматов. Даны примеры синтеза структурных автоматов...
Учебное пособие, 1988 г., 73 стр. Саратовский государственный университет. ISBN 5-292-00263-1 В пособии излагаются основные понятия и результаты теории конечных автоматов без выхода, связанные с универсально-алгебраическими конструкциями. Представление об автомате без выхода как о конечной унарной алгебре позволяет применить в теории автоматов хорошо разработанные...
Южно-Уральский Государственный Университет, Кафедра Автоматики и Управления, Челябинск , 2007. - 63 стр.
Курсовой включает: законы алгебры логики, представление функции в виде логической схемы, построение схемы автомата МИЛИ, построение схемы автомата Мура, минимизация булевой функции, конечный автомат.
Cambridge University Press, 2010. — 630 p. As the title may suggest, this book is about combinatorics on words, automata and formal language theory, as well as number theory. This collaborative work gives a glimpse of the active community working in these interconnected and even intertwined areas. It presents several important tools and concepts usually encountered in the...
Springer, 2010. — 493 p. It takes more effort to verify that digital system designs are correct than it does to design them, and as systems get more complex the proportion of cost spent on verification is increasing (one estimate is that verification complexity rises as the square of design complexity). Although this verification crisis was predicted decades ago, it is only...
УГАТУ, преподаватель Фрид А.И., кафедра ВТиЗИ. Разработать алгоритм умножения чисел в дополнительном коде в формате с плавающей запятой. Дополнительные требования: разрядность мантисс и порядков nм=16 и np=6 соответственно; математическая модель – автомат Мили; элементный базис – И-НЕ (Штрих Шеффера); минимизацию комбинационной схемы выполнить с помощью карт Карно; в качестве...
Монография. — Липецк: ЛЭГИ, 2005. — 124 с. Представлены подходы к построению дискретных моделей, базирующихся на клеточной интерпретации. Рассмотрены дискретные пространственные, дискретные пространственно-временные, конечно-аргументные модели. Дискретно-аргументный подход можно использовать для описания сложных технологических процессов, характеризующихся многостадийностью...
М.: НИЯУ МИФИ, 2012. — 92 с. В пособие включены задачи по лингвистике, теории автоматов и кодированию. Задачи разделены по темам, каждый раздел содержит крат- кое изложение базовой теории. Для ряда задач даны ответы или указания. Данное пособие предназначено для студентов факультета кибернетики и информационной безопасности, изучающих математическую лингвистику и теорию...
Методические указания. — Уфа: Уфимский государственный авиационный технических университет (УГАТУ), 2009. — 60 с. Методические указания к курсовой работе по «Математическим основам дискретно-логических систем» содержат краткий теоретический материал, решение задач, являющихся этапами курсовой работы. Предназначено студентам специальности 220301 "Автоматизация технологических...
Учебное пособие. — М.: МГТУ ГА, 2008. — 116 с. Данное учебное пособие издается в соответствии с рабочей программой учебной дисциплины СД01 «Теория автоматов» по Учебному плану специальности 230101 для студентов II курса дневного обучения, утвержденному в 2001 году. Учебное пособие являются продолжением ранее изданного пособия «Теория автоматов», часть I. В данном учебном...
Монография. - Издательство Fultus Books, 2009. - 535с. ISBN: 1-59682-137-X Рассмотрены вопросы современной теории однородных структур (клеточных автоматов) и их приложений в качестве самостоятельного раздела современной математической кибернетики. Настоящая монография ориентирована на самый широкий круг читателей, интересующихся важными направлениями современной вычислительной...
Методические указания. — Оренбург: Оренбургский государственный университет (ОГУ), 2009. — 42 с. В методических указаниях к практическим занятиям для специальности 230101 «Вычислительные машины, комплексы, системы и сети» рассмотрены следующие вопросы: способы представления логических функций (ЛФ); алгебраическое преобразование ЛФ; методы минимизации Квайна и Мак-Класски, с...
Статья. Опубликована в журнале "Компьютерные исследования и моделирование". — 2010. — Т.2 . — №3 . — С. 273–293.
Обзор содержит введение в модели клеточных автоматов. Описаны три автомата на плоскости: клеточный автомат Винера–Розенблюта, игра «Жизнь» и автомат Кохомото–Ооно для моделирования систем «реакция–диффузия». Построены обобщения клеточного автомата игры "Жизнь" на...
Учебное пособие. — СПб.: СПбГУАП, 2000. — 119 с.: ил. — ISBN: 5-8088-0044-7. В пособии приводятся основные понятия теории алгоритмов, раскрывается связь между алгоритмами и вычислительными машинами и различия между процессами, протекающими в машинах Тьюринга и автоматах фон Неймана. Рассматриваются также основы теории конечных автоматов, формальные методы проектирования...
Проектирование цифрового автомата по заданной содержательной графсхеме алгоритма выполнения арифметических операций операционной части цифрового автомата, типу автомата и типу элементов памяти. Среда разработки: Borland Delphi Работа содержит: Отчет по Госту, Исходники Программы. Работа студента 4 курса, спец ВМКСС, предмет Теория Автоматов.
ИжГТУ, 2 курс, спец-т 230101 "ВМ, системы, комплексы и сети". Сдано Кропачеву Л. А. Расчет вариантов исходного задания. Преобразование алфавитного отображения к автоматном. Построение формализованного описания работы автомата. Минимизация числа внутренних состояний автомата. Кодирование внутренних состояний автомата. Построение кодированной таблицы переходов и выходов автомата....
ИИТиЭ, АГТУ (САФУ). Два числа (64000+V и 65000+V, где V - номер варианта) перевести в двоичную систему счисления, разряды этих чисел использовать как значения двух логических функций четырёх переменных. Составить СДНФ, СКНФ и карту Карно (диаграмму Вейча). С помощью карты Карно минимизировать выражения логических функций и по этим выражениям в заданном базисе ("И-НЕ" или "ИЛИ-НЕ")...
Springer, 2010. — 184 p. In 1970 Martin Gardner spelled out the rules of a new solitaire game forged by John Horton Conway.1 An unparalleled combination of functional simplicity with behavioural complexity made Conway’s Game of Life the most popular cellular automaton of all time. We commemorate the Game of Life’s 40th birthday with a unique collection of works authored by...
Издательство IOS Press/Springer, 2005, -448 pp. In the summer of 2003 the Department of Mathematics and Statistics of the University of Montreal was fortunate to host the NATO Advanced Study Institute Structural theory of Automata, Semigroups and Universal Algebra as its 42nd Seminaire des mathematiques superieures (SMS), a summer school with a long tradition and...
Lulu Press, 2019. — 418 с. — ISBN 978–0–359–73512–9. В книге представлены некоторые наши результаты, относящиеся к теории классических клеточных автоматов (КА). В настоящее время эти результаты составляют довольно существенную составляющую общей теории клеточных автоматов. В частности, мы изучали такие проблемы, как проблема неконструируемости конфигураций в КА, экстремальные...
Методические указания. — СПб.: Санкт-Петербургский государственный университет аэрокосмического приборостроения (СПб ГУАП), 2015. — 76 с. Содержатся указания по выполнению лабораторных работ по дисциплине Теория автоматов с использованием программного пакета Quartus, а также методические указания по проектированию цифровых устройств в пакете Quartus. Методические указания...
М.: Наука, 1992. — 298 с. Излагаются основные результаты по теории однородных структур, полученные советскими и зарубежными авторами за последние 30 лет. В первой части изучаются автономные однородные структуры. Объектом исследования являются процессы, происходящие внутри этих структур, т.е. поведение их. Во второй части изучаются однородные структуры со входами и выходами, для...
Учебное пособие. — Махачкала. 2006.
В пособии излагаются основные понятия теории вычислительных процессов и структур. Даны понятия формальных грамматик и основы теории конечных цифровых автоматов, приведены математические модели для описания взаимодействующих процессов на основе сетей Петри и нотаций Хоара, рассматриваются методы и средства синхронизации и связи...
Кубанский государственный технологический университет, Краснодар, 1999. — 38 с.
Первая часть курсовой работы посвящена минимизации булевых функций двумя различными способами, а также построению комбинационных схем в базисах, состоящих всего из одной функции.
Вторая часть содержит основные понятия и определения из теории конечных автоматов, а также пример их использования для...
Разработать и рассчитать сумматор с плавающей запятой в дополнительном коде, отвечающий следующим требованиям: разрядность мантисс 16, разрядность порядков 6; математическая модель - автомат Мура; элементарный базис - булевый; на D триггерах
М.: Издательство иностранной литературы, 1956. — 402 с. Настоящая книга является переводом сборника статей по теории автоматов. Это - молодая научная дисциплина (отрасль кибернетики), возникшая под влиянием запросов техники цифровых вычислительных машин и моделирующих устройств. Сборник отражает различные аспекты теории автоматов. Некоторые статьи посвящены вопросам, связанным...
Лабораторный практикум. — Новосибирск: Новосибирский государственный технический университет (НГТУ), 2002. — 48 с. Анализ и синтез комбинационных схем. Триггеры. Счетчики. Анализ и синтез. Синтез управляющих автоматов с жесткой логикой.
ЮУрГУ,3 семестр, кафедра АиУ, Барбасова.
Задание.
Построить устройство для преобразования последовательного двоично-десятичного кода х=(х3, х2, х1, х0), соответствующего десятичным цифрам 0,1,2,3, …9, который подается на вход устройства, в последовательный двоично-десятичный код z=(z3,z2,z1,z0).
Десятичный эквивалент Х двоично-десятичного кода может быть вычислен следующим...
Синхронизачия цифрового автомата МИЛИ на элементах ИЛИ-НЕ. количество входных сигналов n=4, количество состояний t=4, количество выходных сигналов m=
4. в качестве элементарных автоматов использованы RS и T-триггеры.
М.: Изд-во МГТУ им. Н. Э. Баумана. Излагаются основные понятия информатики, методы измерения и представления информации, способы представления числовой информации в информационных системах, методы и алгоритмы выполнения арифметических и логических операций в различных системах счисления. Уделяется внимание методам контроля правильности функционирования цифровых автоматов как...
Диссертация на соискание ученой степени кандидата технических наук. Москва, МГТУ им. Баумана, 2011 — 224 с. Специальность: 05.13.17 —Теоретические основы информатики. Научный руководитель: к.ф-м.н. А. Е. Жуков Цель работы: разработка новых генераторов псевдослучайных равномерно распределенных двоичных последовательностей, отвечающих следующим требованиям: - выходные...
Springer, 2013. — 210 p. Communication systems for most companies throughout the world have already gone digital or will certainly do so in the near future. For example, cell phones and other types of wireless communication such as television, radio, process controls, automotive electronics, consumer electronics, global navigation and military systems, to name only a few...
Ульяновск: Ульяновский государственный технический университет (УлГТУ). Лекции для 2-го курса. Абстрактные автоматы. Структурный автомат. Кодирование состояний автомата. Функционирование цифровых автоматов.
Конспект лекции по теории структурных автоматов. МГУ. - 10 стр.
Конечный алфавит, слово, длина слова.
Детерминированная функция.
Остаточная, ограниченно-детерминированная функция.
Операции суперпозиции.
Операция переименования переменного.
Операция отождествления переменных.
Операция проектирования,
Операция дублирования,
Операция объединения.
Операция подстановки....
Методическое пособие. — Брянск: Брянский государственный технический университет (БГТУ). — 5 с. Постановка задачи. Определение входных, выходных сигналов и состояний автомата. Направленный граф автомата Мура. Примеры реализации асинхронного и синхронного автомата. Синтез асинхронного автомата Мура. Синтез синхронного автомата Мура.
В данной курсовой работе имеются теоретические сведения о цифровом автомате, об алгоритме деления чисел, о прямом коде и элементах памяти. Также рассматривается процесс разработки функциональной схемы автомата Мура для операции деление без восстановления остатка. В работе построены содержательная, функциональная, отмеченная граф схемы, граф автомата Мура, выполнена кодировка...
СПб., Санкт-Петербургский государственный университет информационных технологий, механики и оптики, 2009. В данной работе изучается применение генетических алгоритмов для построения конечных автоматов на примере задачи «Умный муравей». В результате необходимо построить конечный автомат Мура, управляющий поведением муравья таким образом, чтобы задача решалась наиболее...
Управляющий автомат выполняющий произведение в прямом коде с плавающей запятой, отвечающий следующим требованиям: разрядность чисел 16; математическая модель - автомат Мура; базис – Стрелка Пирса; на T-триггерах;
Учебное пособие. — М.: МГТУ ГА, 2007. — 96 с. Учебное пособие предназначено для изучения первой части дисциплины «Теория автоматов» студентами 2-го курса специальности 230101. В пособии рассмотрены элементы теории алгоритмов, основы алгебры логики, а также методы анализа и синтеза комбинационных схем. Подробно рассмотрены методы минимизации логических функций. Особое внимание...
М.: Интуит, 2016. — 355 с. — ISBN: 9785996302680. Конечные автоматы представляют собой удобные и адекватные математические модели, широко применяющиеся для описания структур и процессов функционирования цифровой аппаратуры, при разработке программных систем и трансляторов и во многих других предметных областях. В данном курсе лекций излагаются результаты теории экспериментов с...
Springer, 2010. — 460 p. Two seemingly unrelated mathematical notions, namely that of an amenable group and that of a cellular automaton, were both introduced by John von Neumann in the first half of the last century. Amenability, which originated from the study of the Banach-Tarski paradox, is a property of groups generalizing both commutativity and finiteness. Nowadays, it...
Nova Science Pub Inc, 2011. - 295 p. — ISBN: 1617615927 A cellular automaton is a discrete model studied in computability theory, mathematics, physics, complexity science, theoretical biology and microstructure modelling. It consists of a regular grid of cells, each in one of a finite number of states, such as 'On' or 'Off'. The grid can be in any finite number of dimensions....
Выходные данные не указаны. — 123 с. Вспомогательные понятия Случайные функции Понятие случайной функции Матрицы, соответствующие конечным случайным функциям Вероятностные распределения Строки и функции на строках Строки и связанные с ними понятия Функции на строках Автоматы Мура Понятие автомата Мура Достижимые состояния и реакция автомата Достижимая часть автомата Линейные...
Cambridge University Press, 2017. — 281 p. — ISBN: 978-1-107-10917-9 With over half of the world's population now living in urban areas, the ability to model and understand the structure and dynamics of cities is becoming increasingly valuable. Combining new data with tools and concepts from statistical physics and urban economics, this book presents a modern and...
Oxford University Press, 2003. — 353 p. This book is the long-awaited proceedings of a conference, held at the Santa Fe Institute in December, 1998, and sponsored by the National Science Foundation. "New Constructions in Cellular Automata" brought people together to discuss topics ranging from modeling physics and economics, to reversible computation, to the latest discoveries...
Выполнение операций над числами в различных системах счисления.
Перевод чисел из одной системы счисления в другую.
Представление двоичных чисел в формате с фиксированной и плавающей запятой в разрядной сетке цифрового автомата.
Сложение чисел в формате с фиксированной запятой.
Сложение чисел в формате с плавающей запятой.
Умножение чисел в формате с фиксированной запятой....
Учебно-методическое пособие. — Саратов: Изд–во ГосУНЦ «Колледж», 2003. — 24с.
В лабораторной работе описывается краткая теория клеточных автоматов, дается описание лабораторных работ, формулируются контрольные вопросы и задания для выполнения работ. Предназначено для студентов факультета компьютерных наук и информационных технологий, факультета гуманитарных и социальных наук,...
Синтез функциональной схемы простейших часов. Система отображения. Функция отсчета времени. Управление часами с помощью конечного автомата. Построение функциональной схемы конечного автомата. Организация передачи внешних воздействий на вход конечного автомата. Общая функциональная схема часов. Основная функция часов - отсчет и отображение времени. Обычные электронные часы...
Издательство Luniver Press, 2008, -636 pp.
The book offers a unique collection of papers presented at the Automata-2008 workshop held in Bristol, June 12-14, 2008. The event was supported by the Engineering and Physical Sciences Research Council (EPSRC), the UK Government’s leading funding agency for research and training in engineering and the physical sciences.
Automata 2008...
Springer, 2011. — 214 p. Studying the historical development of theoretical foundations and tracing the train of thought that led to their formulations and to related practical discoveries are very suitable ways of learning and getting insight into how to determine the roads for future research and investigations in similar areas. This booklet presents some historical remarks...
Авторы: А.Г. Астановский, В.И. Варшавский, В.Б. Мараховский, В.А. Песчанский, Л.Я. Розенблюм, Н.А. Стародубцев, Р.Л. Финкельштейн, Б.С. Цирлин. — М.: Наука, 1976. — 424 с. — (Теоретические основы технической кибернетики). В книге предлагается новый подход к построению дискретных вычислительных и управляющих устройств, базирующийся на использовании так называемых апериодических...
М.: Наука, 1971. — 512 с. Книга посвящена проблеме автоматизации синтеза дискретных автоматов, решаемой на базе системы автоматического программирования, в основу которой положен алгоритмический язык ЛЯПАС (логический язык представления алгоритмов синтеза). Книга содержит детальное и достаточно популярное описание языка ЛЯПАС. Излагается методика программирования в языке ЛЯПАС, а...
Учебное пособие. В 2 ч. Ч. 2. Счетчики / А.В. Илюхин, А.М. Колбасин; МАДИ. - М.: МАДИ, 2013. – 52 с. В учебном пособии излагаются сведения по построению и применению микросхем последовательностного типа для синтеза схем логических автоматов, применяемых при автоматизации технологических процессов и производств. Пособие предназначено для студентов, обучающихся по направлению...
Курсовая по предмету "Математические основы дискретно-логических систем", преп. Мугафаров М. Ф.
Содержание:
Введение.
Постановка задачи.
Построение таблицы поведения автомата.
Построение графа.
Кодирование данных.
Нахождение системы булевых функций для возбуждения JK-триггеров, реализующих функции ψ.
Определение булевой функции для реализации функции φ.
Составление...
Springer, 2009. — 610 p. The purpose of this Handbook is to highlight both theory and applications of weighted automata. Weighted finite automata are classical nondeterministic finite automata in which the transitions carry weights. These weights may model, e.g., the cost involved when executing a transition, the amount of resources or time needed for this, or the probability...
John Wiley & Sons, 2001. — 401 p. — ISBNs: 0-471-43960-6; 0-471-22464-2. Over the past twenty years, automata and formal languages have become the standard introductory theory course in both the undergraduate and graduate curricula of computer science. The subjects studied in such a course include automata theory, formal languages, and models of computation. For a more advanced...
Springer, 2016. — 279 p. — ISBN: 978-3-319-44960-9. This textbook introduces the basis for modelling and analysing discrete dynamic systems, such as computer programmes, soft- and hardware systems, and business processes. The underlying concepts are introduced and concrete modelling techniques are described, such as finite automata, state machines, and Petri nets. The concepts...
CRC Press, 2004. — 326 p. The theory of finite automata is the mathematical theory of a simple class of algorithms that are important in computer science. Algorithms are recipes that tell us how to solve problems; the rules we learn in school for adding, subtracting, multiplying and dividing numbers are good examples of algorithms. Although algorithms have always been important...
Springer, 2011. — 440 p. Modelling and simulation are disciplines of major importance for science and engineering. There is no science without models, and simulation has nowdays become a very useful tool, sometimes unavoidable, for development of both science and engineering. The numerical solution of differential equations has for many years been a paradigm of the...
Монография. — Гродно : ГрГУ, 2008. — 486 с. — ISBN: 978-985-515-020-7; ISBN: 978-9985-9508-4-5. В монографии рассматриваются основы теории классических однородных структур (ОС), представляющей собой базовую компоненту общей теории однородных структур (Cellular Automata): новую и весьма перспективную среду моделирования многих дискретных параллельных процессов, явлений и...
New York: McGraw-Hill, 1962. — 207 p. — (McGraw-Hill electronic sciences series). — ISBN: 978-0-0702-3243-3. As an introductory text on the theory of finite-state machines, the present volume covers only a small segment — but a very basic one — of what is commonly known as the "theory of automata". Thus, the book confines itself to the fundamental system-theoretic aspects of...
Cham: Springer, 2022. — 287 p. Knowledge of automata theory and formal languages is crucial for understanding human-computer interaction, as well as for understanding the various processes that take place when manipulating knowledge if that knowledge is, indeed, expressed as sentences written in a suitably formalized language. In particular, it is at the basis of the theory of...
CRC Press, 2002. — 608 p. ISBN: 0-201-62716-7, 0-201-62664-0 Are mathematical equations the best way to model nature? For many years it had been assumed that they were. But in the early 1980s, Stephen Wolfram made the radical proposal that one should instead build models that are based directly on simple computer programs. Wolfram made a detailed study of a class of such models...
Минск : Беларуская навука, 2014. — 231 с. : ил. — ISBN: 978-985-08-1750-1. В монографии рассматривается применение аппарата диаграмм двоичного выбора (Binary Decision Diagrams, BDD) для минимизации многоуровневых представлений булевых функций и систем; предлагаются методы декомпозиции систем булевых функций, заданных в виде BDD; приводятся результаты экспериментальных...
Учебное пособие. — М.: Академия имени Н.Е. Жуковского, 2021. — 76 с. — ISBN 978-5-907275-94-2. Учебное пособие предназначено для обучающихся по направлению «Информатика и вычислительная техника», изучающих дисциплину «Теория автоматов». В данном учебном пособии рассматривается комплекс вопросов, связанных с элементами памяти цифровых автоматов, синтезом автоматов с памятью и...
Учебное пособие. — М.: НИЯУ МИФИ, 2012. — 192 с. В пособии содержится описание шести лабораторных работ по курсу «Теория автоматов». В каждой работе дано краткое изложение теоретических основ и особенностей выполнения работ. Предназначено для приобретения и закрепления практических навы-ков при использовании теории автоматов для разработки цифровых уст-ройств и программного...
Задание
Построить устройство для преобразования последовательного двоично-десятичного кода x=(x3, x2, x1, x0), соответствующего десятичным цифрам 0, 1, 2, 3, . 9, который подаётся на вход устройства, в последовательный двоично-десятичный код z=(z3, z2, z1, z0).
Вариант
25. Веса: 2421 2421
Содержание
Задание
Аннотация
Основные понятия алгебры логики
Методы...
Екатеринбург : УрФУ, 2013. — 160 с. — ISBN: 978-5-321-02344-0. В учебном пособии раскрываются информационные основы цифровых автоматов. Рассматриваются общие принципы разработки алгоритмов аппаратной реализации арифметических действий в цифровых автоматах. Приводятся алгоритмы синтеза и эквивалентных преобразований автоматов. Даются задания для выполнения расчетно-графической...
Издательство Kluwer, 1990, -489 pp. The theory or automata has developed rapidly in the last decades: from the first endeavour to describe formally the input-output behavior, to a clear algebraic insight into the basic concepts and their interrelationship. The original notion of a sequential automaton has been generalized in a number of directions. The motivating directions for...
Cambridge University Press, 2010. — xiv, 620 p. — (Encyclopedia of Mathematics and its Applications 129). — ISBN 978-0-521-88831-8. This book presents a comprehensive study of the theory of variable length codes. It is a complete reworking of the book Theory of Codes published by the first two authors more than twenty years ago. The present text includes many new results and...
Издательство World Scientific Publishing, 2002, -137 pp. Advances in Complex Systems (ACS), 2002, vol. 05, issue 02. We discuss the cellular automata approach and its extensions, the lattice Boltzmann and multiparticle methods. The potential of these techniques is demonstrated in the case of modeling complex systems. In particular, we consider applications taken from various...
Boca Raton: CRC Press, 2019. - 348 p. - ISBN: 1138552429. Automata and Computability is a class-tested textbook which provides a comprehensive and accessible introduction to the theory of automata and computation. The author uses illustrations, engaging examples, and historical remarks to make the material interesting and relevant for students. It incorporates modern/handy...
Cambridge: Cambridge University Press, 2017. — 307 p. Fascinating connections exist between group theory and automata theory, and a wide variety of them are discussed in this text. Automata can be used in group theory to encode complexity, to represent aspects of underlying geometry on a space on which a group acts, and to provide efficient algorithms for practical computation....
Tsinghua/Springer, 2008. — 441 p. — ISBN-10: 3540782567. The important summarizing work of RENJI TAO appears now in book form. It is a great pleasure for me to see this happen, especially because I have known Professor Tao as one of the very early contributors to public-key cryptography. The research community has missed a book such as the present one now published by Tsinghua...
Pergamon Press, 1963. — 795 p. — ASIN: B000V294MC.
The publication of the six volumes of the collected works of John von Neumann represents an imposing burden of work, great and broad knowledge, and time-consuming research. It would hardly have been possible to make this collection available to the scientific community, and surely not in so short a time, had it not been for the...
В статье рассматривается динамический логический объект, объясняются причины его динамики, вводится его собственная траектория состояний. Критически анализируется имеющаяся концепция логического управления. Показывается, что система логического управления динамическим объектом представляет собой каноническую композицию. Вводится потенциально-динамический объект, строится на...
Одеса 2001(украинский язык)
Конспект лекцій складений для студентів спеціальності «Спеціалізовані комп'ютерні системи». Конспект призначений для спрощення роботи студентів (і викладача) під час лекцій і містить набір ключових понять, схем, таблиць і описів, необхідних для більш повного розуміння матеріалу лекцій.
М.: Наука. Гл. ред. физ.-мат. лит., 1985. — 320 с. Содержит изложение основ теории автоматов, представляющих собой одну из основных моделей управляющих систем. Достаточно широко представлены результаты по теории абстрактных и структурных автоматов, полученные отечественными и зарубежными авторами за последние 30 лет, т. е. за время с момента возникновения и последующего...
Выполнить проект управляющего автомата по заданной содержательной схеме алгоритма выполнения арифметических операций операционной части цифрового автомата, типу автомата и типу элементов памяти. Построить функциональную схему управляющего цифрового автомата. Сделать оценку конструктивной сложности и быстродействия цифрового автомата. Представить рекомендации по выбору...
Введение. Анализ исходных данных. Преобразование ЛСА в ГСА. Разработка УА с жёсткой логикой. Абстрактный синтез УА. Структурный синтез УА. УА с программируемой логикой. Заключение. Список используемой литературы. Приложения.
Пензенская ГТА. Специальность 230101.
УГАТУ. Преподаватель: Фрид А. И. Задание: Разработать и рассчитать сумматор с фиксированной запятой в дополнительном коде. Математическая модель - автомат Мура; элементарный базис – стрелка Пирса; на RST триггерах. Шаг 1. Вычислить разность порядков чисел А и В. Шаг 2. Проверить сумматор на переполнение. В случае переполнения вывести число с положительным порядком. Перейти к...
Université de Lille, 2008, -262 pp. During the past few years, several of us have been asked many times about references on finite tree automata. On one hand, this is the witness of the liveness of this field. On the other hand, it was difficult to answer. Besides several excellent survey chapters on more specific topics, there is only one monograph devoted to tree automata by...
Birkhäuser, 2004. -343 pp. The recent dramatic advances in biotechnology have led to an explosion of data in the life sciences at the molecular level as well as more detailed observation and characterization at the cellular and tissue levels. It is now absolutely clear that one needs a theoretical framework in which to place this data to gain from it as much information as...
Cambridge University Press, 1982. - 228 pages.
This is a self-contained, modern treatment of the algebraic theory of machines. Dr Holcombe examines various applications of the idea of a machine in biology, biochemistry and computer science and gives also a rigorous treatment of the way in which these machines can be decomposed and simulated by simpler ones. This treatment is...
Taylor & Francis, 2003. — 414 p. The volume discusses issues at the crossroads of molecular biology, linguistics, computer science and mathematics. The first section contains papers related to one of the fundamental concepts of the theory of formal languages, namely that of grammar. Results are presented in 'classical' as well as new and modern areas of grammar theory. The...
Springer, 2013. — 488 p. Control of discrete-event dynamic systems is the topic of this book. The aim is to provide an introduction to the field, starting at an elementary level and going to close to the current research front. The reader will find concepts, theorems, algorithms, and examples. Particularly addressed to Ph.D. students and junior researchers working on control of...
Издательство MIT Press, 1987, -279 pp.
In Greek mythology, the machinery of the universe was the gods themselves. They personally tugged the sun across the sky, delelivered rain and thunder, and fed appropriate thoughts into human minds. In more recent conceptions, the universe is created complete with its operating mechanism: once set in motion, it runs by itself. God sits...
М.: Институт Системного Программирования РАН. – 21 с.
Рассматривается применение теории конечных автоматов к проблеме тестиро-вания программ. Проблема сводится к тестированию конечного автомата. Описывается тестирование автоматов по графам состояний, фактор-графы, тестирование автоматов по фактор-графам и способы построения фактор-графов.
Данная работа поддержана грантами РФФИ...
Построение сети Петри. Содержит полный текст программы на языке Pascal в среде программирования Delphi. ЧГУ 2010, специальность 230105, преподаватель Ганичева О. Г.
Springer, 2006. — 444 p. In the world we live in concurrency is the norm. For example, the human body is a massively concurrent system, comprising a huge number of cells, all simultaneously evolving and independently engaging in their individual biological processing. In addition, in the biological world, truly sequential systems rarely arise. However, they are more common when...
Society for Industrial and Applied Mathematics, 2005, -268 pp. An automata network is a collection of automata connected together according to a directed graph D. The vertices of D are considered as automata and the edges indicate the existence of communication links. Thus D has no parallel edges. Each automaton can change its state at discrete time steps as a local transition...
Springer, 2002. — 355 p. A central aim of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific foundation is needed especially in the construction of reactive programs, like communication protocols or control systems. Characteristic features of such programs are the perpetual...
Springer, 2014. — 691 p. Language processors have become an inseparable part of our daily life. For instance, all the sophisticated modern means of communication, such as Internet with its numerous information processing tools, are based upon them to some extent, and indisputably, literally billions of people use these means on a daily basis. It thus comes as no surprise that...
Учебное пособие. — М.: Ай Пи Эр Медиа, 2023. — 155 с. В учебном пособии рассматриваются основные задачи теории автоматов, различные словесные определения автоматов и их формальная классификация, математические и структурные модели типовых автоматов, способы задания абстрактных и структурных автоматов. Изложены математические основы алгебры логики, некоторые понятия и...
Методические указания по выполнению курсового проекта. — Ульяновск: Ульяновский государственный технический университет (УлГТУ), 2006. — 31 с. Рассматриваются основные понятия формальных грамматик, приведены примеры разработки алгоритма и структурной схемы цифрового автомата, генератора тактовых импульсов, синтеза формирователя кода и др. Методические указания предназначены для...
Выходные данные не приведены. Автор не известен. — 21 с.
Введение.
Постановка задачи.
Математические и алгоритмические основы решения задачи.
Понятие конечного автомата.
Способы описания.
Детерминированность.
Автоматы и регулярные языки.
Функциональные модели и блок-схемы решения задачи.
Программная реализация решения задачи.
Пример выполнения программы.
Заключение....
Учебное пособие. — СПб.: СПбГУАП, 2000. — 119 с.: ил. — ISBN: 5-8088-0044-7. В пособии приводятся основные понятия теории алгоритмов, раскрывается связь между алгоритмами и вычислительными машинами и различия между процессами, протекающими в машинах Тьюринга и автоматах фон Неймана. Рассматриваются также основы теории конечных автоматов, формальные методы проектирования...
Разработка цифрового автомата Мили, обеспечивающего преобразование входной шести битовой последовательности Хвх в шести битовую выходную последовательность Yвых в соответствии с таблицей преобразования.
БГТУ Брянск, 2012 г.
Реализовано на MS VisualStudio 2010.
Теоретическая часть.
Индивидуальное задание.
Переход от право-линейной грамматики к автоматной.
Построение недетерминированного распознающего автомата.
Преобразование недетерминированного конечного автомата в детерминированный конечный автомат.
Минимизация автомата.
Список используемой литературы.
Скриншоты...
Целью данного проекта является разработка функциональной схемы конечного цифрового автомата, заданного аналитическим методом, анализ работы функциональной схемы конечного цифрового автомата в программе ELECTRONIC WORKBENCH, практическое закрепление теоретической части курса прикладной теории цифровых автоматов.
Саратов: ИСУ, 1988. - 184 с.
В книге изложены результаты исследований по построению общей аксиоматической теории распознавания автоматов, включающей распознавание автоматов с магазинной памятью, линейно-ограниченных автоматов и машин Тьюринга. Показывается алгоритмическая неразрешимость рассматриваемого класса задач и исследуется проблематика построения частных методов...
ЮУрГУ 2 курс, 30 страниц. Рассматривается преобразователь двоичного взвешенного кода 4311 в двоичный взвешенный код 7421 в двух вариантах: при параллельной подаче кода на вход логического автомата и при последовательной подаче разрядов кода на цифровой автомат с памятью. В первом случае минимизация выходных функций проведена по диаграммам Вейча. Во втором случае синтез...
Издательство Institute of Physics Publishing, Bristol, 2001, -399 pp.
This book aims to show how to design parallel processors from a massive pool of simple locally interacting uniform substances. Computing in excitable lattices, processing in chemical thin liquid layers and construction from amorphous swarms of social insects form the core subject of this volume which guides...
Springer, 2006. — 183 p. The close connection between automata and logic has ever been a fascinating subject of theoretical computer science. The origins of that area go back to BЁuchi and Elgot, who showed at the beginning of the 60’s that formulas from monadic second-order logic and finite automata have the same expressive power. Since then, a large amount of research has...
Издательство Academic Press, 1968, -132 pp. There is a growing interest in large computing systems which operate in a highly parallel manner, in computing machines which can construct copies or variants of themselves, and in models for biological reproduction. Cellular automata provide a common basis for investigations in all these areas. The major pioneering work in cellular...
Издательство Academic Press, 1968, -173 pp. This monograph is intended to provide a graduate student and a newcomer to the field with ideas, methods, and results of algebraic theory of automata ; nevertheless, people working in the area may find the book useful, too, especially the chapters about regular expressions and the decomposition theory of Krohn and Rhodes. The book can...
Springer, 1997. — 414 p. These are my lecture notes from CS381/481: Automata and Computability Theory, a one-semester senior-level course I have taught at Cornell University for many years. I took this course myself in the fall of 1974 as a first-year Ph.D. student at Cornell from Juris Hartmanis and have been in love with the subject ever since. The course is required for...
Издательство Cambridge University Press, 1985, -290 pp. The last twenty years have witnessed most vigorous growth in areas of mathematical study connected with computers and computer science. The enormous development of computers and the resulting profound changes in scientific methodology have opened new horizons for the science of mathematics at a speed without parallel...
Учебное пособие. - К.: ВЕК +, 2008. - 176 с. - ISBN: 966-7140-11-3. Учебное пособие посвящено вопросам реализации арифметических операций в цифровых. ЭВМ. Рассмотрены вопросы построения арифметических устройств различных типов и средств управления выполнением операций. Предложенные задания и даны рекомендации по организации практических и лабораторных занятий, представлены...
Ишимбай, Уфимский государственный авиационный университет, 2009, 20 с. Научный руководитель Мугафаров М. Ф. Введение. Постановка задачи. Построение таблицы поведения автомата и соответствующего графа. Кодирование данных. Нахождение системы булевых функций для возбуждения T-триггеров, реализующих функции ψ. Определение булевой функции для реализации функции φ. Составление...
М.: Энергоатомиздат, 1989. — 328 с. Изложены методы синтеза дискретных автоматов и систем на основе наиболее распространенных формализованных языков. Особое внимание уделено процессам управления как исходных условий для задания алгоритмов функционирования управляющих автоматов. Рассмотрены разновидности процессов управления и принципы их реализации на основе различных моделей...
По заданной содержательной схеме алгоритма в микрооперациях разработать функциональную схему управляющего автомата Мура, в качестве элементов памяти использовать D-триггеры, комбинационную схему реализовать на логических элементах. Дать оценку конструктивной сложности ЦА.
УГАТУ. Преподаватель: Фрид А. И. Задание: Разработать и рассчитать сумматор с фиксированной запятой в дополнительном коде. Математическая модель - автомат Мура; элементарный базис – стрелка Пирса; на RST триггерах. Усложнение задания: дано число в ПК, нужно перевести его в ДК, посчитать, ответ выдать в ПК.
Методические указания по выполнению лабораторных работ. — Автор и выходные данные не указаны. — 43 с. Методические указания содержат описания семи лабораторных работ. Реализация логических функций в различных базисах. Формы представления цифровых автоматов с памятью (автоматов Мили). Формы представления цифровых автоматов без памяти (автоматов Мура). Элементарные конечные...
Cambridge University Press, 2003. — 589 p. — ISBN: 978-0-521-82332-6. Uniting dozens of disparate results from different fields, this book combines concepts from mathematics and computer science to present the first integrated treatment of sequences generated by the simple model of computation called the finite automaton. The authors develop the theory of automatic sequences...
Springer, 2011. — 125 p. Since 2002, FoLLI, the Association for Logic, Language, and Information (www.folli.org), has awarded an annual prize for an outstanding dissertation in the fields of logic, language, and information. The prize is named after the well-known Dutch logician Evert Willem Beth, whose interdisciplinary interests are in many ways exemplary of the aims of...
Издательство IEEE Computer Society / John Wiley, 2012, -295 pp. The book presents knowledge structures for communications in humancomputer systems (HCS) based on general automata. The general automaton was considered basic in disciplining the natural language, in that knowledge to be communicated is about automata and histories of automata. The work of others on fi nite...
Cambridge University Press, 2010. — 630 p. — ISBN13: 978-0-521-85748-2. Topics in switching and finite automata theory have been an important part of the curriculum in electrical engineering and computer science departments for several decades. The third edition of this book builds on the comprehensive foundation provided by the second edition and adds: significant new material...
Springer, 2018. — 350 p. — (Emergence, Complexity and Computation ECC 27). — ISBN: 978-3-319-65556-7. This book explores Probabilistic Cellular Automata (PCA) from the perspectives of statistical mechanics, probability theory, computational biology and computer science. PCA are extensions of the well-known Cellular Automata models of complex systems, characterized by random...
Springer, 2000. — 919 p. Automata represent fundamental abstract models of computation. This book presents an introduction to them. It concentrates on their three basic types - finite automata, pushdown automata, and Turing machines. The present text demonstrates properties and power of these automata by examining languages that they define. Besides automata, this book also...
Издательство Elsevier, 2004, -420 pp. The theory of automata arose as an interdisciplinary field, with roots in several scientific domains including pure mathematics, electronics and computer science. This diversity is reflected in the material presented in this book which covers topics related to computer science, algebra, logic, topology and game theory. The elementary theory...
Cambridge University Press, 2003. — 784 p. Automata theory lies at the foundation of computer science, and is vital to a theoretical understanding of how computers work and what constitutes formal methods. This treatise gives a rigorous account of the topic and illuminates its real meaning by looking at the subject in a variety of ways. The first part of the book is organised...
Монография. — Гродно: ГрГУ, 2008. — 486 с. — ISBN: 978-985-515-020-7; ISBN: 978-9985-9508-4-5. В монографии рассматриваются основы теории классических однородных структур (ОС), представляющей собой базовую компоненту общей теории однородных структур (Cellular Automata): новую и весьма перспективную среду моделирования многих дискретных параллельных процессов, явлений и...
Методическое указание. — М.: Московский институт радиотехники, электроники и автоматики (МИРЭА), 1991. — 31 с. Алгоритмы процедурного типа. Операционные устройства. Блок-текст. Разработка функциональной схемы операционного автомата (ОА). Микропрограммирование. Определения. Каноническая структура операционного автомата. Оптимизация операционного автомата. Минимизация аппаратуры....
М.: Институт Системного Программирования РАН. – 60 с.
Рассматриваются конечные автоматы, отличающиеся от классического автомата Мили тем, что переход осуществляется либо по приему стимула (входного символа), либо по выдаче реакции (выходного символа), причем в каждом состоянии выбор одного из допустимых переходов недетерминирован. Такими автоматами являются автоматы с...
Учебное пособие по курсовому проектированию. — Йошкар-Ола: Поволжский государственный технологический университет, 2015. — 128 с. Приведены необходимые теоретические сведения, методика выполнения, варианты заданий и пример оформления курсовой работы. Для студентов направления подготовки 230100.62 «Информатика и вычислительная техника».
Учебное пособие. — Владимир: Владимирский политехнический институт (ВПИ), 1991. — 44 с. Рассматриваются вопросы функционирования и проектирования операционных устройств (композиции операционного и управляющего автоматов), реализующих задаваемую арифметическую операцию. Работа предназначена для студентов специальности 2201 дневной и вечерней форм обучения, но может быть...
Монография. — Донецк: Институт прикладной математики и механики НАН Украины, 2013. — 307 c. Монография посвящена разработке методов анализа семейств автоматов, заданных рекуррентными соотношениями на алгебраических структурах над конечным кольцом. Разработаны методы решения систем уравнений с параметрами над конечным кольцом. Построен решатель, предназначенный для проверки...
СПб.: КиТ, 2006. - 32 с.
Описывают применение SWITCH-технологии для организации работы с микроконтроллерами,
а также даются примеры на СИ. Описываются конечные автоматы Мура и Мили, а также смешанный автомат.
Разработан алгоритм умножения чисел в прямом коде в формате с плавающей запятой. разрядность операндов – мантисс M = 16, порядков P = 6; математическая модель – автомат Мили; элементный базис – Булевый базис; в качестве элементов памяти использовать D – триггеры; Угату, Фрид А.И., ВТиЗи, 2012, ВМ, 5 семестр.
Посібник для студентів I - II курсів, що вивчають курс "Дискретної математики". Даний посібник складається з одного розділу "Теоріі автоматів" та 35 додаткових завдань. Вся теорія детально описана, з наочними прикладами. Зміст Поняття скінченного автомата. Автоматне відображення Гомоморфізм, ізоморфізм і еквівалентність автоматиів Мінімальний автомат Автомати Мілі та автомати Мура
Cham: Springer Nature Switzerland, 2023. — 638 p. This book complements the authors’ monograph Cellular Automata and Groups [CAG] (Springer Monographs in Mathematics). It consists of more than 600 fully solved exercises in symbolic dynamics and geometric group theory with connections to geometry and topology, ring and module theory, automata theory and theoretical computer...
Amsterdam: Amsterdam University Press, 2008. — 737 p. — (Texts in logic and games, 2). — ISBN: 978-90-5356-576-6. Mathematical logic and automata theory are two scientific disciplines with a close relationship that is not only fundamental for many theoretical results but also forms the basis of a coherent methodology for the verification and synthesis of computing systems....
Springer, 2023. — 304 p. The main focus of the book is solvability of cellular automata, that is, expressing the state of a given cell after a given number of steps by an explicit formula. The author considers solutions of two types of initial value problems for cellular automata, the deterministic one and the probabilistic one. In the first chapter the basic concepts of...
Berlin: de Gruyter, 2022. — 246 p. Foreword Preliminaries Grammars and generating languages Regular expressions and regular languages Context-free grammars Context-sensitive grammars and unrestricted grammars Automata and accepting languages Turing machines Pushdown automata Finite automata Revisited: languages, grammars, automata Grammars versus automata Around the hierarchy...
Springer, 2001. — 442 p. The theory of finite automata on finite stings, infinite strings, and trees has had a distinguished history. First, automata were introduced to represent idealized switching circuits augmented by unit delays. This was the period of Shannon, McCullouch and Pitts, and Howard Aiken, ending about 1950. Then in the 1950s there was the work of Kleene on...
6th Edition. — Jones & Bartlett, 2017. — 450 p. — ISBN 9781284077247, 2015023479. An Introduction to Formal Languages and Automata, Sixth Edition provides an accessible, student-friendly presentation of all material essential to an introductory Theory of Computation course. Written to address the fundamentals of formal languages, automata, and computability, the text is...
Springer 2012. — 108 p. — (Springer Briefs in Complexity 1). — ISBN: 978-3-642-23477-4, 978-3-642-23476-7.
This Brief is an essay at the interface of philosophy and complexity research, trying to inspire the reader with new ideas and new conceptual developments of cellular automata. Going beyond the numerical experiments of Steven Wolfram, it is argued that cellular automata...
Издательство North Holland, 1991, -424 pp.
The subject of research in automata theory is a design of mathematical models describing methods of information transformation in digital systems. Automata theory is especially concerned with abstract models of systems working by means of discrete signals, known as digital signals. Special emphasis has been put on digital computers,...
Springer, 1997. — 217 p. In the last decades there has been a steadily growing need and interest in computational methods for solving optimization problems with or without constraints. They play an important role in many fields (chemistry, mechanic, electrical, economic, etc.). Optimization techniques have been gaining greater acceptance in many industrial applications. This...
New York: Pearson Prentice Hall, 2009. — 851 p. For upper level courses on Automata. Combining classic theory with unique applications, this crisp narrative is supported by abundant examples and clarifies key concepts by introducing important uses of techniques in real systems. Broad-ranging coverage allows instructors to easily customize course material to fit their unique...
Cambridge: Cambridge University Press, 2022. — 375 p. Automatic sequences are sequences over a finite alphabet generated by a finite-state machine. This book presents a novel viewpoint on automatic sequences, and more generally on combinatorics on words, by introducing a decision method through which many new results in combinatorics and number theory can be automatically...
2nd Edition, 2020. — 131 p. — ISBN N/A, ASIN B08R45M11D. Формальный язык и теория автоматов Книга содержит подробный обзор всех тем, связанных с теорией вычислений, упомянутых в программах B.E., M.C.A. и M.Sc. (Компьютерные науки) различных университетов. Достаточное количество теоретических данных, подкрепленных рядом иллюстраций, включено для тех, кто глубоко интересуется...
Издательство University of Illinois Press, 1966, -403 pp. Работы знаменитого математика Джона фон Неймана по структуре, синтезу и поведению конечных автоматов с предисловием А. Буркса Editor's introduction Part one. Theory and organization of complicated automata Part two. The theory of automata: construction, reproduction, homogeneity General considerations A system of 29...
Издательство World Scientific, 1996, -287 pp. The growth of interest in the study of complex systems which has occurred over the past twenty five years is a prime example of the explosive development of an idea whose time has come. The data processing capacities of modem computers have made possible work that could not even be imagined before their invention. For the...
Зміст Вступ Аналіз логічного ланцюга Синтез комбінаційної схеми Синтез комбінаційної схеми в заданому базисі І-НЕ Технічна реалізація комбінаційної схеми в заданому базисі І-НЕ Висновок Список використаної літератури Черкаський державний технологічний університет Кафедра спеціалізованих комп’ютерних систем ст.викладач Бойко Т.А. 2 курс 2 семестр кількість сторінок(20)
Навч. посібник. — Суми: Сумський державний університет, 2016. — 354 с. Викладено основні поняття й теоретичні положення дискретного аналізу, методи побудови математичних моделей цифрових та керуючих скінченних автоматів, функціонально орієнтованих на застосування в задачах розроблення технічних засобів автоматики та управління в комп’ютеризованих інформаційно-керуючих системах....
А.Г. Астановский, В.И. Варшавский, В.Б. Мараховский, В.А. Песчанский, Л.Я. Розенблюм, Н.А. Стародубцев, Р.Л. Финкельштейн, Б.С. Цирлин. — М.: Наука, 1976. — 424 с. — (Теоретические основы технической кибернетики). В книге предлагается новый подход к построению дискретных вычислительных и управляющих устройств, базирующийся на использовании так называемых апериодических...
Монография. — М.: Наука, Главная редакция физико-математической литературы, 1966. — 272 с.: ил. В монографии излагаются новые методы исследования вырожденных задач теории оптимальных процессов, связанных с особыми управлениями и скользящими режимами. Такие задачи часто встречаются в проблемах космической навигации, динамики полета и т.д. Принцип максимума и многие другие...
Рассмотрено поведение детерминированного автомата Мили, Определить булевую функцию, Нашли систему булевых функций для возбуждения JK-триггера, Составили логическую схему автомата. УГАТУ. 3 курс.
М.: Энергоиздат, 1981. — 168 с., ил. В популярной форме излагаются элементарные сведения по теории игр и идеи, лежащие в основе работы автоматов игрового типа. Приводятся схемы и описания конструкций простых кибернетических устройств (играющих автоматов), рекомендуемых для самостоятельного изготовления в любительских условиях. Для широкого круга читателей, интересующихся...
М.: Изд-во Моск. ун-та, 1985. — 174 с. Теория автоматов представляет собой раздел теории управляющих систем, изучающий математические модели преобразователей дискретной информации, называемые автоматами, прототипами которых являются различные реальные устройства. Предлагаемая книга содержит достаточно обширный материал по теории абстрактных автоматов и посвящена рассмотрению...
Москва: Издательство Московского университета, 1985. — 174 с. Теория автоматов представляет собой раздел теории управляющих систем, изучающий математические модели преобразователей дискретной информации, называемые автоматами, прототипами которых являются различные реальные устройства. Предлагаемая книга содержит достаточно обширный материал по теории абстрактных автоматов и...
Яросл. гос. ун-т им. П. Г. Демидова. — Ярославль : ЯрГУ, 2012. — 81 c. — ISBN: 978-5-8397-0893-8. Монография посвящена автоматным счетчиковым машинам и тем формальным языкам, которые способны распознавать/задавать эти абстрактные математические машины. Приведенные здесь результаты представляют интерес как для теории формальных моделей вычислений, так и для теории формальных...
Учебное пособие. — Иркутск: ИрГУПС, 2018. — 72 с. В учебном пособии рассматриваются вопросы анализа и синтеза управляющих автоматов сложных технических систем реального времени. Новая теория синтеза автоматов основана на предварительном преобразовании операторной схемы алгоритма управления за счет ввода пустых операторов в отдельные ветви граф-схем. Преобразование алгоритмов или...
Ленинград: Энергоатомиздат, 1984. — 113 с. Книга посвящена вопросам синтеза дискретных автоматов, обладающих свойством обнаружения отказов в процессе функционирования. Излагаемые методы синтеза основаны на применении для кодирования состояний автоматов кодов с постоянным весом. Описываются способы реализации самоконтролирующихся контрольных схем. Синтезированы типовые узлы...
Ленинград: Энергия, 1980. — 97 с. В книге рассматриваются методы синтеза конечных асинхронных автоматов, устойчивых к состязаниям и отказам внутренних элементов. Эти методы становятся все актуальнее в связи с увеличением сложности дискретных систем управления. Описываются способы упрощения логического преобразователя за счет оптимального кодирования состояний. Достоинством книги...
Целью данного проекта является разработка функциональной схемы конечного цифрового автомата, заданного аналитическим методом, анализ работы функциональной схемы конечного цифрового автомата в программе ELECTRONIC WORKBENCH, практическое закрепление теоретической части курса прикладной теории цифровых автоматов.
Translated from the Russian edition: Scripta Technica, Inc. — Academic Press, 1971. — 444 p. — (Mathematics in Science and Engineering 79). — ISBN 0-120463504, 978-0-120463503. This book deals with the general theory of finite automata and sequential machines, a subject of great current theoretical and practical importance and one likely to have an even greater impact in the...
John Wiley, 2004. — 304 p. Are we witnessing a revolution in urban geography? The answer to that question is almost certainly that, yes, we are. That is a bold statement to make. But, let’s consider the evidence. During the last four decades, a volume of research on topics of urban geography has been conducted—everything from the geography of urban graveyards to the evolution...
AMS, American Mathematical Society, 2024. — 228 p. — (Student Mathematical Library, Volume: 108). — eBook ISBN 978-1-4704-7670-0. This textbook offers a rigorous mathematical introduction to cellular automata (CA). Numerous colorful graphics illustrate the many intriguing phenomena, inviting undergraduates to step into the rich field of symbolic dynamics. Beginning with a brief...
Издательство Marcel Dekker, 2003, -386 pp. Graph algebras possess the capacity to relate fundamental concepts of computer science, combinatorics, graph theory, operations research, and universal algebra. They are used to identify nontrivial connections across notions, expose conceptual properties, and mediate the application of methods from one area toward questions of the...
Издательство North Holland, 1963, -342 pp. In recent years, intensive work has been in progress at a number of centres to develop and apply various automatic digital systems for information processing. Such systems form the basis of digital computers, various control devices operating to a specified algorithm, and of models which simulate the activity of a living organism...
Издательство North Holland, 1991, -425 pp.
The subject of research in automata theory is a design of mathematical models describing methods of information transformation in digital systems. Automata theory is especially concerned with abstract models of systems working by means of discrete signals, known as digital signals. Special emphasis has been put on digital computers,...
Springer, 1989. — 268 p. The subject of the sixteenth School is the theory of finite automata and its applications. However two important parts of this theory are not treated in this volume, because they were already the subject of two earlier Spring Schools : "Automata on infinite words" (Spring School 1984) and "Automata Networks" (Spring School 1986). The proceedings have...
Paris: EMS Press, 2021. — 714 p. — ISBN 978-3-98547-006-8, 978-3-98547-003-7. Automata theory is a subject of study at the crossroads of mathematics, theoretical computer science, and applications. In its core it deals with abstract models of systems whose behaviour is based on transitions between states, and it develops methods for the description, classification, analysis,...
Basel: Birkhauser, 1994. — 237 p. The study of the connections between mathematical automata and for mal logic is as old as theoretical computer science itself. In the founding paper of the subject, published in 1936, Turing showed how to describe the behavior of a universal computing machine with a formula of first order predicate logic, and thereby concluded that there is no...
Учебно-методическое пособие. — Саратов: Государственный учебно-научный центр (ГосУНЦ) Колледж, 2003. — 24 с. В лабораторной работе описывается краткая теория клеточных автоматов, дается описание лабораторных работ, формулируются контрольные вопросы и задания для выполнения работ. Предназначено для студентов факультета компьютерных наук и информационных технологий, факультета...
Учебное пособие. — Томск: Томский государственный университет, 2011. — 172 с. В пособии изложены основные понятия теории автоматов, рассмотрены этапы проектирования дискретного устройства: построение функциональной модели, минимизация числа состояний автомата, синтез логической сети, кодирование состояний, тестирование комбинационной схемы. Каждый раздел сопровождается...
Н. Новгород: Нижегородский госуниверситет, 2017. — 60 с. В учебно-методическом пособии рассматриваются основные теоретические понятия и алгоритмы, относящиеся к контекстно-свободным языкам, автоматам с магазинной памятью и синтаксическому анализу. Изучение каждой темы сопровождается необходимым теоретическим материалом и примерами решения типовых задач. Предлагаются также...
Учебное пособие. — М.: Академия имени Н.Е. Жуковского, 2020. — 76 с. — ISBN 978-5-907275-15-7. Учебное пособие издается в соответствии с рабочей программой учебной дисциплины «Теория автоматов» по учебному плану для студентов I и II курсов направления «Информатика и вычислительная техника» очной формы обучения. Данное учебное пособие позволит студентам изучить разделы,...
Рассмотрено поведение детерминированного автомата Мили, Определить булевую функцию, Нашли систему булевых функций для возбуждения JK-триггера, Составили логическую схему автомата. УГАТУ. 3 курс.
31 слайда. Бандман О.Л., Нечаева О.И., Бессмельцев М.В. Содержание: Примеры КА-моделей и их композиций. Рассмотрение конкретных КА-моделей в гидродинамике, поверхностной химии, биологии, кинетике и синтезе наносистем и др. Вычислительные свойства клеточных автоматов.
Нижегородский государственный технический университет им. Р.е.алексеева, Институт радиоэлектроники и информационных технологий, Кафедра информатики и систем управления, Нижний Новгород, 2015. - 15 с. Дисциплина - ЭВМ и периферийные устройства Введение. Абстрактный синтез автомата. Задание. Граф-схема алгоритма автомата (ГСА). Структурный синтез автомата. Граф автомата Мили для...
Процессы. Операции над процессами. Протоколы процессов. ЧГУ 2010, специальность 230105, преподаватель Ганичева О. Г. Содержит полный текст программы на языке Lisp в среде программирования XLisp.
Berlin: Springer, 2013. — 327 p. Reaction-diffusion and excitable media are amongst most intriguing substrates. Despite apparent simplicity of the physical processes involved the media exhibit a wide range of amazing patterns: from target and spiral waves to travelling localisations and stationary breathing patterns. These media are at the heart of most natural processes,...
Springer, 2007. — 120 p. Finite State Machine Datapath Design, Optimization, and Implementation explores the design space of combined FSM/Datapath implementations. The lecture starts by examining performance issues in digital systems such as clock skew and its effect on setup and hold time constraints, and the use of pipelining for increasing system clock frequency. This is...
6th International Conference, LATA 2012. A Coruña, Spain, March 5-9, 2012. Proceedings. — Springer-Verlag Berlin Heidelberg, 2012. — 565 p. — ISBN 978-3-642-28331-4, e-ISBN 978-3-642-28332-1 These proceedings contain the papers that were presented at the 6th International Conference on Language and Automata Theory and Applications (LATA 2012), held in A Coruña, Spain, during...
Издательство Morgan & Claypool, 2006, -114 pp. This monograph presents the timed input/output automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed (computing) systems. Timed systems are systems in which desirable correctness or performance properties of the system depend on the timing of events, not just on the order...
Springer, 2004. — 315 p. — ISBN: 978-3-642-05948-3. This book is an introduction to finite model theory which stresses the computer science origins of the area. In addition to presenting the main techniques for analyzing logics over finite models, the book deals extensively with applications in databases, complexity theory, and formal languages, as well as other branches of...
World Scientific, 2023. — 437 р. — ISBN 978-9811278129. This book provides an in-depth analysis of classical automata theory, including finite automata, pushdown automata, and Turing machines. It also covers current trends in automata theory, such as jumping, deep pushdown, and regulated automata. The book strikes a balance between a theoretical and practical approach to its...
World Scientific Publishing, 2025. — 347 p. This unique comprehensive compendium provides extensive studies on reversible cellular automata (RCAs), exhibiting a wide range of interesting phenomena similar to the Game-of-Life, a well-known irreversible CA. The useful reference text also introduces innovative approaches to constructing universal computers in a reversible cellular...
Springer, 1985. — 221 p. This volume contains the texts of the conferences given at the "Ecole de Printemps d'lnformatique Theorique" held at le Mont Dore in May 1984, It was organized jointly by A. Arnold, L. Kott, M. Nivat. F. Rodriguez and myself and gathered a hundred participants. This Spring School is an event which takes place each year in variable places of France. The...
Paris: Jean-Eric Pin, 2016. - 327 p.
These notes form the core of a future book on the algebraic foundations of automata theory. This book is still incomplete, but the first eleven chapters now form a relatively coherent material, covering roughly the topics described below.
Springer, 2018. — 471 p. — ISBN: 978-3-319-72427-0; ISBN: 978-3-319-72428-7. This book collects recent theoretical advances and concrete applications of learning automata (LAs) in various areas of computer science, presenting a broad treatment of the computer science field in a survey style. Learning automata (LAs) have proven to be effective decision-making agents, especially...
InTech, 2013. — 198 p. Cellular automata have become a core subject in the sciences of complexity due to their conceptual simplicity, easiness of implementation for computer simulation, and ability to exhibit a wide variety of amazingly complex behavior. These features of cellular automata have attracted the researchers attention from a wide range of divergent fields of...
Издательство World Scientific Publishing, 2001, -164 pp. In the past half century, automata theory has been established as one of the most important foundations of computer science, and its applications have spread to almost all areas of computer science. Research in automata theory and related areas has also reached a crucial point where researchers are searching for new...
CRC Press, 2023. — 132 p. — eBook ISBN: 978-1-003-41580-0. Providing a comprehensive overview of the modeling of complex systems, with particular emphasis on the collective aspects of these systems, this book situates itself at the forefront of available literature. Exemplifying practically Wolfram’s theses found in A New Kind of Science, discussions center on where it is best...
Учебно-методическое пособие. — М: Российский университет транспорта (РУТ МИИТ), 2019. — 75 с. В учебно-методическом пособии к курсовому проектированию по дисциплине «Теория дискретных устройств» приведены этапы структурного синтеза конечных автоматов с памятью, содержатся теоретические материалы по общей теории цифровых автоматов, приведены варианты для выполнения курсового...
М.: Интуит, 2016. — 90 с. Приводятся начальные сведения об абстрактных автоматах Мили и Мура. Даются возможные способы представления автоматов: теоретико-множественное, графовое, табличное и матричное, понятия реакции автомата и эквивалентных автоматов. Приводятся методы взаимного эквивалентного преобразования автоматов. Приводятся общие сведения о микропрограммном управлении,...
Учебное пособие. — М.: Московский государственный технический университет гражданской авиации (МГТУ ГА), 2015. — 28 с. Данное пособие по выполнению практических занятий издается в соответствии с рабочей программой учебной дисциплины "Теория автоматов" по учебному плану для студентов I курса направления 09.03.01 "Информатика и вычислительная техника" очной формы обучения....
Угату, Курсовой проект, вариант 4, преподаватель Фрид А. И. Разработать и построить алгоритм сложения числа в коде 8421, в обратном коде в формате с фиксированной запятой. Разработать блок-схему, граф-схему автомата, функциональную схему операционной части автомата. В качестве элементов памяти использовать D-триггеры. Построить логическую схему в базисе «Штрих Шеффера»....
Выходные данные не приведены. Автор не известен. — 6 с. Определение ЦА. Основные понятия теории автоматов: ЦА конечные, синхронные, асинхронные, идеализированные, абстрактные, структурные. Абстрактная и структурная теория автоматов. Варианты ЦА Автоматы Мили и Мура. С-автомат. Автомат без памяти. Автономный автомат. Автомат без выхода. Управляющие и операционные автоматы....
Springer, 2013. — 327 p. This book is about small universal cellular automata in hyperbolic spaces. As the subtitle suggests, it has an aesthetic side which, I hope, the reader will appreciate. This aesthetic aspect was one part of the motivations for me to tackle this topic and to persevere in the task. I remember that at the beginning of my carrier, more than forty years ago,...
New Delhi: PHI Printing, 2008. — 434 p. This Third Edition, in response to the enthusiastic reception given by academia and students to the previous edition, offers a cohesive presentation of all aspects of theoretical computer science, namely automata, formal languages, computability, and complexity. Besides, it includes coverage of mathematical preliminaries. NEW TO THIS...
New Delhi: Cambridge University Press India Private Limited, 2008. — 622 p. — ISBN: 9788175965454. A Textbook on Automata Theory has been designed for students of computer science. Adopting a comprehensive approach to the subject, the book presents various concepts with adequate explanations. The logical and structured treatment of the subject promotes better understanding and...
Paris: EMS Press, 2021. — 898 p. — ISBN 978-3-98547-006-8, 978-3-98547-002-0. Automata theory is a subject of study at the crossroads of mathematics, theoretical computer science, and applications. In its core it deals with abstract models of systems whose behaviour is based on transitions between states, and it develops methods for the description, classification, analysis,...
Alpha Science International, Ltd, 2020. — 201 p. The book is written for the current generation of students who expect a keep it simple' approach. Concepts are explained in an easy to understand, stepwise manner. - Solved examples from previous years' question papers are included. - Helps the students to feel comfortable and confident while learning the subject. - Helps the...
Springer, 1989. — 167 p. There are two main approaches to a theory of concurrent distributed computations: the theory of Petri nets and the Milner/Hoare theory of CCS/CSP. They are based on different philosophies and emerged from two different classical notions of computability. The Petri net approach developed (in the early 60s) from the ideas around Turing machines and...
Springer, 2021. — 377 p. — (Studies in Systems, Decision and Control 307). — ISBN: 978-3-030-53140-9. This book highlights both theoretical and applied advances in cellular learning automata (CLA), a type of hybrid computational model that has been successfully employed in various areas to solve complex problems and to model, learn, or simulate complicated patterns of behavior....
Томск: из-во Томского ун-та, 1985. — 129 с. Основное содержание книги составляют результаты авторов, относящиеся к характеризации декомпозиций конечных автоматов в классе сетей без обратных связей, установлению необходимых и достаточных условий существования нетривиальных таких декомпозиций и к оценке сложности каскадных декомпозиций автоматов на перестановочно-возвратные...
М.: Наука, 1966. — 272 с. — (Теоретические основы технической кибернетики). Предлагаемая книга Артура Гилла — доктора наук по электротехнике, преподавателя Калифорнийского университета — содержит систематическое изложение основных вопросов теории конечных автоматов. Особое внимание в книге уделено методам анализа. Вопросы синтеза конечных автоматов здесь не рассматриваются....
Монография. — М.: Наука, Главная редакция физико-математической литературы, 1966. — 272 с.: ил. В монографии излагаются новые методы исследования вырожденных задач теории оптимальных процессов, связанных с особыми управлениями и скользящими режимами. Такие задачи часто встречаются в проблемах космической навигации, динамики полета и т.д. Принцип максимума и многие другие...
Синтезировать функциональную схему мажорирующего элемента для устройства мажоритарного контроля шестиразрядных слов, которые поступают на мажорирующий элемент с трех идентичных узлов (устройств). Реализацию выполнить на элементах базиса Шеффера.
СФУ ИКИТ, Красноярск, Кузенков М.В., 1 вариант, 11 стр., 2010г., 3 курс Название дисциплины: "Теория автоматов" Задания №1 и №4 из учебного пособия "Теория автоматов и машинная арифметика" Постников А.И., Вейсов Е.А. Позиционные системы счисления. Перевод чисел. Минимизация системы ФАЛ и реализация дешифратора для семисегментного индикатора.
Учеб. для вузов по спец. ЭВМ. — М.: Высшая школа, 1987. — 272 с., ил. В книге излагаются способы представления информации в цифровых автоматах, методы выполнения арифметических и логических операций в них, а также методы логического описания и основанные на них методы логического проектирования цифровых устройств. Уделяется внимание разработке способов контроля правильности...
СПб.: Супер Издательство, 2022. — 193 с. — ISBN 978-5-9965-2221-7. Книга описывает новые методы построения моделей программируемых логических автоматов (процессоров) в виде принципиальных логических схем и написана для читателей, интересующихся системами и устройствами программного управления и цифрового регулирования различными объектами, с использованием программируемых...
USA. Lulu Press, 2018. — 410 p. In the book we present certain results of the work we have done in the theory of Classical Cellular Automata (CA). At present, these results form an essential constituent of the CA-problematics. In particular, we have studied such problems as the nonconstructability problem in the CA, the decomposition problem of global transition functions in...
New York: Wiley-ISTE, 2013. - 161 p. This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specification and verification of timed concurrent systems and, in particular, timed automata as well as several extensions such as timed automata...
Диссертация, École Polytechnioue Fédérale de Lausanne, 2002, -172 pp. Nature abounds in examples of cellular systems. From ant colonies to cellular tissues, from molecular systems to the human brain, cellularity seems to be the way Nature operates. The brain, surely one of the most complex objects to be found on earth, is the quintessence of a cellular system: a huge number of...
Springer, 1988. — 131 p. This volume contains the proceedings of the Fourteenth Spring School of the LITP (Laboratoire d'Informatique Theorique et de Programmation, Universite Paris VI-VII, CNRS) held May 12-16, 1986 in Argeles-Village on the French Catalan coast. This meeting was organized by M. Nivat, F. Robert, P. Salle and myself and gathered a hundred participants. The...
University of Petrol-Gaze, 2013. - 212 c.
In primul capitol sunt reamintite principalele proprietăţi şi caracteristici ale sistemelor automate, câteva aspecte esenţiale privind locul, rolul şi clasificarea sistemelor automate, sunt prezentate definiţia şi rolul disciplinei Teoria sistemelor automate în pregătirea profesională a studenţilor automatişti de la ciclul licenţă. In...
Springer, 2000. — 181 p. This book is a product of a personal research odyssey that started in the late 1980s. From the word go, my interest in Cellular Automata exceeded the mere academic. As an engineer my thoughts have centered on how to put these fascinating dynamical systems into serious use. Since the pioneering thoughts of von Neumann in the 1940s and those of Ulam and...
Издательство Heriot-Watt University, 2009. — 194 p.
The theory of finite automata is the mathematical theory of a simple class of algorithms that are important in mathematics and computer science. Three papers laid the foundations of finite automata theory: Turing’s 1936 paper [49] in which algorithmic problems are defined as those which can be solvedby mechanical means in terms of...
Chapman & Hall, CRC Press, 2002. — 553 p. In 1965, L. A. Zadeh introduced the notion of a fuzzy subset of a set as a method for representing uncertainty. His ideas have been applied to a wide range of scientific areas. One such area is automata theory and language theory first introduced by W. G. Wee in [249]. This is the area that is dealt with in this book. Our purpose is to...
The MIT Press, 2005. — 283 p. — ISBN10: 0262661918; ISBN13: 978-0262661911. Combining storytelling and brilliant exposition in the Enlightenment tradition, Christos Papadimitriou's Turing is at once a moving postmodern love story and one of the best introductions to theoretical computer science available, an enchanting offer to the intelligent reader.
Springer, 2010. — 213 p. The aim of the thesis is to exploit different classes of (sequential and tree) automata for modeling and reasoning on infinite complex systems. The leitmotif underlying the results provided herein is that, given any infinite complex system (e.g., a computer program) to be verified against a finite set of properties, there often exists a simpler system...
Springer, 1978. — 184 p. This book develops a theory of formal power series in noncommuting variables, the main emphasis being on results applicable to automata and formal language theory. This theory was initiated around 1960—apart from some scattered work done earlier in connection with free groups—by M. P. Schutzenberger to whom also belong some of the main results. So far...
Springer Spektrum Wiesbaden, 2022. — 190 p. — (BestMasters). — eBook ISBN 978-3-658-39323-6 The main objective of this work is to represent the behaviors of weighted automata by expressively equivalent formalisms: rational operations on formal power series, linear representations by means of matrices, and weighted monadic second-order logic. First, we exhibit the classical...
Томск: из-во Томского ун-та, 1983. — 156 с. Книга посвящена проблеме логического проектирования больших интегральных схем из элементов с управляемой проводимостью, типичным примером которых может служить МДП-транзистор. В ней разрабатывается необходимый математический аппарат.
СПб.: Университет ИТМО, 2019. — 142 с. Учебное пособие охватывает различные аспекты верификации вычислительных процессов, реализованных аппаратно, на уровне логических схем (часть 1) и программно (часть 2). В данной части приведено обоснование важности верификации проектов, даны определения формальной и функциональной верификаций вычислительных процессов, их валидации....
Методические указания. — Курск: Курский государственный технический университет (КГТУ), 2005. — 20 с.: ил. Излагаются методические указания к выполнению курсового проекта по дисциплине "Схемотехника ЭВМ" для проектирования операционного блока цифрового вычислительного устройства. Определены цели и задачи курсового проекта, приведены рекомендации по разработке дискретного...
Лабораторный практикум. — СПб.: Санкт-Петербургский государственный университет аэрокосмического приборостроения (СПб ГУАП), 2018. — 111 с. — ISBN 978-5-8088-1. Содержатся теоретические и практические сведения, необходимые для выполнения лабораторных работ по дисциплине «Теория автоматов», связанных с абстрактным синтезом автоматов. При выполнении работ используется программный...
Навчальний посібник. — Запоріжжя: Запорізький національний технічний університет (ЗНТУ), 2010 — 196 с. — ISBN 978-617-529-026-2. Розглянуто основи теорії інформації і кодування, системи числення і арифметика двійкових чисел. Викладено введення в алгебру логіки висловлювань, найбільш використовувані методи мінімізації функцій алгебри логіки. Розглянуто основні поняття теорії...
Выходные данные не приведены. Вишняков Ю.М. — 4 с.
Введение.
История.
Система переходов.
СП элементарных РВ.
Алгоритм проверки непротиворечивости СРВ.
Проверочная таблица.
Список литературы.
World Scientific, 2012. — 673 p. Automata theory has come into prominence in recent years with a plethora of applications in fields ranging from verification to XML processing and file compression. In fact, the 2007 Turing Award was awarded to Clarke, Emerson and Sifakis for their pioneering work on model-checking techniques. To the best of our knowledge, there is no single...
Springer International Publishing, Switzerland, 2015. — 341 p. — (Texts in Theoretical Computer Science. An EATCS Series) — ISBN: 9783319214900. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to compose them, and to prove properties they enjoy. The rest of the book relies on...
Cham : Springer International Publishing, 2019. — 55 p. — ISBN: 978-3-030-10883-0. This book examines the intelligent random walk algorithms based on learning automata: these versions of random walk algorithms gradually obtain required information from the nature of the application to improve their efficiency. The book also describes the corresponding applications of this type...
New York: Springer, 2012. — 311 p. The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. The authors tackle this problem by solving abstract equations over a language. The most general solutions are studied when both synchronous and parallel...
Springer International Publishing AG, 2017. — 245 p. — (Lecture Notes in Mathematics 2188) — ISBN: 978-3-319-61598-1. Adopting a new universal algebraic approach, this book explores and consolidates the link between Tarski's classical theory of equidecomposability types monoids, abstract measure theory (in the spirit of Hans Dobbertin's work on monoid-valued measures on Boolean...
Лабораторный практикум. — Самара: Самарский государственный технический университет, 2013. — 170 с. В лабораторном практикуме изложена методика выполнения работ по освоению практических навыков исследования и моделирования на ЭВМ цифровых автоматов различных типов. Дается краткий теоретический материал, необходимый для выполнения лабораторных работ. Практикум предназначен для...
М.: Наука, 1971. — 512 с. — (Теоретические основы технической кибернетики). Книга посвящена проблеме автоматизации синтеза дискретных автоматов, решаемой на базе системы автоматического программирования, в основу которой положен алгоритмический язык ЛЯПАС (логический язык представления алгоритмов синтеза). Книга содержит детальное и достаточно популярное описание языка ЛЯПАС....
Доклад на тему "Проблема принадлежности слова языку и алгоритм ее решения, лемма о накачке для регулярных языков".
Доклад включает в себя: титульный лист, основную часть, список литературы. Всего 7 страниц, 1135 слов
Методические указания. — Нижний Новгород: Нижегородский государственный технический университет (НГТУ) имени Р.Е. Алексеева, 2012. — 23 с. Методические указания к выполнению курсовой работы для студентов направления 230100 "Информатика и вычислительная техника" по профилю "Автоматизированные системы обработки информации и управления". Основные понятия теории автоматов....
Trasl. from the Rus.: Scripta Technica, Inc. — Academic Press, 1971. — 444 p. — (Mathematics in Science and Engineering, 79). — ISBN 0-120463504, 978-0-120463503. In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems. A number of computing techniques are considered, such as methods of operator approximation...
Universidad Nacional Abierta y a Distancia, 2008. — 143 p. Autómatas y lenguajes formales es un curso de carácter teórico, que se inscribe en el campo de formación profesional básico del Programa de Ingeniería de Sistemas con un valor académico de tres créditos. El estudiante en el desarrollo de este curso demuestra la asimilación de los conceptos y mecanismos fundamentales...
Berlin: Springer, 2011. - 363p. This Festschrift volume is published in honor of Symeon Bozapalidis on the occasion of his retirement after more than 35 years of teaching. The topics covered are: weighted automata over words and trees, tree transducers, quantum automata, graphs, pictures and varieties of semigroups. Since 1982 -- at the Aristotle University of Thessaloniki --...
Cambridge: Cambridge University Press, 2023. — 267 p. Formal languages and automata have long been fundamental to theoretical computer science, but students often struggle to understand these concepts in the abstract. This book provides a rich source of compelling exercises designed to help students grasp the subject intuitively through practice. The text covers important...
Article (english). - 29 p.
The intention of the paper is to show the applicability of the general categorical framework of open maps to the setting of two models – higher dimensional automata (HDA) and timed higher dimensional automata (THDA) – in order to transfer general concepts of equivalences to the models. First, we define categories of the models under consideration,...
Springer, 2018. — 471 p. — ISBN: 978-3-319-72427-0; ISBN: 978-3-319-72428-7. This book collects recent theoretical advances and concrete applications of learning automata (LAs) in various areas of computer science, presenting a broad treatment of the computer science field in a survey style. Learning automata (LAs) have proven to be effective decision-making agents, especially...
Cham : Springer International Publishing, 2019. — 55 p. — ISBN: 978-3-030-10883-0. This book examines the intelligent random walk algorithms based on learning automata: these versions of random walk algorithms gradually obtain required information from the nature of the application to improve their efficiency. The book also describes the corresponding applications of this type...
Издательство Luniver Press, 2005, -174 pp. Proceedings of the 2005 Workshop on Unconventional Computing For more than half a century, the von Neumann computer architecture (i.e., the stored program concept) and the abstract concept of the Turing machine have largely dominated computer science in many variants and refinements. One might certainly ask — how the future of these...
Диссертация на соискание степени кандидата физико-математических наук. 01.01.09 — Дискретная математика и математическая кибернетика. — Казанский (Приволжский) федеральный университет. — Казань, 2022. — 98 с. Научный руководитель: кандидат физико-математических, доцент Васильев А.В. Цель исследования. Диссертационная работа исследуют квантовые хэш-функции, ориентированные на...
Л.: Энергия, 1974. — 216 с.: ил. Книга посвящена комплексным вопросам формализации синтеза дискретных управляющих устройств от описания их работы на языке граф-схем алгоритмов до получения функционально-логических схем. Особый упор делается на изложении методов, удобных в инженерной практике и позволяющих строить микропрограммные автоматы реальной степени сложности, содержащие...
М.: Энергия, 1974. — 240 с.: ил. Цифровые автоматы с настраиваемой структурой (АНС) на базе однородных сред (ОС) представляют собой новый класс схем, состоящих из однотипных элементов, соединенных между собой одинаковым образом. Однотипность элементов и связей между ними повышают технологичность и экономичность изготовления структур методами интегральной технологии...
Москва: Московский государственный университет (МГУ) имени М.В. Ломоносова, 1978. — 216 с. Теория автоматов представляет собой раздел теории управляющих систем, изучающий математические модели преобразователей дискретной информации, называемые автоматами. Книга рассчитана на студентов, аспирантов и научных сотрудников, желающих ближе ознакомиться с теорией автоматов.
Лабораторный практикум. — Красноярск: Сибирский федеральный университет, 2012. — 87 с. Ддано описание программного обеспечения, использующегося при выполнении лабораторных работ: программы ModLogic, предназначенной для моделирования функциональных логических комбинационных схем и автоматов, эмулятора управляющих автоматов с программируемой логикой, программной модели...
Статья. — Вестник науки и образования Северо-Запада России. — 2019. — Т. 5. — № 4. — C. 65–75. Одним из выдающихся основоположников «Искусственного интеллекта», создателем кибернетики, которую трактовал как общую теорию автоматов, является Дж. Фон Нейман. Он был членом Национальной академии наук США, принимал личное участие в создании первых электронных цифровых машин. Им...
A Thesis Submitted for the Degree of Candidate of Physical and Mathematical Sciences. : 05.13.17 — Theoretical Foundations of Computer Science. — Ural Federal University named after the first President of Russia B.N.Yeltsin. — Ekaterinburg. 2020. — 160 P. Supervisor: Doctor of Physical and Mathematical Sciences Professor Volkov Mikhail Vladimirovich. In the design of the...
Department of Electrical Engineering ESAT-SCD (SISTA) Katholieke Universiteit, Leuven, Belgium. 2008. — 99 pp. In this paper, we give an elaborate and understandable review of traffic cellular automata (TCA) models, which are a class of computationally efficient microscopic traffic flow models. TCA models arise from the physics discipline of statistical mechanics, having the...
University of Göttingen, 2010. — 144 p. Up-to-date software systems are often modular and need to be changeable. While modularity is believed to reduce software production costs, it also leads to increased difficulty in testing, as the future uses of a module are getting more varied and therefore harder to guess. Also, reused modules are often represented as black boxes, whose...
Киев: Наукова думка, Академия наук Украинской ССР Институт прикладной математики и механики, 1973. — 145 с. Книга посвящена некоторым вопросам теории экспериментов с автоматами и ее применения в технической диагностике. Рассматриваются контрольные эксперименты, эксперименты по распознаванию автомата известного класса, вероятностные эксперименты с сетями автоматов. Кроме того,...
Учебное пособие. — Москва: Московский ордена Ленина энергетический институт, 1973. — 106 с. Алгоритмический этап синтеза. Абстрактный синтез. Кодирование внутренних состояний автомата. Структурный синтез. Автоматизация процесса синтеза автоматов.
Учебное пособие. Теория + Примеры — М.: МГТУ имени Н.Э. Баумана, 2013. – 63 с.: ил. Ключевые положения теории автоматов как отдельной научной и учебной дисциплины. Рассмотрены базовые модели теории, их построение и эквивалентность, основные классы автоматов. Излагаются вопросы, относящиеся к минимальным автоматам. Большое место отведено практике структурного синтеза автомата –...
Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. Вып. 53. Автоматное программирование. 2008, с. 162–176. УДК 004.4’242 В.С. Гуров, Б.Р. Яминов Верификация автоматных программ при помощи верификатора unimod.verifier
Учебное пособие. — Томск: ТГУ, 2009. — 111 с. Настоящее пособие является второй частью монографии и посвящено решению уравнений и неравенств в алгебре конечных автоматов Авторы обсуждают различные области применения автоматных уравнений, методы и алгоритмы решения таких уравнений. Пособие предназначено для студентов кафедры информационных технологий при исследовании дискретных...
М.: Альпина Диджитал. — ISBN: 978-5-9614-6549-5. Вычислительное мышление – это мощный инструмент для решения задач и понимания мира. Оно лежит в основе программирования, благодаря ему ученые решают задачи в области информатики, но его же можно использовать и для решения повседневных проблем. Оно настолько важно, что во многих странах его стали преподавать в школе. Но в чем же...
Учебно-методическое пособие по выполнению лабораторной работы. — М.: Академия имени Н.Е. Жуковского, 2020. — 20 с. Данное учебно-методическое пособие издается в соответствии с рабочей программой учебной дисциплины «Цифровая техника» по учебному плану для студентов III–IV курсов направления «Техническая эксплуатация летательных аппаратов и двигателей» всех форм обучения....
Учебное пособие. — Казань: Казанский государственный технический университет (КГТУ) имени А.Н. Туполева, 2008. — 116 с. Курс "Теория автоматов" является базовым при подготовке специалистов по специальности "Вычислительные машины, комплексы, системы и сети". В основных разделах курса рассматриваются методы синтеза комбинационных схем, методы абстрактного и структурного синтеза...
Учебно-методическое пособие для практических занятий. — Красноярск: Сибирский федеральный университет, 2012. — 67 с. Дано описание программы ModLogic, предназначенной для моделирования функциональных логических комбинационных схем и автоматов. Приведены задания, выполняемые при изучении дисциплины «Теория автоматов». Каждое задание содержит пример выполнения. Предназначено для...
Диссертация на соискание ученой степени кандидата физико-математических наук: 01.01.06 – математическая логика, алгебра и теория чисел. — Московский государственный университет им. М.В. Ломоносова. — Москва, 2014. — 98 с. Научный руководитель: д.ф.-м.н., проф. Верещагин Н.К. В первой главе диссертации изучается вопрос о нижних оценках для регулятора почти периодичности...
СПб.: Супер Издательство, 2022. — 192 с.: ил. — ISBN 978-5-9965-2221-7. Книга описывает новые методы построения моделей программируемых логических автоматов (процессоров) в виде принципиальных логических схем и написана для читателей, интересующихся системами и устройствами программного управления и цифрового регулирования различными объектами, с использованием программируемых...
Комментарии