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

формат djvu
размер 4.17 МБ
добавлен 28 сентября 2011 г.

Издательство Наука, 1984, -194 с.

В книге излагаются результаты работы авторов по созданию теории конечных автоматов, основанной на применении отношений эквивалентности. Наряду с традиционными задачами, решаемыми в теории автоматов, предлагаемый подход позволяет ставить и решать многие новые задачи, например задачу о реализуемости заданно поведения в автомате определенного класса (инициальном, детерминированном, полностью определенном, автомате с конечной памятью), задачу об эквивалентности двух неинициальных автоматов и др.
Книга предназначена для специалистов, работающих в области и следования и проектирования дискретных управляющих устройств, а также для математиков, специализирующихся в теории автоматов и языков их описания.

Конечный автомат – модель и поведение
Описание регулярных множеств
Некоторые дополнения к теории ЯЭП
Языки эквивалентных преобразований и конечноавтоматные множества
Множества с конечной памятью
Некоторые приложения

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

Смотрите также

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

формат djvu
размер 3.6 МБ
добавлен 10 ноября 2010 г.

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

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

формат djvu
размер 11.68 МБ
добавлен 23 сентября 2010 г.

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

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

формат pdf
размер 475.64 КБ
добавлен 06 ноября 2010 г.

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

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

формат djvu
размер 1.93 МБ
добавлен 18 марта 2010 г.

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

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

формат exe
размер 8.96 МБ
добавлен 09 августа 2008 г.

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

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

Практикум

формат doc
размер 102.1 КБ
добавлен 05 января 2012 г.

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

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

Статья

формат doc
размер 100.04 КБ
добавлен 20 декабря 2008 г.

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

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

формат pdf
размер 539.73 КБ
добавлен 10 февраля 2010 г.

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

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

формат pdf
размер 38.07 МБ
добавлен 25 января 2012 г.

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

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

формат djvu
размер 3.58 МБ
добавлен 24 сентября 2010 г.

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