Похожие разделы

Автомат умножения чисел в дополнительном коде в формате с плавающей запятой

Курсовая работа
  • формат doc
  • размер 346,73 КБ
  • добавлен 10 мая 2012 г.
УГАТУ, преподаватель Фрид А.И., кафедра ВТиЗИ. Разработать алгоритм умножения чисел в дополнительном коде в формате с плавающей запятой. Дополнительные требования: разрядность мантисс и порядков nм=16 и np=6 соответственно; математическая модель – автомат Мили; элементный базис – И-НЕ (Штрих Шеффера); минимизацию комбинационной схемы выполнить с помощью карт Карно; в качестве элементов памяти использовать RST-триггеры. Построить алгоритм вып...

Аладьев В.З. Классические однородные структуры. Клеточные автоматы

  • формат pdf
  • размер 4,99 МБ
  • добавлен 06 мая 2012 г.
Монография. Издательство Fultus Books, 2009, -535с. ISBN 1-59682-137-X Содержание Список принятых сокращений List of the adopted abbreviations Предисловие Введение Базовая концепция однородных структур Основные понятия, определения и обозначения Основные типы однородных структур Архитектура теории однородных структур и ее приложений Аппарат исследований в теории однородных структур Проблема неконструируемости в классических однородных стру...

Аладьев В.З., Бойко В.К., Ровба Е.А. Классические однородные структуры: Теория и приложения

  • формат pdf
  • размер 4,23 МБ
  • добавлен 25 сентября 2012 г.
Монография. — Гродно : ГрГУ, 2008. — 486 с. — ISBN 978-985-515-020-7; ISBN 978-9985-9508-4-5. В монографии рассматриваются основы теории классических однородных структур (ОС), представляющей собой базовую компоненту общей теории однородных структур (Cellular Automata): новую и весьма перспективную среду моделирования многих дискретных параллельных процессов, явлений и феноменов в различных областях современного естествознания. В значительной степ...

Аналіз та синтез комбінаційних схем

Курсовая работа
  • формат doc
  • размер 405,36 КБ
  • добавлен 18 мая 2011 г.
Зміст Вступ Аналіз логічного ланцюга Синтез комбінаційної схеми Синтез комбінаційної схеми в заданому базисі І-НЕ Технічна реалізація комбінаційної схеми в заданому базисі І-НЕ Висновок Список використаної літератури Черкаський державний технологічний університет Кафедра спеціалізованих комп’ютерних систем ст.викладач Бойко Т.А. 2 курс 2 семестр кількість сторінок(20)

Антик М.И. Прикладная теория цифровых автоматов

Практикум
  • формат rtf
  • размер 19.94 КБ
  • добавлен 06 июня 2013 г.
Методическое указание. — М.: МИРЭА, 1991. — 31 с. Алгоритмы процедурного типа. Операционные устройства. Блок-текст. Разработка функциональной схемы операционного автомата. Микропрограммирование. Определения. Каноническая структура операционного автомата. Оптимизация операционного автомата. Минимизация аппаратуры. Универсальный ОА. Взаимодействие ОА и УА. Начальная инициализация синхронной схемы.

Антик М.И. Синхронные цифровые автоматы

  • формат pdf
  • размер 2.53 МБ
  • добавлен 16 апреля 2009 г.
В пособии исследуется логический этап проектирования цифровых синхронных схем. При этом предполагается, что читатель знаком с основами логического проектирования комбинационных схем.

Аралбаев Т.З., Жукалина И.В. Теория автоматов

Практикум
  • формат pdf
  • размер 815.65 КБ
  • добавлен 17 мая 2012 г.
Методические указания к практическим занятиям для специальности 230101. - Оренбург: ГОУ ОГУ, 2009. – 42 с. В методических указаниях рассмотрены следующие вопросы: способы представления логических функций (ЛФ); алгебраическое преобразование ЛФ; методы минимизации Квайна и Мак-Класски, с помощью карт Карно; формы задания конечных автоматов; синтез комбинационных схем в базисе И-НЕ (ИЛИ-НЕ) на логических элементах серии К155 и К 561. Методические ук...

Арбиб М.А. Алгебраическая теория автоматов, языков и полугрупп

  • формат djvu
  • размер 3.6 МБ
  • добавлен 10 ноября 2010 г.
Издательство: Статистика, 1975, 335 c. Монография посвящена рассмотрению математического аппарата количественного и качественного анализа АСУ. Конечные автоматы благодаря их простой реализуемости на ЭВМ имеют значительные преимущества по сравнению с другими моделями. Авторы знакомят читателей с основными достижениями в этой области. Книга рассчитана на разработчиков АСУ и цифровых средств вычислительной техники, на математиков, работающих в обл...

Астафьев Г.Б., Короновский А.А., Храмов А.Е. Клеточные автоматы

  • формат pdf
  • размер 377,28 КБ
  • добавлен 09 декабря 2015 г.
Учебно-методическое пособие. — Саратов: Изд–во ГосУНЦ «Колледж», 2003. — 24с. В лабораторной работе описывается краткая теория клеточных автоматов, дается описание лабораторных работ, формулируются контрольные вопросы и задания для выполнения работ. Предназначено для студентов факультета компьютерных наук и информационных технологий, факультета гуманитарных и социальных наук, философского и биологического факультетов, выполняющих лабораторные и п...

Афанасьев В.А. Прикладная теория цифровых автоматов

Практикум
  • формат doc
  • размер 424.74 КБ
  • добавлен 06 октября 2011 г.
Лабораторный практикум - пособие., 2002 год. 48 страниц. Анализ и синтез комбинационных схем. Триггеры. Счетчики. Анализ и синтез. Синтез управляющих автоматов с жесткой логикой.rn

Афраймович Л.Г. Тестовые задачи для самостоятельной подготовки по курсу Теория автоматов и формальные грамматики

  • формат pdf
  • размер 720,02 КБ
  • добавлен 07 августа 2012 г.
Учебно-методическое пособие. - Нижний Новгород: Нижегородский госуниверситет, 2011. - 32 с. В методических указаниях рассматриваются практические задачи, необходимые для самостоятельной подготовки студентов по курсу "Теория автоматов и формальные грамматики". Приводятся основные понятия и результаты. Даются примеры практических заданий с решениями. Материалы могут быть использованы при самостоятельной подготовке к компьютерному тестированию студе...

Белов А.Г. Теория автоматов

  • формат doc
  • размер 656 КБ
  • добавлен 24 сентября 2010 г.
Методические рекомендации и контрольные задания для студентов вузов. Цель и задачи дисциплины. Требования к уровню освоения содержания дисциплины. Объем дисциплины и виды учебной работы. Содержание дисциплины: Классификация и характеристики автоматов. Формальные языки и грамматики. Основные понятия и законы алгебры логики. Синтез комбинационной схемы автомата. Синтез автоматов с памятью. Содержание лабораторных занятий. Темы рефератов. Распределе...

Блок управления для операций сложения и вычитания в АЛУ (13 вариант)

Курсовая работа
  • формат doc
  • размер 356,19 КБ
  • добавлен 23 ноября 2008 г.
Задание: Разработать схему блока управления в АЛУ, выполняющего операции сложения и вычитания чисел с фиксированной точкой. Исходные данные: Тип автомата – автомат Мура. Тип триггеров – D-триггеры и T-триггеры. Тип логических элементов – И-НЕ.

Блюмин С.Л., Корнеев А.М. Дискретное моделирование систем автоматизации и управления

  • формат pdf
  • размер 831.17 КБ
  • добавлен 28 апреля 2011 г.
Липецк, 2005, 124 с. Представлены подходы к построению дискретных моделей, базирующихся на клеточной интерпретации. Рассмотрены дискретные пространственные, дискретные пространственно-временные, конечно-аргументные модели. Дискретно-аргументный подход можно использовать для описания сложных технологических процессов, характеризующихся многостадийностью обработки. Технологический процесс представлен в виде клеток, каждая из которых соответствует о...

Бокр Й. Новая парадигма логического управления

Статья
  • формат pdf
  • размер 625.43 КБ
  • добавлен 06 ноября 2010 г.
В статье рассматривается динамический логический объект, объясняются причины его „динамики, вводится его собственная траектория состояний. Критически анализируется имеющаяся концепция логического управления. Показывается, что система логического управления динамическим объектом представляет собой каноническую композицию. Вводится потенциально-динамический объект, строится на котором система логического управления. Статья также занимается програ...

Брауэр В. Введение в теорию конечных автоматов

  • формат djvu
  • размер 11.68 МБ
  • добавлен 23 сентября 2010 г.
М.: Радио и связь, 1987. 392 с. В книге профессора Гамбургского университета описаны основные классические модели теории конечных автоматов (автоматы Мили и Мура) и более сложные модели (автоматы Рабина — Скотта, многоленточные автоматы, конечные преобразователи). Рассмотрены преобразования конечных автоматов и регулярные множества. Существенную часть книги составляют упражнения.

Бровков В.Г., Богатова 0.0. Прикладная теория цифровых автоматов. Конспект лекций

  • формат pdf
  • размер 2.73 МБ
  • добавлен 10 января 2010 г.
Одеса 2001(украинский язык) Конспект лекцій складений для студентів спеціальності «Спеціалізовані комп'ютерні системи». Конспект призначений для спрощення роботи студентів (і викладача) під час лекцій і містить набір ключових понять, схем, таблиць і описів, необхідних для більш повного розуміння матеріалу лекцій.

Бурдонов И.Б., Косачев А.С., Кулямин В.В. Асинхронные автоматы: Классификация и тестирование

  • формат pdf
  • размер 1.53 МБ
  • добавлен 18 ноября 2012 г.
М.: Институт Системного Программирования РАН. – 60 с. Рассматриваются конечные автоматы, отличающиеся от классического автомата Мили тем, что переход осуществляется либо по приему стимула (входного символа), либо по выдаче реакции (выходного символа), причем в каждом состоянии выбор одного из допустимых переходов недетерминирован. Такими автоматами являются автоматы с отложенной реакцией (АОР), в которых переход по стимулу выполняется всегда, ког...

Бурдонов И.Б., Косачев А.С., Кулямин В.В. Использование конечных автоматов для тестирования программ

  • формат pdf
  • размер 466,48 КБ
  • добавлен 25 октября 2012 г.
М.: Институт Системного Программирования РАН. – 21 с. Рассматривается применение теории конечных автоматов к проблеме тестиро-вания программ. Проблема сводится к тестированию конечного автомата. Описывается тестирование автоматов по графам состояний, фактор-графы, тестирование автоматов по фактор-графам и способы построения фактор-графов. Данная работа поддержана грантами РФФИ № 96-01-01277 и № 99-01-00207.

Варшавский В.И. Коллективное поведение автоматов

  • формат djvu
  • размер 1.67 МБ
  • добавлен 08 февраля 2012 г.
