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

Практикум

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

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

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

Содержание
Конечные автоматы
Основные определения
Упражнения
Эквивалентность и минимизация полных автоматов
Упражнения
Частичные автоматы и их минимизация
Упражнения
Конечные распознаватели
Основные определения
Упражнения
Эквивалентность и минимизация конечных распознавателей
Упражнения
Недерминированные конечные распознаватели
Определение и построение
Упражнения
Эквивалентность автоматов
Упражнения
Автоматы с магазинной памятью
Недетерминированные МП-автоматы
Упражнения
Детерминированные МП-автоматы
Упражнения
Формальные языки и грамматики
Способы определения языков
Упражнения
КС - грамматики
Основные определения
Упражнения
Приведение КС-грамматик
Упражнения
Преобразования грамматик
Упражнения

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

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

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

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

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

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

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

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

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

формат pdf
размер 1.25 МБ
добавлен 19 сентября 2010 г.

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

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

формат djvu
размер 3.64 МБ
добавлен 15 октября 2011 г.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

pottee

формат doc
размер 401.11 КБ
добавлен 30 мая 2006 г.

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