Раздел 6 / 10

Страница 1 / 7

Приложение 2. Конечные автоматы

Режим постраничного просмотра

/

На первую страницу

На предыдущую главу

На следующую главу

На последнюю страницу

Озвучивание недоступно

/

Внимание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.

Режим постраничного просмотра

Для продолжения работы требуется Registration

На предыдущую главу

На следующую главу

Скачать приложение

Дискретная математика. Формально-логические системы и языки

Table of contents

Предисловие

Введение

Часть I. АЛГЕБРА ЛОГИКИ И ПРЕДИКАТЫ +

Часть II. МОНАДИЧЕСКАЯ ЛОГИКА И КОНЕЧНЫЕ АВТОМАТЫ +

Приложение 1. Логика высказываний и предикатов. Пролог

Приложение 2. Конечные автоматы

Приложение 3. Анализ конечных автоматов

Приложение 4. Синтез конечных автоматов

Литература

Обозначения