Монография, Москва, "Наука", 1973, 408 Поведение автоматов в случайных средах Игры автоматов Случайное парное взаимодействие в коллективах автоматов Модели коллективного поведения Поведение систем взаимодействующих автоматов

Вашкевич Н.П., Калиниченко Е.И. Синтез и отладка алгоритмов функционирования цифровых устройств управления

  • формат pdf
  • размер 370,04 КБ
  • добавлен 22 августа 2013 г.
Учебное пособие Пенза: Изд-во Пенз. гос. ун-та, 2001. – 43 с.: 16 ил., 8 табл., библиогр. 4 назв. Рассматриваются задачи проектирования алгоритмов функционирования цифровых устройств и их отладки путем моделирования. Приводятся примеры решения таких задач. Предлагается методика проектирования параллельных алгоритмов. Описывается инструментальная система, позволяющая автоматизировать разработку алгоритмов, в том числе параллельных, с последующей и...

Вельдер С.Э. и др. Верификация автоматных програм

  • формат pdf
  • размер 3,09 МБ
  • добавлен 28 января 2016 г.
Вельдер С.Э., Лукин М.А., Шалыто А.А., Яминов Б.Р. — Санкт-Петербург: Наука, 2011. — 244 с. — ISBN 978-5-02-038160-5. В книге рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанны...

Выхованец В.С. Теория автоматов

  • формат pdf
  • размер 1.25 МБ
  • добавлен 19 сентября 2010 г.
Учеб. пособие для вузов. - Тирасполь, 2001. 120 с. В учебном пособии излагаются основы современной теории автоматов, представляющих собой одну из основных моделей управляющих систем. Рассматриваются вопросы, связанные с формальными языками и грамматиками, общей теорией алгоритмов, магазинными и конечными автоматами. Представлен прикладной аспект проектирования дискретных устройств. Формальные языки и грамматики Формальные языки Формальные граммат...

Гилл А. Введение в теорию конечных автоматов

  • формат djvu
  • размер 1.92 МБ
  • добавлен 05 ноября 2011 г.
М.:Наука, 1966. - 272с. Предлагаемая книга Артура Гилла—доктора наук по электротехнике, преподавателя Калифорнийского университета — содержит систематическое изложение основных вопросов теории конечных автоматов. Каждая глава книги содержит примеры и заканчивается задачами, что облегчает глубокую приработку и усвоение ее содержания. Книга является хорошим учебным пособием для студентов, инженеров и научных работников, занимающихся изучением тео...

Гилл А. Введение в теорию конечных автоматов

  • формат pdf
  • размер 8.48 МБ
  • добавлен 04 января 2012 г.
М.: Наука, 1966. - 272 с. Предлагаемая книга содержит систематическое изложение основных вопросов теории конечных автоматов. Каждая глава книги содержит примеры и заканчивается задачами, что облегчает глубокую приработку и усвоение ее содержания. Книга является хорошим учебным пособием для студентов, инженеров и научных работников, занимающихся изучением теории конечных автоматов и ее практическими приложениями.

Гилл А. Введение в теорию конечных автоматов (с распознанным текстом)

  • формат doc
  • размер 20.99 МБ
  • добавлен 09 февраля 2011 г.
Аннотация. Описание: Предлагаемая книга Артура Гилла—доктора наук по электротехнике, преподавателя Калифорнийского университета — содержит систематическое изложение основных вопросов теории конечных автоматов. Каждая глава книги содержит примеры и заканчивается задачами, что облегчает глубокую приработку и усвоение ее содержания. Книга является хорошим учебным пособием для студентов, инженеров и научных работников, занимающихся изучением теории к...

Гинзбург Сеймур. Математическая теория контекстно-свободных языков

  • формат djvu
  • размер 3.64 МБ
  • добавлен 15 октября 2011 г.
Москва, "Мир", 1970-326 стр. Перевод с английского В книге достаточно полно изложены основные понятия и результаты теории контекстно-свободных грамматик и языков, прослеживаются ее связи с теорией автоматов, языками программирования, лингвистикой и машинным переводом. Имеется большое число упражнений самой различной трудности, которые в совокупности существенно дополняют основной текст книги. Книга окажется полезной математику, желающему ознакоми...

Глушков В.М. Синтез цифровых автоматов

  • формат djvu
  • размер 5.11 МБ
  • добавлен 07 сентября 2009 г.
(ГИФМЛ, 1962) Главной и определяющей задачей изложения является такой подбор материала и такой характер его изложения, который дал бы возможность широкому кругу лиц и прежде всего широкому кругу математиков, не знакомых с радиотехникой, электроникой и импульсной техникой, понять суть проблем, встающих при синтезе схем современных сложных цифровых автоматов и прежде всего электронных вычислительных машин. Изложение построено таким образом, чтобы...

Горбоконенко В.Д., Шикина В.Е. Арифметические основы цифровой техники

  • формат pdf
  • размер 507.85 КБ
  • добавлен 12 ноября 2008 г.
Методические указания к практическим занятиям по курсу «Прикладная теория информации» Издательство: УлГТУ (Ульяновск) Год издания: 2003 Страницы: 27 Указания написаны в соответствии с рабочей программой курса «Прикладная теория информации» для специальностей 071900 «Информационные системы в технике и технологиях» и 1903300 «АП и ИВК». В них содержатся математические основы информатики, включающие системы счисления и формы представления информац...

Гудилин А.Е., Барбасова Т.А. Теория цифровых автоматов

  • формат doc
  • размер 1.73 МБ
  • добавлен 06 апреля 2009 г.
ВВЕДЕНИЕ. ЛОГИЧЕСКИЕ ОСНОВЫ ЦИФРОВЫХ АВТОМАТОВ. Основные понятия алгебры логики. Базис И, ИЛИ, НЕ. Свойства элементарных функций алгебры логики. Способы описания булевых функций. Табличное описание булевых функций. Аналитическое описание булевых функций. Числовая форма представления булевых функций. Графическая форма представления булевых функций. Геометрическое представление булевых функций. Минимизация функций алгебры логики. Минимизация с помо...

Гуренко В.В. Введение в теорию автоматов

  • формат pdf
  • размер 2,45 МБ
  • добавлен 1 апреля 2015 г.
Учебное пособие. Теория + Примеры — М.: МГТУ имени Н.Э. Баумана, 2013. – 63 с.: ил. Ключевые положения теории автоматов как отдельной научной и учебной дисциплины. Рассмотрены базовые модели теории, их построение и эквивалентность, основные классы автоматов. Излагаются вопросы, относящиеся к минимальным автоматам. Большое место отведено практике структурного синтеза автомата – одному из главных и не теряющих актуальности приложений теории. Учебно...

Дехтярь М.И. Конечные автоматы (Лекции по дискретной математике)

  • формат pdf
  • размер 475.64 КБ
  • добавлен 06 ноября 2010 г.
Содержание Переработка информации с помощью конечных автоматов Конечные автоматы распознаватели Детерминированные конечные автоматы (ДКА) и автоматные языки Произведение автоматов Недетерминированные конечные автоматы и их детерминизация Регулярные выражения и языки Регулярные языки и конечные автоматы Автоматы для регулярных языков Свойства замкнутости класса автоматных языков Теорема о разрастании автоматных языков. Неавтоматные языки

Жабін В.І., Жуков І.А., Клименко І.А. Стіренко С.Г. Арифметичні та управляючі пристрої цифрових ЕОМ

  • формат pdf
  • размер 2,33 МБ
  • добавлен 13 октября 2015 г.
Учебное пособие. - К.: ВЕК +, 2008. - 176 с. - ISBN 966-7140-11-3. Учебное пособие посвящено вопросам реализации арифметических операций в цифровых. ЭВМ. Рассмотрены вопросы построения арифметических устройств различных типов и средств управления выполнением операций. Предложенные задания и даны рекомендации по организации практических и лабораторных занятий, представлены примеры построения функциональных и принципиальных электрических схем. Посо...

Жабін В.І., Жуков І.А., Клименко І.А., Ткаченко В.В. Прикладна теорія цифрових автоматів

  • формат djvu
  • размер 5.51 МБ
  • добавлен 23 сентября 2011 г.
К.: Книжкове вид-во НАУ, 2007. - 364 с. Розглянуто прикладні питання теорії цифрових автоматів, методи аналізу і синтезу логічних схем в сучасному елементному базисі, способи подання інформації та реалізації арифметичних операцій в ЕОМ. Запропоновано завдання та надано рекомендації з організації курсового проектування, лабораторних занять та контролю знань в умовах кредитно-модульної системи навчання.

Жабін В.І., Ткаченко В.В. Цифрові автомати

  • формат pdf
  • размер 3,76 МБ
  • добавлен 01 января 2012 г.
Практикум. - К.: ВЕК +, 2004. - 160 с., ил. - ISBN 966-7140-11-3. Розглядаються прикладні питання теорії цифрових автоматів, методи синтезу логічних схем в заданому елементному базисі, способи побудови типових вузлів та пристроїв ЕОМ. Навчальний посібник призначено для проведення лабораторних занять і організації курсового проектування зі студентами спеціальності "Комп'ютерна інженерія". Програмний комплекс для моделювання логічних схем. Лаборато...

Жабин В.И., Жуков И.А., Клименко И.А., Стиренко С.Г. Арифметические и управляющие устройства цифровых ЭОМ (на укр.языке)

  • формат pdf, jpg
  • размер 9.08 МБ
  • добавлен 02 марта 2010 г.
Учебное пособие. - К.: ВЕК +, 2008. - 176 стр. Учебное пособие посвящённый вопросам реализаций арифметических операций в цифровых ЭОМ. Рассмотрены вопросы постройки арифметических устройств разных типов и средств управления выполнения операций. Предложены задания и даны рекомендации по организации практичеких и лабораторных заняти, рассмотрены примеры построения функциональных и принципиальных схем. Учебник предназначен для студентов направления...

Замятин А.П., Шур А.М. Языки, грамматики, распознаватели

  • формат pdf
  • размер 1,26 МБ
  • добавлен 15 января 2015 г.
Екатеринбург: Изд-во Урал. ун-та , 2007. – 248 с. В пособии систематически изложены ряд важных разделов теории формальных языков и приложения этой теории к построению компиляторов. Пособие рассчитано на математически ориентированных читателей. Для студентов математических направлений и специальностей, изучающих дисциплины «Лингвистические основы информатики», «Теория автоматов», «Языки и автоматы», «Дискретная математика».

Иванов В.И. (сост.) Проектирование дискретного устройства

Практикум
  • формат doc
  • размер 44,51 КБ
  • добавлен 26 ноября 2016 г.
