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

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

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

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

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

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

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

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

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

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

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