URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Брауэр В. Введение в теорию конечных автоматов. Пер.с нем.
Id: 94160
 

Введение в теорию конечных автоматов. Пер.с нем.

1987. 392 с. Твердый переплет. Букинист. Состояние: 4+. .
Обращаем Ваше внимание, что книги с пометкой "Предварительный заказ!" невозможно купить сразу. Если такие книги содержатся в Вашем заказе, их цена и стоимость доставки не учитываются в общей стоимости заказа. В течение 1-3 дней по электронной почте или СМС мы уточним наличие этих книг или отсутствие возможности их приобретения и сообщим окончательную стоимость заказа.

 Аннотация

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

Для инженерно-технических работников, связанных с приложениями теории конечных автоматов, а также работающих в области информатики и вычислительной техники.


 Оглавление

Предисловие

Глава 1. Основные математические понятия

Введение

1.1. Множества

1.2. Соответствия и отображения

1.3. Отношения и графы

1.4. Моноиды и гомоморфизмы

1.5. Методы доказательств

Глава 2. Автоматы Мили

2.1. Вводный пример

2.2. Определение, пример и контрпример

2.3. Реакция, эквивалентность, сокращение

2.4. О способе определения эквивалентности состояний

2.5. Метод Хопкрофта --- Гриса

2.6. Различимость входных последовательностей

2.7. Автоматы Мили с конечной памятью

Упражнения

Обзор литературы

Глава 3. Автоматы Мура

3.1. Вводный пример

3.2. Определение и первое сравнение с автоматами Мили

3.3. Реакция, эквивалентность, сокращение

3.4. Равносильность автоматов Мили и Мура

3.5. Дальнейшие примеры

3.6. Гомоморфизмы и изоморфизмы

3.7. Аппроксимация отображений

3.8. Эксперименты

3.9. Однократные автономные диагностические эксперименты с дополнительной информацией

Упражнения

Обзор литературы

Глава 4. Частичные автоматы Мили

4.1. Вводные примеры

4.2. Определение, различные понятия реакции и эквивалентности, совместность

4.3. Доопределение и сокращение

4.4. Покрытие и минимизация

4.5. Алгебраическая постановка проблемы минимизации

Упражнения

Обзор литературы

Глава 5. Автоматы Рабина --- Скотта

5.1. Вводные примеры

5.2. Недетерминированные автоматы Рабина --- Скотта (НРС-автоматы)

5.3. Реакция, допустимые множества

5.4. Детерминированные автоматы и различимые множества

5.5. Эквивалентность различных понятий

5.6. Равенства и системы равенств

5.7. Рациональные выражения

Упражнения

Обзор литературы

Глава 6. Преобразования автоматов

6.1. Вводные примеры

6.2. Преобразование НРС-автомата в PC-автомат

6.3. Минимизация детерминированных автоматов

6.4. Проблема минимизации для НРС-автоматов

6.5. Методы уменьшения числа состояний

6.6. Частные и производные

Упражнения

Обзор литературы

Глава 7. Дальнейшие характеризации допустимых множеств

7.1. Последовательности вычислений программ, схемы Янова

7.2. Графы Майхллла

7.3. Стандартные множества

7.4. Двусторонние автоматы

7.5. Автоматы с предварительным просмотром

7.6. Матричные представления

7.7. НРС-автоматы с одноэлементным входным алфавитом

Упражнения

Обзор литературы

Глава 8. Преобразователи и двуленточные автоматы

8.1. Ретроспекция

8.2. а-преобразователи

8.3. Неразрешимость проблемы эквивалентности а-преобразователей

8.4. Двуленточные автоматы Элго --- Мезея

8.5. Двуленточные автоматы Элго---Эйленберга --- Шефердсона

8.6. Детерминированные двуленточные автоматы

8.7. Двуленточные автоматы Рабина --- Скотта

8.8. Обобщения

Упражнения

Обзор литературы

Список литературы

Список работ советских авторов и работ, переведенных на русский язык

Поедметный указатель

 
© URSS 2016.

Информация о Продавце