Методические указания к выполнению курсового проекта по дисциплине “Схемотехника ЭВМ”. — Курск. гос. техн. ун-т. — Курск: 2005. — 20 с.: ил. Излагаются методические указания по проектированию операционного блока цифрового вычислительного устройства. Определены цели и задачи курсового проекта, приведены рекомендации по разработке дискретного устройства на элементах малой, средней и большой степени интеграции. Введение. Цель и задачи курсового прое...

Иванов В.С. Лекции по теории автоматов

  • формат htm, jpg, gif, doc
  • размер 3.45 МБ
  • добавлен 19 сентября 2010 г.
УлГТУ, 2 курс. Содержание. Абстрактные автоматы. Структурный автомат. Кодирование состояний автомата. Функционирование цифровых автоматов.

Иванов Н.М., Соловьева Т.Н. Конечные автоматы

Практикум
  • формат pdf
  • размер 3,33 МБ
  • добавлен 18 октября 2016 г.
СПб.: ГУАП, 2015. — 76 с. Содержатся указания по выполнению лабораторных работ по дисциплине Теория автоматов с использованием программного пакета Quartus, а также методические указания по проектированию цифровых устройств в пакете Quartus. Методические указания предназначены для проведения лабораторных работ по дисциплине Теория автоматов со студентами дневной, вечерней и заочной форм обучения, по направлению 09.03.01 Информатика и вычислительна...

Иванов Н.Н., Михайлов Г.И., Руднев В.В., Таль А.А. Конечные автоматы: эквивалентность и поведение

  • формат djvu
  • размер 4.17 МБ
  • добавлен 28 сентября 2011 г.
Издательство Наука, 1984, -194 с. В книге излагаются результаты работы авторов по созданию теории конечных автоматов, основанной на применении отношений эквивалентности. Наряду с традиционными задачами, решаемыми в теории автоматов, предлагаемый подход позволяет ставить и решать многие новые задачи, например задачу о реализуемости заданно поведения в автомате определенного класса (инициальном, детерминированном, полностью определенном, автомате...

Илюхин А.В. Логические автоматы. Типовые комбинационные схемы

  • формат pdf
  • размер 2.11 МБ
  • добавлен 13 марта 2010 г.
Учебное пос. МАДИ(ГТУ). -М. , 2007. – 133 с. Обобщенные материалы по принципам функционирования, построения и методике синтеза схем логических автоматов, относящихся к простейшим схемам – комбинационного типа. Описание и характеристики основных серий интегральных цифровых микросхем (ИЦМ). Схемотехника их базовых элементов, типов и особенностей эксплуатации. Сведения по построению и применению микросхем комбинационного типа для синтеза схем логи...

Илюхин А.В. Логические автоматы. Типовые последовательностные схемы

  • формат pdf
  • размер 1,91 МБ
  • добавлен 29 апреля 2013 г.
Учебное пособие. В 2 ч. Ч. 2. Счетчики / А.В. Илюхин, А.М. Колбасин; МАДИ. - М.: МАДИ, 2013. – 52 с. В учебном пособии излагаются сведения по построению и применению микросхем последовательностного типа для синтеза схем логических автоматов, применяемых при автоматизации технологических процессов и производств. Пособие предназначено для студентов, обучающихся по направлению подготовки дипломированного специалиста 220300 «Автоматизированные те...

Иопа Н.И. Теория автоматов в задачах

Практикум
  • формат doc
  • размер 1,26 МБ
  • добавлен 10 мая 2012 г.
Ч.1: Методические указания к практическим занятиям/ Рязан. гос. радиотехн. акад. Сост.: Н.И. Иопа. Рязань, 2004. 36 с. Рассматриваются автоматные модели с конечной и бесконечной памятью – конечные автоматы и машины Тьюринга. Изучаются их свойства, преимущества, ограничения, примеры применения. Приводится методика синтеза цифровых автоматов различных классов – информационных, управляющих и вычислительных. Изложение ведется на доступном языке, сопр...

Карпов Ю.Г. Теория автоматов

  • формат exe
  • размер 8.96 МБ
  • добавлен 09 августа 2008 г.
Конечные функциональные преобразователи.Булевы функции. Функциональная полнота.Формы представления булевых функций. Введение в математическую логику.Формальные высказывания. Логика высказываний.Логическое следствие.Основы логики предикатов и логического вывода.Логическое программирование Конечные автоматы.Автоматное преобразование информации.Примеры КА.Визуальный формализм представления моделей реактивных систем.Графы переходов при спецификации и...

Карпов Ю.Г. Теория автоматов

  • формат djvu
  • размер 1.93 МБ
  • добавлен 18 марта 2010 г.
СПб.: Питер, 2003. - 208 с., ил. В книге рассматриваются: Конечные функциональные преобразователи (булевы функции, функциональная полнота); Введение в математическую логику (формальные модели, логика высказываний, логическое следствие, основы логики предикатов и логического вывода, логическое программирование); Конечные автоматы (автоматное преобразование информации, примеры КА, графы переходов, алгебраическая структурная теория КА); Автоматн...

Керзон Пол, Макоуэн Питер. Вычислительное мышление. Метод решения сложных задач

  • формат pdf
  • размер 865,96 КБ
  • добавлен 1 апреля 2015 г.
М.: Альпина Диджитал. — ISBN 978-5-9614-6549-5. Вычислительное мышление – это мощный инструмент для решения задач и понимания мира. Оно лежит в основе программирования, благодаря ему ученые решают задачи в области информатики, но его же можно использовать и для решения повседневных проблем. Оно настолько важно, что во многих странах его стали преподавать в школе. Но в чем же его суть? Если вы хотите узнать больше о вычислительном мышлении, ищете...

Кобринский Н.Е., Трахтенброт Б.А. Введение в теорию конечных автоматов

  • формат djv
  • размер 3.77 МБ
  • добавлен 08 января 2012 г.
М.: ГИФМЛ, 1962. - 405 с. В последние годы повсеместно и с большой интенсивностью ведутся работы по созданию и применению различных автоматических систем дискретного действия для переработки информации. Они лежат в основе быстродействующих цифровых вычислительных машин, автоматических устройств для управления объектами и систем, моделирующих деятельность живого организма (так называемых роботов). Производство кибернетических автоматов растет быс...

Кокин А.Г., Кузнецов В.Н. Конечные автоматы: языки и грамматики

Практикум
  • формат doc
  • размер 102.1 КБ
  • добавлен 05 января 2012 г.
Курган: КГУ, Кафедра программного обеспечения вычислительной техники и автоматизированных систем, 1996. - 35 с. Методические указания и задания для проведения практических занятий по курсу «Теория вычислительных процессов и структур» Содержание Конечные автоматы Основные определения Упражнения Эквивалентность и минимизация полных автоматов Упражнения Частичные автоматы и их минимизация Упражнения Конечные распознаватели Основные определения У...

Комский Д.М., Игошев Б.М. Электронные автоматы и игры

  • формат djvu
  • размер 3.27 МБ
  • добавлен 10 декабря 2009 г.
Издательство: Энергоиздат Год издания: 1981 Страниц: 168 В популярной форме излагаются элементарные сведения по теории игр и идеи, лежащие в основе работы автоматов игрового типа. Приводятся схемы и описания конструкций простых кибернетических устройств (играющих автоматов), рекомендуемых для самостоятельного изготовления в любительских условиях. Для широкого круга читателей, интересующихся автоматикой, технической кибернетикой и теорией игр, увл...

Короткова М.А. Математическая теория автоматов

  • формат pdf
  • размер 1,46 МБ
  • добавлен 05 марта 2012 г.
Учебное пособие. -М.: МИФИ, 2008 . 116 с. Распознано Рассматриваются вопросы представления детерминированных функций k-значных логик, способы задания, анализа и синтеза автоматов. Рассмотрены также базовые понятия теории кодирования, включая вопросы распознавания кодов автоматами. Пособие предназначено для студентов, обучаемых по специальности «Прикладная математика и информатика» и изучающих курс «Математическая теория автоматов». Предлагаемое п...

Короткова М.А., Трифонов Е.Е. Задачник по курсу Математическая лингвистика и теория автоматов

  • формат pdf
  • размер 1,56 МБ
  • добавлен 09 декабря 2016 г.
М.: НИЯУ МИФИ, 2012. — 92 с. В пособие включены задачи по лингвистике, теории автоматов и кодированию. Задачи разделены по темам, каждый раздел содержит крат- кое изложение базовой теории. Для ряда задач даны ответы или указания. Данное пособие предназначено для студентов факультета кибернетики и информационной безопасности, изучающих математическую лингвистику и теорию автоматов, и может быть также рекомендовано всем интересующимся математическо...

Кочубей О.О., Сопільник О.В. Прикладна теорія цифрових автоматів. Логічні основи

  • формат djvu
  • размер 6.32 МБ
  • добавлен 13 января 2011 г.
Видавництво Дніпропетровського університету, 2009. - 264 с. Викладені логічні аспекти проектування цифрових автоматів. Подані основні положення алгебри логіки, розглянуті проблеми проектування комбінаційних та послідовнісних цифрових автоматів на основі типових логічних схем. Акцентується увага на алгоритмах мінімізації логічної структури, вирішенні проблеми перегонів у цифрових автоматах. Теоретичний матеріал ілюстрований прикладами і супроводж...

Коштоев В.В., Кипиани К.К. Учебное пособие

  • формат doc
  • размер 228.93 КБ
  • добавлен 01 июня 2006 г.
Основы прикладной теории цифровых автоматов. Информационные основы цифровых автоматов. Информация и общие принципы ее преобразования. Обмен информацией между различными информационными устройствами. Аппаратные средства хранения и обработки информации. Общие понятия о цифровом автомате и алгоритме Представление числовой информации в цифровом автомате Системы счисления и понятие кода. Выбор системы счисления. Формальные правила двоичной арифмет...

Кревский И.Г., Селиверстов М.Н., Григорьева К.В. Формальные языки, грамматики и основы построения трансляторов

  • формат pdf
  • размер 807.78 КБ
  • добавлен 04 января 2010 г.
Изд-во Пенз. гос. ун-та, 2002. - 124 с. Представлен материал для изучения разделов, посвященных формальным языкам, грамматикам и разработке трансляторов. Подробно рассмотрены основные вопросы - теория грамматик и автоматов, лексический анализ, нисходящий и восходящий синтаксический анализ, построение программы синтаксического анализа для заданного синтаксиса, применение синтаксических диаграмм для построения анализаторов. Приведены методические у...

Кудрявцев В.Б., Алешин С.В., Подколзин А.С. Введение в теорию автоматов

  • формат djvu
  • размер 2.8 МБ
  • добавлен 08 августа 2010 г.
1985 г. , 320 с. Один из лучших фундаментальных трудов по теории автоматов. Содержит изложение основ теории автоматов, представляющих собой одну из основных моделей управляющих систем. Достаточно широко представлены результаты по теории абстрактных и структурных автоматов, полученные отечественными и зарубежными авторами за последние 30 лет, т. е. за время с момента возникновения и последующего формирования теории автоматов. Для специалистов, раб...

Кудрявцев В.Б., Подколзин А.С., Болотов А.А. Основы теории однородных структур

  • формат djvu
  • размер 6,46 МБ
  • добавлен 13 мая 2015 г.
М.: Наука, 1992. — 298 с. Излагаются основные результаты по теории однородных структур, полученные советскими и зарубежными авторами за последние 30 лет. В первой части изучаются автономные однородные структуры. Объектом исследования являются процессы, происходящие внутри этих структур, т.е. поведение их. Во второй части изучаются однородные структуры со входами и выходами, для которых наряду с их внутренними процессами изучаются свойства компози...

Кудрявцев В.Б., Подколзин А.С., Ушчумлич Ш. Введение в теорию абстрактных автоматов

  • формат djvu
  • размер 3,67 МБ
  • добавлен 01 апреля 2016 г.
Изд-во Моск. ун-та, 1985. — 174 с. Теория автоматов представляет собой раздел теории управляющих систем, изучающий математические модели преобразователей дискретной информации, называемые автоматами, прототипами которых являются различные реальные устройства. Предлагаемая книга содержит достаточно обширный материал по теории абстрактных автоматов и посвящена рассмотрению основных типов поведений автоматов, таких как автоматы-акцепторы, преобразов...

Лабораторная работа - Автоматные модели процессов

Лабораторная
  • формат doc
  • размер 683 КБ
  • добавлен 08 декабря 2010 г.
Лабораторная работа - Автоматные модели процессов. ЧГУ 2010, специальность 230105. Построение для графа алфавитов: входной, выходной и внутренних состояний. Построение конечного автомата и таблицы переходов/выходов.

Лабораторная работа - Построение управляющих автоматов с помощью генетических алгоритмов

Лабораторная
  • формат pdf
  • размер 432.18 КБ
  • добавлен 06 ноября 2010 г.
В данной работе изучается применение генетических алгоритмов для построения конечных автоматов на примере задачи «Умный муравей». В результате необходимо построить конечный автомат Мура, управляющий поведением муравья таким образом, чтобы задача решалась наиболее эффективным образом. При выполнении работы использовался программный модуль («Виртуальная лаборатория»), позволяющий реализовывать генетические алгоритмы и особей для них в виде подк...

Лабораторная работа - Процессы. Операции над процессами. Протоколы процессов

Лабораторная
  • формат docx
  • размер 86.6 КБ
  • добавлен 07 декабря 2010 г.
Процессы. Операции над процессами. Протоколы процессов. ЧГУ 2010, специальность 230105, преподаватель Ганичева О. Г. Содержит полный текст программы на языке Lisp в среде программирования XLisp.rn

Лабораторная работа - Сетевая объектная модель

Лабораторная
  • формат doc
  • размер 161.5 КБ
  • добавлен 07 декабря 2010 г.
Построение сети Петри. Содержит полный текст программы на языке Pascal в среде программирования Delphi. ЧГУ 2010, специальность 230105, преподаватель Ганичева О. Г.

Лазарев В.Г., Пийль Е.И. Синтез управляющих автоматов

  • формат djvu
  • размер 3.05 МБ
  • добавлен 28 января 2009 г.
Лазарев В.Г., Пийль Е.И. Синтез управляющих автоматов. – 3-е изд., перераб. и доп. – М.: Энергоатомиздат, 1989. – 328 с. Изложены методы синтеза дискретных автоматов и систем на основе наиболее распространенных формализованных языков. Особое внимание уделено процессам управления как исходных условий для задания алгоритмов функционирования управляющих автоматов. Рассмотрены разновидности процессов управления и принципы их реализации на основе разл...

Лекции - Теория автоматов

Статья
  • формат doc
  • размер 2.85 МБ
  • добавлен 09 апреля 2011 г.
Введение общие сведения о цифровых автоматах. Основные понятия и определения. Синтез цифровых автоматов без памяти. Этапы синтеза. Общая теория конечных цифровых автоматов с памятью. Основные понятия и определения. Элементарные автоматы. Структурная схема конечного автомата. Технические особенности конечных автоматов. Синтез типовых узлов ЭВМ. Регистры. Счетчики. Счетчики с одновременным, сквозным и групповым переносом. Счетчики на кольцевых сдви...

Лекции по теории автоматов

Статья
  • формат doc
  • размер 26.71 КБ
  • добавлен 28 мая 2006 г.
Введение. Конечный автомат. Формальные языки. Понятие о языках. Синтаксический разбор. Отношения и формальные системы. Замыкание. Редукция. Строки. Введение а грамматику. Контекстная грамматика.rn

Лекции по теории автоматов

Статья
  • формат doc
  • размер 65.51 КБ
  • добавлен 31 мая 2006 г.
Алгоритмические модели. Машина Тьюринга. Основная гипотеза Тьюринга. Устойчивость автоматов. Состязания и гонки конечных автоматов. ры по устранению гонок в структурном автомате. Направленное кодирование состояний абстрактного автомат. Cоседние кодирование соседних состояний. Синхронизация структурного автомата. Двойная память. Абстрактный автомат и способы его задания. Детерминированность и способы задания МТ. Конфигурация МТ. Канонический мето...

Лекции по теории автоматов

Статья
  • формат doc
  • размер 628.87 КБ
  • добавлен 03 июня 2006 г.
Методы анализа и синтеза комбинационных схем. Канонический метод синтеза комбинационных схем. Характеристики комбинационных схем. Системы (серии) логических элементов и их основные характеристики. Анализ комбинационных схем. Анализ комбинационных схем методом pi-алгоритма. Анализ КС методом синхронного моделирования. Анализ КС методом асинхронного моделирования. основные понятия и определения теории абстрактных автоматов. способы опи...

Лекции по теории автоматов

Статья
  • формат doc
  • размер 100.04 КБ
  • добавлен 20 декабря 2008 г.
Синтез конечных автоматов. Способы задания автомата. Частичные автоматы. Эквивалентность автоматов. Абстрактный синтез конечных автоматов. Представление событий в автоматах. Операции в алгебре событий. Система основных событий. Методы абстрактного синтеза. Структурный синтез конечных автоматов. Элементарные автоматы. Структурная схема конечного автомата. Табличный метод структурного синтеза конечных автоматов. Технические особенности конечных авт...

Лекции по теории автоматов

Статья
  • формат doc
  • размер 310.58 КБ
  • добавлен 28 мая 2009 г.
Целью дисциплины является изложение принципов организации программных и аппаратных средств, в рамках персональных ЭВМ с использованием теории автоматов, овладение навыками разработки программного обеспечения и аппаратных средств ЭВМ.rn

Лекции по теории автоматов

Статья
  • формат doc
  • размер 994.42 КБ
  • добавлен 24 марта 2010 г.
ВлГУ. Учебное пособие 2006 года для студентов очной и заочной форм обучения специальностям в области вычислительной техники, информатики и управления. Содержит теоретический материал а так же задачи и упражнения для решения. Данный архив содержит два документа: Часть 1 - Теория абстрактных автоматов. Часть 2 - Логические основы цифровых автоматов.

Лисп-реализация конечных автоматов

Курсовая работа
  • формат rtf
  • размер 464,03 КБ
  • добавлен 16 мая 2013 г.
Выходные данные не приведены. Автор не известен. — 21 с. Введение. Постановка задачи. Математические и алгоритмические основы решения задачи. Понятие конечного автомата. Способы описания. Детерминированность. Автоматы и регулярные языки. Функциональные модели и блок-схемы решения задачи. Программная реализация решения задачи. Пример выполнения программы. Заключение. Список использованных источников и литературы.

Лобанов А.И. Модели клеточных автоматов

Статья
  • формат pdf
  • размер 2,83 МБ
  • добавлен 31 октября 2013 г.
Статья. Опубликована в журнале "Компьютерные исследования и моделирование". — 2010. — Т.2 . — №3 . — С. 273–293. Обзор содержит введение в модели клеточных автоматов. Описаны три автомата на плоскости: клеточный автомат Винера–Розенблюта, игра «Жизнь» и автомат Кохомото–Ооно для моделирования систем «реакция–диффузия». Построены обобщения клеточного автомата игры "Жизнь" на случай пространства произвольной размерности и автомата Кохомото–Ооно для...

Лупал А.М. Теория автоматов (часть 1)

  • формат pdf
  • размер 471.28 КБ
  • добавлен 09 апреля 2009 г.
В книге приводятся основные понятия теории алгоритмов, раскрывается связь между алгоритмами и вычислительными машинами и различия между процессами протекающими в машинах Тьюринга и автоматах фон Неймана. Рассматриваются также основы теории конечных автоматов, формальные методы проектирования автоматов на основах абстрактного и структурного синтеза.

Лупал А.М. Теория автоматов (часть 2)

  • формат pdf
  • размер 707.11 КБ
  • добавлен 09 апреля 2009 г.
В книге приводятся основные понятия теории алгоритмов, раскрывается связь между алгоритмами и вычислительными машинами и различия между процессами протекающими в машинах Тьюринга и автоматах фон Неймана. Рассматриваются также основы теории конечных автоматов, формальные методы проектирования автоматов на основах абстрактного и структурного синтеза.

Малаханов А.А. Структурный синтез дискретного автомата

  • формат pdf
  • размер 7.46 МБ
  • добавлен 08 ноября 2009 г.
Методичка, БГТУ (Брянск) - 5с. Содержание: Постановка задачи Определение входных, выходных сигналов и состояний автомата Направленный граф автомата Мура Примеры реализации асинхронного и синхронного автомата а) синтез асинхронного автомата Мура б) синтез синхронного автомата Мура

Мелкозернистый параллелизм клеточно-автоматных моделей пространственной динамики. Лекция 4

Презентация
  • формат ppt
  • размер 1,52 МБ
  • добавлен 25 ноября 2012 г.
31 слайда. Бандман О.Л., Нечаева О.И., Бессмельцев М.В. Содержание: Примеры КА-моделей и их композиций. Рассмотрение конкретных КА-моделей в гидродинамике, поверхностной химии, биологии, кинетике и синтезе наносистем и др. Вычислительные свойства клеточных автоматов.

Миронов А.М. Теория вероятностных автоматов

  • формат pdf
  • размер 868,90 КБ
  • добавлен 07 февраля 2016 г.
Выходные данные не указаны. — 123 с. Вспомогательные понятия Случайные функции Понятие случайной функции Матрицы, соответствующие конечным случайным функциям Вероятностные распределения Строки и функции на строках Строки и связанные с ними понятия Функции на строках Автоматы Мура Понятие автомата Мура Достижимые состояния и реакция автомата Достижимая часть автомата Линейные автоматы Вероятностные автоматы и вероятностные реакции Вероятностные ав...

Моисеев Н.Г. Теория автоматов

  • формат pdf
  • размер 2,89 МБ
  • добавлен 07 мая 2016 г.
Учебное пособие по курсовому проектированию. - Йошкар-Ола: Поволжский государственный технологический университет, 2015. – 128 с Приведены необходимые теоретические сведения, методика выполнения, варианты заданий и пример оформления курсовой работы. Для студентов направления подготовки 230100.62 «Информатика и вычислительная техника».

Монахов М.Ю. Прикладная теория цифровых автоматов. Методические указания к курсовой работе

Практикум
  • формат pdf
  • размер 47.57 МБ
  • добавлен 29 июня 2011 г.
Г. Владимир, Издательство ВПТИ, 44 стр. , 1991 г. Рассматриваются вопросы функционирования и проектирования операционных устройств (композиции операционного и управляющего автоматов), реализующих задаваемую арифметическую операцию. Работа предназначена для студентов специальности 2201 дневной и вечерней форм обучения, но может быть использована и студентами смежных специальностей, специалистами при проектировании специализированных вычислительн...

Ожиганов А.А. Теория автоматов

  • формат pdf
  • размер 3,16 МБ
  • добавлен 09 февраля 2013 г.
Учебное пособие. – СПб: НИУ ИТМО, 2013. – 84 с. Целью данного учебного пособия является ознакомление студентов с методами синтеза цифровых автоматов. Приводятся сведения об абстрактных автоматах Мили и Мура. Рассматриваются табличный и графовый способы представления автоматов, вводится понятие реакции автомата на входное слово и определение эквивалентных автоматов. Представлены методы взаимного эквивалентного преобразования автоматов. Приводятся...

Омаров О.М. Теория вычислительных процессов

  • формат pdf
  • размер 2,30 МБ
  • добавлен 03 февраля 2013 г.
Учебное пособие. — Махачкала. 2006. В пособии излагаются основные понятия теории вычислительных процессов и структур. Даны понятия формальных грамматик и основы теории конечных цифровых автоматов, приведены математические модели для описания взаимодействующих процессов на основе сетей Петри и нотаций Хоара, рассматриваются методы и средства синхронизации и связи взаимодействующих процессов, излагаются проблемы и формальные модели для изучения туп...

Ответы на экзаменационные билеты по теории автоматов

pottee
  • формат doc
  • размер 62.25 КБ
  • добавлен 18 января 2010 г.
Кубанский Государственный Технологический Университет. Специальность: Вычислительные машины, комплексы, системы и сети. (230101). Второй курс. Темы рассмотренные в билетах: Классификация автоматов. Одноблочные и многоблочные автоматы. Микропроцессорные цифровые автоматы и структуры их построения. Структурные автоматы. Представление структурных автоматов. Структуры построения многоблочных автоматов. Определение абстрактного автомата. Алфавиты вх...

Пентус А.Е., Пентус М.Р. Математическая теория формальных языков

  • формат pdf
  • размер 2,22 МБ
  • добавлен 1 апреля 2015 г.
М.: Интернет-университет информационных технологий; БИНОМ. Лаборатория знаний, 2006. – 247 с.: ил. – (Серия "Основы информатики и математики"). Учебник посвящён классическому разделу математичской лингвистики и теоретической информатики – теории формальных языков. Рассматриваются порождающие грамматики, регулярные выражения, конечные автоматы, автоматы с магазинной паматью. Для студентов, аспирантов и преподавателей математических, компьютерных и...

Пентус А.Е., Пентус М.Р. Теория формальных языков

  • формат pdf
  • размер 539.73 КБ
  • добавлен 10 февраля 2010 г.
М.: Издательство ЦПИ при механико-математическом факультете МГУ, 2004. - 80 с. Учебное пособие посвящено классическому разделу математической лингвистики и теоретической информатики - теории формальных языков. Рассматриваются порождающие грамматики, классификация формальных языков по Хомскому, регулярные выражения, конечные автоматы, автоматы с магазинной памятью, алгоритмические проблемы, связанные с контекстно-свободными грамматиками. Для студе...

Побудова функціональної схеми управляючого автомата Мілі

Курсовая работа
  • формат doc, vsd
  • размер 1,19 МБ
  • добавлен 14 апреля 2011 г.
Україна, НТУУ "КПІ", ФІОТ, Кафедра обчислювальної техніки, 1 курс, 1 семестр, дисципліна "Комп'ютерна логіка" - 33 с. Виконати синтез і побудувати функціональну схему управляючого автомата Мілі по заданому алгоритму

Позиционные системы счисления. Перевод чисел. Минимизация системы ФАЛ и реализация дешифратора для семисегментного индикатора

Контрольная работа
  • формат doc
  • размер 844,87 КБ
  • добавлен 29 октября 2014 г.
СФУ ИКИТ, Красноярск, Кузенков М.В., 1 вариант, 11 стр., 2010г., 3 курс Название дисциплины: "Теория автоматов" Задания №1 и №4 из учебного пособия "Теория автоматов и машинная арифметика" Постников А.И., Вейсов Е.А. Позиционные системы счисления. Перевод чисел. Минимизация системы ФАЛ и реализация дешифратора для семисегментного индикатора.

Поликарпова Н.И., Шалыто А.А. Автоматное программирование

  • формат pdf
  • размер 1.68 МБ
  • добавлен 11 марта 2011 г.
СПб.: СПбГПУ, 2008. - 227с. В книге рассматривается автоматное программирование – подход к разработке программных систем со сложным поведением, основанный на модели автоматизированного объекта управления (расширении конечного автомата). Предлагаемый подход позволяет создавать качественное программное обеспечение для ответственных систем, охватывая все этапы его жизненного цикла и поддерживая его спецификацию, проектирование, реализацию, тестирова...

Поликарпова Н.И., Шалыто А.А. Автоматное программирование

  • формат pdf
  • размер 4,54 МБ
  • добавлен 1 апреля 2015 г.
2-е издание. — СПб.: Питер, 2010. — 176 с. В книге рассматривается автоматное программирование – подход к разработке программных систем со сложным поведением, основанный на модели автоматизированного объекта управления (расширении конечного автомата). Предлагаемый подход позволяет создавать качественное программное обеспечение для ответственных систем, охватывая все этапы его жизненного цикла и поддерживая его спецификацию, проектирование, реализ...

Постников А.И. Теория автоматов

  • формат doc
  • размер 962.98 КБ
  • добавлен 16 февраля 2009 г.
Излагаются способы представления информации в цифровых автоматах, методы выполнения основных арифметических и логических операций в них, а также методы логического описания и основанные на них методы логического проектирования цифровых устройств. Рассматриваются способы контроля правильности функционирования цифровых автоматов при выполнении различных операций, методы минимизации логических выражений. Теоретический материал иллюстрируется примера...

Постников А.И., Вейсов Е.А. Теория автоматов и машинная арифметика

  • формат doc
  • размер 5.79 МБ
  • добавлен 23 сентября 2010 г.
Учебное пособие, ИПЦ КГТУ 2006 г. Информация и вычислительные машины. Системы счисления. Основы алгебры логики. Минимизация ФАЛ. Основные электронные узлы комбинационного типа. Основы теории автоматов. Типовые узлы ЦВМ на основе триггеров. Микропрограммные автоматы. Управляющие автоматы с программируемой логикой. Операционный автомат. Сложение двоичных чисел. Умножение двоичных чисел. Деление двоичных чисел. Ускорение выполнения арифметических о...

Построение автоматов

Курсовая работа
  • формат doc
  • размер 262,05 КБ
  • добавлен 26 февраля 2012 г.
В данной курсовой работе имеются теоретические сведения о цифровом автомате, об алгоритме деления чисел, о прямом коде и элементах памяти. Также рассматривается процесс разработки функциональной схемы автомата Мура для операции деление без восстановления остатка. В работе построены содержательная, функциональная, отмеченная граф схемы, граф автомата Мура, выполнена кодировка состояний переходов, исследованы системы логический функций и сигналов в...

Практические занятия по теории автоматов

Лабораторная
  • формат doc
  • размер 858.32 КБ
  • добавлен 05 апреля 2009 г.
Системы счисления. Перевод из одной системы счисления в другую. Выполнение сложения в разных системах счисления. Представление двоичных чисел в прямом, обратном и дополнительном кодах. Модифицированные коды. Способы представления автоматов. Эксперименты с автоматами. Синтез автоматов по дереву управления. Структурный синтез автомата. Алгоритмическая система Тьюринга.

Прангишвили И.В. (ред.). Проектирование устройств логического управления

  • формат djvu
  • размер 9,85 МБ
  • добавлен 17 декабря 2015 г.
М.Наука, 1984 Основная часть работ сборника посвящена наиболее важным аспектам проектирования устройств логического управления: языкам описания алгоритма управления, синтезу устройств из элементов нового типа, вопросам автоматизации проектирования их, надежности устройств на основе использования избыточного кодирования. Для специалистов в области разработки и эксплуатации дискретной техники. Проблемноориентированный язык описания поведения систем...

Проблема принадлежности слова языку, лемма о накачке

Реферат
  • формат doc
  • размер 22,94 КБ
  • добавлен 22 мая 2012 г.
Доклад на тему "Проблема принадлежности слова языку и алгоритм ее решения, лемма о накачке для регулярных языков". Доклад включает в себя: титульный лист, основную часть, список литературы. Всего 7 страниц, 1135 слов

Проверка непротиворечивости исходных описаний конечных автоматов

Статья
  • формат rtf
  • размер 67,90 КБ
  • добавлен 26 мая 2013 г.
Выходные данные не приведены. Вишняков Ю.М. — 4 с. Введение. История. Система переходов. СП элементарных РВ. Алгоритм проверки непротиворечивости СРВ. Проверочная таблица. Список литературы.

Проектирование автомата Мура. Микропрограммный автомат Мили

Контрольная работа
  • формат doc
  • размер 803,39 КБ
  • добавлен 14 ноября 2014 г.
СФУ ИКИТ, Красноярск, Кузенков М.В., 1 вариант, 11 стр., 2010г., 3 курс Название дисциплины: "Теория автоматов" Задания №5 и №8 из учебного пособия "Теория автоматов и машинная арифметика" Постников А.И., Вейсов Е.А. Проектирование автомата Мура. Микропрограммный автомат Мили.

Проектирование микропрограммного автомата

Курсовая работа
  • формат doc
  • размер 4,51 МБ
  • добавлен 21 мая 2011 г.
В данной курсовой работе рассмотрена поэтапная разработка цифрового автомата по заданной граф-схеме. Изложена теория цифровых автоматов, приведены основные понятия, рассмотрены основные элементы для проектирования цифрового автомата. Рассмотрены основные этапы проектирования цифрового автомата. Исходные данные: Схема алгоритма функционирования автомата Мура; Элементы памяти: JK-триггер и регистр сдвига.

Проектирование управляющих автоматов

Курсовая работа
  • формат doc
  • размер 289,56 КБ
  • добавлен 30 марта 2016 г.
Нижегородский государственный технический университет им. Р.е.алексеева, Институт радиоэлектроники и информационных технологий, Кафедра информатики и систем управления, Нижний Новгород, 2015. - 15 с. Дисциплина - ЭВМ и периферийные устройства Введение. Абстрактный синтез автомата. Задание. Граф-схема алгоритма автомата (ГСА). Структурный синтез автомата. Граф автомата Мили для рассматриваемой микропрограммы Элементы физического синтеза автом...

Проектирование цифровых устройств

Курсовая работа
  • формат doc
  • размер 325,76 КБ
  • добавлен 18 января 2011 г.
Проектирование автомата Мили Проектирование автомата Мура Проектирование микропрораммного автомата на ППЗУ

Радкевич И.А, Барбасова Т.А. Методичка цифровые автоматы

  • формат doc
  • размер 80.85 КБ
  • добавлен 06 апреля 2009 г.
Методическое руководство предназначено для студентов специальности «Управление и информатика в технических системах» дневной и заочной форм обучения, выполняющих курсовую работу по дисциплине «Цифровые автома-ты», связанную с разработкой цифрового автомата с функциями преобразовате-ля кода. В руководстве изложена постановка цели и задач курсовой работы, приведена информация об основных этапах и технологиях моделирования циф-рового автомата в прог...

Разработка цифрового автомата Мили

Курсовая работа
  • формат doc
  • размер 279,24 КБ
  • добавлен 28 апреля 2011 г.
Разработка цифрового автомата Мили, обеспечивающего преобразование входной шести битовой последовательности Хвх в шести битовую выходную последовательность Yвых в соответствии с таблицей преобразования.

Рейуорд-Смит В. Дж. Теория формальных языков

  • формат pdf
  • размер 1,75 МБ
  • добавлен 22 ноября 2015 г.
Учебный вводный курс. Пер. с англ. — M.: Радио и связь, 1988. — 128 c.: ил. — ISBN 5-256-00159-0. В книге автора из Великобритании изложены основы теории формальных языков. Использован математический аппарат теории множеств, теории графов и математической логики. Все сведения, необходимые для понимания рассмотренных в книге вопросов, приведены в соответствующих главах. Удачно подобранные упражнения в конце каждой главы не только поясняют, но и до...

Рейуорд-Смит В.Дж. Теория формальных языков. Вводный курс

  • формат djvu
  • размер 2.12 МБ
  • добавлен 17 сентября 2009 г.
М.: Радио и связь, 1988. - 128 с. В книге автора из Великобритании изложены основы теории формальных языков. Использован математический аппарат теории множеств, теории графов и математической логики. Все сведения, необходимые для понимания рассмотренных в книге вопросов, приведены в соответствующих главах. Удачно подобранные упражнения в конце каждой главы не только поясняют, но и дополняют основной материал книги. Для разработчиков программного...

Реферат - Детерминированные и недетерминированные конечные автоматы

Реферат
  • формат doc
  • размер 43.48 КБ
  • добавлен 27 ноября 2008 г.
Подробный и доступный доклад о детерминированных и недетерминированных автоматах. Приведены примеры и определения.

Романов В.Ф. Лекции по теории автоматов. Структурный синтез автоматов. Часть 3

  • формат pdf
  • размер 623.36 КБ
  • добавлен 27 мая 2011 г.
Учебное пособие для студентов очной и заочной форм обучения специальностям в области вычислительной техники, информатики и управления. ВлГУ- 2009 3.1. Канонический метод структурного синтеза 3.2. Триггеры 3.3. Регистры 3.4. Сумматоры 3.5. Синтез схемы автомата Мура по заданному графу 3.6. Счетчики 3.7. Кодирование состояний автомата. Пример синтеза автомата Мили Задачи и упражнения Литература

Рощин А.Г. Теория автоматов. Часть I

Практикум
  • формат pdf
  • размер 383,48 КБ
  • добавлен 28 мая 2015 г.
Учебное пособие. - М.: МГТУ ГА, 2015. - 28 с. Данное пособие по выполнению практических занятий издается в соответствии с рабочей программой учебной дисциплины «Теория автоматов» по учебному плану для студентов I курса направления 09.03.01 очной формы обучения. Рассмотрено и одобрено на заседаниях кафедры 02.04.15 г. и методического совета 09.04.15 г. Практические занятия:. Формы логических функци. Построение комбинационной схемы по логической...

Рощин А.Г., Половов Р.М. Теория автоматов. Часть 2

  • формат doc
  • размер 415,82 КБ
  • добавлен 11 июня 2013 г.
Учебное пособие. - М.: МГТУ ГА, 2008. – 116 с., табл., ил., лит.: 6 наим. Данное учебное пособие издается в соответствии с рабочей программой учебной дисциплины СД01 «Теория автоматов» по Учебному плану специальности 230101 для студентов II курса дневного обучения, утвержденному в 2001 году. Учебное пособие являются продолжением ранее изданного пособия «Теория автоматов», часть I В данном учебном пособии рассмотрены типовые структуры автоматов с...

Рощин А.Г., Половов Р.М. Теория автоматов. Часть I

  • формат pdf
  • размер 1,09 МБ
  • добавлен 13 июля 2013 г.
Учебное пособие. - М.: МГТУ ГА, 2007. - 96 с. Учебное пособие предназначено для изучения первой части дисциплины «Теория автоматов» студентами 2-го курса специальности 230101. В пособии рассмотрены элементы теории алгоритмов, основы алгебры логики, а также методы анализа и синтеза комбинационных схем. Подробно рассмотрены методы минимизации логических функций. Особое внимание уделено вопросам минимизации частично определённых логических функций...

Савельвев А.Я. Основы информатики

  • формат pdf
  • размер 4.46 МБ
  • добавлен 18 октября 2008 г.
М.: Изд-во МГТУ им. Н. Э. Баумана. Излагаются основные понятия информатики, методы измерения и представления информации, способы представления числовой информации в информационных системах, методы и алгоритмы выполнения арифметических и логических операций в различных системах счисления. Уделяется внимание методам контроля правильности функционирования цифровых автоматов как основному элементу информационных систем, а также способам защиты инфор...

Савельев А.Я. Прикладная теория цифровых автоматов

  • формат djvu
  • размер 1.4 МБ
  • добавлен 29 января 2008 г.
В книге излагаются способы представления информации в цифровых автоматах, методы выполнения арифметических и логических операций в них, а также методы логического описания и основанные на них методы логического проектирования цифровых устройств. Уделяется внимание разработке способов контроля правильности функционирования цифровых автоматов при выполнении различных операций, методам минимизации логических выражений. Теоретический материал иллюстр...

Салий В.Н. Универсальная алгебра и автоматы

  • формат pdf
  • размер 38.07 МБ
  • добавлен 25 января 2012 г.
Учебное пособие, 1988 г., 73 стр. Саратовский государственный университет. ISBN 5-292-00263-1 В пособии излагаются основные понятия и результаты теории конечных автоматов без выхода, связанные с универсально-алгебраическими конструкциями. Представление об автомате без выхода как о конечной унарной алгебре позволяет применить в теории автоматов хорошо разработанные универсально-алгебраические средства, придать установленным с их помощью фактам ес...

Саломаа А. Жемчужины теории формальных языков

  • формат djvu
  • размер 2.34 МБ
  • добавлен 25 августа 2012 г.
М.: Мир, 1986. 162 с. Книга содержит ряд замечательных результатов теории формальных языков. Она отличается методическими достоинствами, большим числом задач и примеров, постановкой новых проблем. Автор книги — профессор Университета г. Турку (Финляндия), президент Европейской ассоциации вычислительных наук — успешно решил поставленные им две основные задачи: дать замкнутое введение в теорию для начинающих, изложить некоторые блестящие и порой сл...

Самостоятельная работа №1

Лабораторная
  • формат doc
  • размер 52.34 КБ
  • добавлен 22 мая 2006 г.
Представление грамматики конечным автоматом и сетью Петри. Изучение способов задания языков грамматиками, распознающими автоматами, сетями Петри и построение конечного автомата, распознающего заданный язык.

Самостоятельная работа №1 (2)

Лабораторная
  • формат doc
  • размер 53.19 КБ
  • добавлен 23 мая 2006 г.
Представление грамматики конечным автоматом и сетью Петри. Изучение способов задания языков грамматиками, распознающими автоматами, сетями Петри и построение конечного автомата, распознающего заданный язык.

Самостоятельная работа №2

Лабораторная
  • формат doc
  • размер 13.46 КБ
  • добавлен 21 мая 2006 г.
Разработка схемы для управления семисегментным индикатором в булевом базисе.

Самостоятельная работа №2 (2)

Лабораторная
  • формат doc
  • размер 46.44 КБ
  • добавлен 24 мая 2006 г.
Разработка схемы для управления семисегментным индикатором.

Самостоятельная работа №3

Лабораторная
  • формат doc
  • размер 17.32 КБ
  • добавлен 25 мая 2006 г.
Анализ последовательностной схемы. Получение аналитического описания автомата. Восстановление таблицы истинности по аналитическому описанию. Анализ всех возможных начальных состояний, нахождение циклов и тупиковых начальных состояний. Построение таблицы переходов. Построение круговой диаграммы переходов.

Самофалов К.Г., Риманкевич А.М., Валуйский В.Н., Каневский Ю.С., Пиневич М.М. Прикладная теория цифровых автоматов

  • формат pdf
  • размер 11.46 МБ
  • добавлен 16 мая 2011 г.
В учебнике рассмотрены вопросы проектирования к теории цифровых автоматов с учетом их реализации на современной элементной базе: арифметические основы, элементы теории, структурные методы синтеза на интегральных микросхемах, элементы теории помехоустойчивого кодирования и методы аппаратного контроля. Для студентов вузов, обучающихся по специальности «Электронные вычислительные машины». Издатель: К: Вища шк Год издания: 1987 Страниц: 375

Сергиевский Г.М., Короткова М.А. Введение в математическую лингвистику и теорию автоматов

  • формат doc
  • размер 330,51 КБ
  • добавлен 12 июля 2012 г.
Конспект лекций. – М., МИФИ, 2004. - 88С. Учебное пособие предназначено для студентов факультета Кибернетики, изучающих на пятом семестре математическую лингви-стику и основы теории автоматов. Пособие представляет собой конспект лекций по этому курсу. В дальнейшем планируется расширить представленный материал и дополнить его методическими указаниями, примерами и задачами. Пособие может быть полезно всем желающим получить начальные знания по излож...

Синтез автомата

Курсовая работа
  • формат doc
  • размер 302,72 КБ
  • добавлен 13 сентября 2010 г.
ИжГТУ, 2 курс, спец-т 230101 "ВМ, системы, комплексы и сети". Сдано Кропачеву Л. А. Расчет вариантов исходного задания. Преобразование алфавитного отображения к автоматном. Построение формализованного описания работы автомата. Минимизация числа внутренних состояний автомата. Кодирование внутренних состояний автомата. Построение кодированной таблицы переходов и выходов автомата. Синтез структурного автомата на элементах задержки. Построение функци...

Синтез комбинационных схем и конечных автоматов. Сети Петри

Курсовая работа
  • формат doc
  • размер 130,62 КБ
  • добавлен 11 мая 2013 г.
Кубанский государственный технологический университет, Краснодар, 1999. — 38 с. Первая часть курсовой работы посвящена минимизации булевых функций двумя различными способами, а также построению комбинационных схем в базисах, состоящих всего из одной функции. Вторая часть содержит основные понятия и определения из теории конечных автоматов, а также пример их использования для конкретного автомата. Сюда входит минимизация конечных автоматов по числ...

Синтез конечного автомата

Курсовая работа
  • формат doc, image, xls
  • размер 3,66 МБ
  • добавлен 08 июня 2011 г.
Лэти. ОФ. 17 вариант гса, авт. Мура, Мили, абстрактный, структурный синтез, комбинационная схема, временная диаграмма триггера D, КС, реализация авт. на ПЛМ и ПЗУ

Синтез конечного распознающего автомата

Курсовая работа
  • формат doc, exe, image, txt
  • размер 1,96 МБ
  • добавлен 08 марта 2012 г.
БГТУ Брянск, 2012 г. Реализовано на MS VisualStudio 2010. Теоретическая часть. Индивидуальное задание. Переход от право-линейной грамматики к автоматной. Построение недетерминированного распознающего автомата. Преобразование недетерминированного конечного автомата в детерминированный конечный автомат. Минимизация автомата. Список используемой литературы. Скриншоты работы программы. Листинг программы.

Сухинин Б.М. Разработка и исследование высокоскоростных генераторов псевдослучайных равномерно распределенных двоичных последовательностей на основе клеточных автоматов

Дисертация
  • формат pdf
  • размер 12,63 МБ
  • добавлен 27 сентября 2014 г.
Диссертация на соискание ученой степени кандидата технических наук. Москва, МГТУ им. Баумана, 2011 — 224 стр. Специальность: 05.13.17 —Теоретические основы информатики Научный руководитель: к.ф-м.н. А. Е. Жуков Цель работы: разработка новых генераторов псевдослучайных равномерно распределенных двоичных последовательностей, отвечающих следующим требованиям: - выходные последовательности генераторов на длине периода должны быть статистически неотли...

Сучкова Л.И. Абстрактный и структурный синтез автоматов

  • формат pdf
  • размер 3.17 МБ
  • добавлен 08 марта 2011 г.
Учебное пособие по дисциплине «Теория автоматов» / Л. И. Сучкова; АлтГТУ им. И. И. Ползунова. – Барнаул, Изд-во АлтГТУ, 2009. – 162 c., ил. В учебном пособии изложен теоретический материал по разделам курса «Теория автоматов», приведены задания для выполнения лабораторных работ по рассмотренным в пособии темам, дано описание обучающего программного комплекса по курсу. Учебное пособие предназначено для студентов, обучающихся на специальности «Вы...

Татарчевский В. Применение SWITCH-технологии

  • формат pdf
  • размер 1,25 МБ
  • добавлен 10 января 2016 г.
СПб.: КиТ, 2006. - 32 с. Описывают применение SWITCH-технологии для организации работы с микроконтроллерами, а также даются примеры на СИ. Описываются конечные автоматы Мура и Мили, а также смешанный автомат.

Титов И.И. Проектирование управляющих автоматов

Практикум
  • формат doc
  • размер 98,17 КБ
  • добавлен 06 апреля 2016 г.
Метод, указания к выполнению курсовой работы для студентов направления 230100 - «Информатика и вычислительная техника» по профилю «Автоматизированные системы обработки информации и управления» / НГТУ; Сост.: И.И.Титов Н.Новгород. 2012. 23с. Основные понятия теории автоматов Начальные языки описания цифровых автоматов Автоматные языки для задания автоматных отображений Синтез управляющих автоматов Задание на курсовую работу

Трахтенброт Б.А., Барздинь Я.М. Конечные автоматы (поведение и синтез)

  • формат djvu
  • размер 3.58 МБ
  • добавлен 24 сентября 2010 г.
М., "Наука", 1970 г. , 400 стр. Книга посвящена поведенческой (абстрактной) теории автоматов: Поведение автоматов без выходов и с выходом. Метаязыки. Расшифровка автоматов. Статистические оценки параметров и спектров автоматов.

Тюрин С.В., Акинина Ю.С. Практические задачи теории автоматов

  • формат doc
  • размер 186.72 КБ
  • добавлен 07 января 2009 г.
Практические задачи теории автоматов: Методические рекомендации по выполнению лабораторных работ № 1-9 по дисциплине «Теория автоматов» для студентов специальности 230101 очной формы обучения Методическое пособие содержит краткие теоретические сведения и задания для получения первичных навыков по прак-тическому решению задач логического проектирования доста-точно простых узлов цифровой вычислительной техники. Предназначено для студентов второго...

Умножения чисел в прямом коде в формате с плавающей запятой

Курсовая работа
  • формат doc, kompas, vsd, xls
  • размер 871,74 КБ
  • добавлен 08 сентября 2012 г.
Разработан алгоритм умножения чисел в прямом коде в формате с плавающей запятой. разрядность операндов – мантисс M = 16, порядков P = 6; математическая модель – автомат Мили; элементный базис – Булевый базис; в качестве элементов памяти использовать D – триггеры; Угату, Фрид А.И., ВТиЗи, 2012, ВМ, 5 семестр.

Фон Нейман Дж. Теория самовоспроизводящихся автоматов

  • формат djvu
  • размер 2.45 МБ
  • добавлен 22 ноября 2009 г.
Исследования одного из крупнейших математиков современности Дж. фон Неймана по теории самовоспроизводящихся автоматов представляют один из существенных этапов формирования этой теории. Работы, включенные в этот том, находились в рукописях и до сих пор были известны лишь по их изложению и по отдельным статьям, навеянным личным знакомством с автором и его рукописями. Издание настоящей книги, безусловно, будет стимулировать другие работы в этом напр...

Хопкрофт Д., Мотвани Р., Ульман Дж. Введение в теорию автоматов, языков и вычислений

  • формат djvu
  • размер 3.88 МБ
  • добавлен 15 июня 2009 г.
2002 г., второе издание, 528 стр. Книга известных американских ученых посвящена теории автоматов и соответствующих формальных языков и грамматик - как регулярных, так и контекстно-свободных. Во второй части рассматриваются различные машины Тьюринга, при помощи которых формализуются понятия разрешимых и неразрешимых проблем, а также определяются функции временной и емкостной оценки сложности алгоритмов. Изложение ведется строго, но доступно, и соп...

Хопкрофт Д., Мотвани Р., Ульман Дж. Введение в теорию автоматов, языков и вычислений

  • формат pdf
  • размер 20,94 МБ
  • добавлен 06 августа 2014 г.
2-е изд. Пер. с англ. — Москва; Санкт-Петербург; Киев: Вильямс, 2008. — 528 с.: ил. — ISBN 978-5-8459-1347-0. Книга известных американских ученых посвящена теории автоматов и соответствующих формальных языков и грамматик - как регулярных, так и контекстно-свободных. Во второй части рассматриваются различные машины Тьюринга, при помощи которых формализуются понятия разрешимых и неразрешимых проблем, а также определяются функции временной и емкостн...

Цетлин М.Л. Исследования по теории автоматов и моделированию биологических систем

  • формат pdf
  • размер 12.34 МБ
  • добавлен 05 ноября 2010 г.
1969г. , 316стр. Книга составлена из основных работ выдающегося советского специалиста в области кибернетики М. Л. Цетлина. Первая часть книги посвящена математическому моделированию простейших форм целесообразного поведения. Излагается теория игр автоматов. Отыскивается конструкция достаточно универсального автомата, обеспечивающего выигрыш в широком классе игр. Приводятся примеры таких конструкций. Вторая часть содержит очерки о биологических с...

Цифровые автоматы

Практикум
  • формат doc
  • размер 621,07 КБ
  • добавлен 25 декабря 2016 г.
Автор и выходные данные не указаны, Методические указания по выполнению лабораторных работ, 43 с. Ниже приведены названия лабораторных работ. Реализация логических функций в различных базисах. Формы представления цифровых автоматов с памятью (автоматов Мили). Формы представления цифровых автоматов без памяти (автоматов Мура). Элементарные конечные автоматы: структура и функционирование однотактного RS-триггера. Элементарные конечные автоматы: стр...

Чорней Р.К. Теорія автоматів

  • формат pdf
  • размер 623.42 КБ
  • добавлен 26 сентября 2011 г.
Посібник для студентів I - II курсів, що вивчають курс "Дискретної математики". Даний посібник складається з одного розділу "Теоріі автоматів" та 35 додаткових завдань. Вся теорія детально описана, з наочними прикладами. Зміст Поняття скінченного автомата. Автоматне відображення Гомоморфізм, ізоморфізм і еквівалентність автоматиів Мінімальний автомат Автомати Мілі та автомати Мура

Шпора по теории автоматов

Шпаргалка
  • формат doc
  • размер 76.22 КБ
  • добавлен 22 декабря 2010 г.
Регистры, счетчики, триггеры операции выполняемые регистрами; режимы работы регистра; функции сдвигающего регистра. Счетчики: определение; разделение счетчиков по назначению; двоичный счетчик с параллельным переносом; десятичный счетчик; Асинхронные счетчики с послед. переносом Триггеры: RS-триггеры; Т-триггеры; D-триггеры; JK-триггеры;

Шпоры - Теория автоматов

Шпаргалка
  • формат doc, docx
  • размер 3.94 МБ
  • добавлен 14 января 2011 г.
ЮУрГУ, специальность 230101, 2 курс (3 семестр) Билеты: 1. Цифровой автомат — общее понятие и особенности как математической модели реальных дискретных устройств. Абстрактные и структурные цифровые автоматы. Задание абстрактного цифрового автомата. 2. Структурный цифровой автомат — общее понятие, особенности как математической модели реальных дискретных устройств. Синтез структурных цифровых автоматов — постановка задачи, этапы синтеза и их общая...

Шпоры по теории автоматов

pottee
  • формат doc
  • размер 401.11 КБ
  • добавлен 30 мая 2006 г.
Строки. Префиксы, суффиксы, подстроки. Языки. Форма Бэкуса-Наура. Дерево вывода. Синтаксические и семантические деревья. Замыкание Клини. Контекстная грамматика. Контекстно-свободная гр-ка(КС/Г). Регулярные языки. Порождающие грамматики. Виды, примеры. Классификация языков по Хомскому. Примеры. Регулярные грамматики и конечный автомат. Автоматы и теория алгоритмов. Распознавание мн-в автоматами. Распознаватели, задачи, виды распознавателей. Машин...

Шпоры по теории автоматов

Шпаргалка
  • формат doc
  • размер 18,94 КБ
  • добавлен 15 июня 2013 г.
Выходные данные не приведены. Автор не известен. — 6 с. Определение ЦА. Основные понятия теории автоматов: ЦА конечные, синхронные, асинхронные, идеализированные, абстрактные, структурные. Абстрактная и структурная теория автоматов. Варианты ЦА Автоматы Мили и Мура. С-автомат. Автомат без памяти. Автономный автомат. Автомат без выхода. Управляющие и операционные автоматы. Микропрограммные автоматы. Автоматы Мили и Мура. С-автомат. Законы фун...

Adamatzky A. etc. Automata-2008. Theory and Applications of Cellular Automata

  • формат pdf
  • размер 14.97 МБ
  • добавлен 01 ноября 2011 г.
Издательство 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 is the 14th workshop in a series of AUTOMATA workshops established in...

Aiserman M., Gusev L., Rozonoer L., Smirnova l., Tal A. Logic, Automata, and Algorithms

  • формат pdf
  • размер 5.3 МБ
  • добавлен 03 января 2012 г.
Издательство Academic Press, 1971, -444 pp. 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 future. In writing this text, we had in mind a wide audience. We naturally hoped i t would be useful to specialists in switching or digital computer theory and design. Such persons are already familiar wi...

Bel-Enguix G., Jim?nez-L?pez M.D., Mart?n-Vide (eds.). New Developments in Formal Languages and Applications

  • формат pdf
  • размер 4.31 МБ
  • добавлен 05 декабря 2011 г.
Издательство Springer, 2008, -278 pp. The theory of formal languages is widely accepted as the backbone of theoretical computer science. It mainly originated from mathematics (combinatorics, algebra, mathematical logic) and generative linguistics. Later, new specializations emerged from areas of either computer science (concurrent and distributed systems, computer graphics, artificial life), biology (plant development, molecular genetics), lingu...

Bowman H., Gomez R. Concurrency Theory. Calculi and Automata for Modelling Untimed and Timed Concurrent Systems

  • формат pdf
  • размер 1.79 МБ
  • добавлен 03 января 2012 г.
Издательство Springer, 2006, -444 pp. 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 manmade artefacts are considered. In particular, comput...

Carroll J., Long D. Theory of Finite Automata with an Introduction to Formal Languages

  • формат pdf
  • размер 14.54 МБ
  • добавлен 01 ноября 2011 г.
Издательство Prentice Hall, 1989, -447 pp. 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 today to represent modern TIL (transistor-transistor lo...

Comon H. etc. Tree Automata Techniques and Applications

  • формат pdf
  • размер 1.7 МБ
  • добавлен 03 января 2012 г.
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 Gecseg and Steinby. Unfortunately, it is now impossible to find a cop...

Cинтез цифровых автоматов

Практикум
  • формат pdf
  • размер 926,88 КБ
  • добавлен 13 ноября 2016 г.
Автор не указан, Методические указания к курсовому проектированию, Санкт – Петербургский государственный университет аэрокосмического приборостроения, Санкт – Петербург, 2016. - 27 с. Абстрактный синтез цифрового автомата. Граф цифрового автомата. Минимизация цифрового автомата. Структурный синтез автомата. Кодирование. Кодированный граф минимального автомата. Описание ЦА логическими функциями. Гонки в цифровом автомате. Структурная схема ЦА. Сод...

D?m?si P., Nehaniv C.L. Algebraic Theory of Automata Networks. An Introduction

  • формат pdf
  • размер 13.64 МБ
  • добавлен 03 января 2012 г.
Издательство Springer, 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 function of the states and a global input, and synchronous action of the local state transitio...

Ginzburg A. Algebraic Theory of Automata

  • формат djvu
  • размер 1.89 МБ
  • добавлен 01 ноября 2011 г.
Издательство 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 serve as a text for a one-semester course in Automata Theory. The...

Holcombe W.M.L. Algebraic Automata Theory

  • формат pdf
  • размер 9.1 МБ
  • добавлен 11 января 2011 г.
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 based on fundamental ideas from modern algebra. Motivation for many of...

Hopcroft John E., Motwani Rajeev, Ullman Jeffrey D. Introduction to Automata Theory, Languages, and Computation (2nd Edition)

  • формат djvu
  • размер 8.64 МБ
  • добавлен 29 марта 2011 г.
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.

Kaynar D.K., Lynch N., Segala R., Vaandrage F. The Theory of Timed I-O Automata

  • формат pdf
  • размер 690.8 КБ
  • добавлен 01 ноября 2011 г.
Издательство 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 of their occurrence. Timed systems are employed in a wide range of...

Kobrinskii N.E., Trakhtenbrot B.A. Introduction to the Theory of Finite Automata

  • формат djvu
  • размер 2.09 МБ
  • добавлен 01 ноября 2011 г.
Издательство 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 (termed robots). These automata take the form of independent special-purpo...

Kozen D.C. Automata and Computability

  • формат djvu
  • размер 4.05 МБ
  • добавлен 03 января 2012 г.
Издательство Springer, 1997, -414 pp. 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 computer science majors at Cornell. It exists in two forms:...

Kudryavtsev V.B., Rosenberg I.G. Structural Theory of Automata, Semigroups, and Universal Algebra

  • формат pdf
  • размер 3.06 МБ
  • добавлен 01 ноября 2011 г.
Издательство 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 well-established reputation. This book contains the contributions of most of its in...

Lawson M.V. Finite Automata

  • формат pdf
  • размер 5.93 МБ
  • добавлен 27 декабря 2011 г.
Издательство CRC Press, 2004, -326 pp. 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 in mathematics, mathematicians did not spell out precis...

Mikolajczak B. Algebraic and structural automata theory

  • формат djvu
  • размер 2.16 МБ
  • добавлен 01 ноября 2011 г.
Издательство 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, digital systems of control for technological processes, and digital sys...

Pin J.E. (ed.) Formal Properties of Finite Automata and Applications

  • формат djvu
  • размер 2.38 МБ
  • добавлен 01 ноября 2011 г.
Издательство Springer, 1989, -268 pp. 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 been divided into three sections. The first section is de...

Reghizzi S.C. Formal Languages and Compilation

  • формат pdf
  • размер 2.6 МБ
  • добавлен 05 декабря 2011 г.
Издательство Springer, 2009, -370 pp. The book collects and condenses the experience of years of teaching compiler courses and doing research on formal language theory, on compiler and language design, and to a lesser extent on natural language processing. In the turmoil of information technology developments, the subject of the book has kept the same fundamental principles over half a century, and its relevance for theory and practice is as imp...

Rozenberg G., Salomaa A. (Eds.) Handbook of Formal Languages. Volume 2. Linear Modeling: Background and Application

Справочник
  • формат djvu
  • размер 15 МБ
  • добавлен 28 сентября 2011 г.
Издательство Springer, 1997, -552 pp. The need for a comprehensive survey-type exposition on formal languages and related mainstream areas of computer science has been evident for some years. In the early 1970s, when the book Formal Languages by the second-mentioned editor appeared, it was still quite feasible to write a comprehensive book with that title and include also topics of current research interest. This would not be possible any more....

Rozenberg G., Salomaa A. (eds.) Handbook of Formal Languages: Volume 1. Word, Language, Grammar

Справочник
  • формат pdf
  • размер 71.47 МБ
  • добавлен 06 октября 2011 г.
Издательство Springer, 1997, -873 pp. This first volume of the Handbook of Formal Languages gives a comprehensive authoritative exposition on the core of language theory. Grammars, codes, power series, L systems, and combinatorics on words are all discussed in a thorough, yet self-contained manner. This is perhaps the most informative single volume in the history of theoretical computer science. As a Ph.D. candidate working in parsing and intere...

Salcido A. (ed.) Cellular Automata - Simplicity Behind Complexity

  • формат pdf
  • размер 13.92 МБ
  • добавлен 29 октября 2011 г.
Издательство InTech, 2011, -580 pp. 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 finite-dimensional lattice, with each site having a finite numb...

Salomaa A., Wood D., Yu S. (eds.) A Half-Century of Automata Theory. Сelebration and Inspiration

  • формат djvu
  • размер 608.85 КБ
  • добавлен 01 ноября 2011 г.
Издательство 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 directions. To celebrate the achievements in automata theory in the past h...

Shallit J. A Second Course in Formal Languages and Automata Theory

  • формат pdf
  • размер 1.36 МБ
  • добавлен 14 октября 2011 г.
Издательство Cambridge University Press, 2008, -254 pp. Intended for graduate students and advanced undergraduates in computer science, A Second Course in Formal Languages and Automata Theory treats topics in the theory of computation not usually covered in a first course. After a review of basic concepts, the book covers combinatorics on words, regular languages, context-free languages, parsing and recognition, Turing machines, and other langua...

Subramanian K.G., Rangarajan K., Mukund M. (eds.) Formal Models, Languages and Applications

  • формат pdf
  • размер 16.46 МБ
  • добавлен 10 декабря 2011 г.
Издательство World Scientific, 2006, -420 pp. This volume of contributed papers commemorates the 75th birthday of Prof. Rani Siromoney, one of the foremost theoretical computer scientists in India and a leading authority on Formal Languages and Automata Theory. Over a period spanning four decades, she has made tremendous technical contributions to the field through her research. She has also inspired generations of students in Chennai with her t...

Tao R. Finite Automata and Application to Cryptography

  • формат pdf
  • размер 3.31 МБ
  • добавлен 28 сентября 2011 г.
Издательство Tsinghua/Springer, 2008, -441 pp. 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 University Press and Springer. The book will be of special interest for student...

Taubner D. Finite Representations of CCS and TCSP Programs by Automata and Petri Nets

  • формат djvu
  • размер 1.31 МБ
  • добавлен 01 ноября 2011 г.
Издательство Springer, 1989, -167 pp. 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 automata; it has concurrency and causality as its basic concep...

Von Neumann J. Theory of Self-reproducing Automata

  • формат djvu
  • размер 4,45 МБ
  • добавлен 17 августа 2012 г.
Издательство 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 states with a general transition rule Design op some basic organs De...

Xavier S.P.E. Theory of Automata Formal Languages and Computation

  • формат pdf
  • размер 1.89 МБ
  • добавлен 01 ноября 2011 г.
Издательство New Age International, 2005, -360 pp. This book deals with a fascinating and important subject which has the fundamentals of computer hardware, software and some of their applications. This book is intended as an introductory graduate text in computer science theory. I have taken care to present the material very clearly and interestingly. As an introductory subject to computer science, this book has been written with major stress o...