Электронная книга – цифровая версия продукта

Название: Введение в теорию вычислений

Автор: Майкл Сипсер

Формат файла: epub, mobi

Издательство: Wydawnictwo Naukowe PWN

Количество страниц: 500

Издания: 1

Год выпуска: 2020

ISBN: 978-83-01-21099-1

язык: польский

Описание:

Введение в теорию вычислений — самый популярный учебник по теории вычислений. Речь идет об основах информатики, и в частности о вычислительных возможностях современных компьютеров.

Книга состоит из трех частей. Первый посвящен автоматам и формальным языкам. В нем обсуждается недетерминизм, эквивалентность детерминированных и недетерминированных автоматов, регулярные выражения, критерии нерегулярных языков и контекстно-свободные языки. Вторая часть касается теории вычислимости. Он описывает ограничения современных компьютеров и объясняет концепции разрешимости и неразрешимости. Третья часть посвящена теории сложности. Представлены основные классы вычислительной сложности, класс NP-полных задач, а также классификация задач по возможности их автоматического решения при ограниченных ресурсах.

Третье издание включает совершенно новый раздел, посвященный детерминированным контекстно-свободным языкам. Она также дополнена новыми упражнениями, задачами и примерами.

Книга адресована студентам-компьютерщикам всех университетов.

Оглавление:

Предисловие к первому изданию IX

Студентам IX

Учителям X

Первое издание XIV

Предисловие к третьему изданиюXVII

0. Введение1

0.1 Автоматы, вычислимость и сложность 1

Теория сложности 2

Теория вычислимости 3

Теория автоматов 3

0.2 Математические понятия и терминология 3

Множества 3

Последовательности и кортежи 6

Функции и отношения 7

Графики 10

Слова и языки 13

Булева логика 14

Сводка математических терминов 15

0,3 Определения, теоремы, и доказательства 17

Поиск доказательств 17

0,4 Виды доказательств 21

Доказательство по конструкции 21

Косвенное доказательство (путем сведения к противоречие) 21

Индуктивное доказательство 23

Доказательство 24

Часть I. АВТОМАТИКА И ЯЗЫКИ29

<б> 1. Регулярные языки 31

1.1 Конечные автоматы 31

Формальное определение конечных автоматов 34

Примеры конечных автоматов 37

Вычисления по формальному определению 39

Проектирование конечных автоматов 40

Регулярные операции 43

1.2 Недетерминизм 47

Формальное определение недетерминированные конечные автоматы 52

Эквивалентность NFA и DFA 54

Замыкание за счет регулярных операций 58

1.3 Регулярные выражения 62

Формальное определение регулярного выражения 63

Эквивалентность с конечными автоматами 65

1.4 Нерегулярные языки 75

Лемма о наращивании для регулярных языков 76

2.1 Контекстно-свободные грамматики 102

Формальное определение контекстно-свободных грамматик 104

Проектирование контекстно-свободных грамматик 106

Неоднозначность 107

Нормальная форма Хомского 108

2.2 Стек-автоматы 111

Формальное определение стек-автомата 112

Примеры стековых автоматов 114

Эквивалентность с контекстно-свободными грамматиками 116

2.3 Неконтекстно-свободные языки 124

Лемма о накачке контекстно-свободных языков свободные языки 125

2.4 Детерминированные контекстно-свободные языки 130

Свойства языков DCFL 133

Детерминированные контекстно-свободные грамматики 136

Зависимости между грамматиками DPDA и DCFG 147

Разбор и грамматики LR(k) 153

Часть II. ТЕОРИЯ ВЫЧИСЛИМОСТИ167

3. Гипотеза Чёрча-Тьюринга169

3.1 Машины Тьюринга 169

Формальное определение машины Тьюринга 171

Примеры машин Тьюринга 174

3.2 Разновидности машин Тьюринга 179

Многополосные машины Тьюринга 180

Недетерминированные машины Тьюринга 182

Счетчики 184

Эквивалентность с другими моделями 185

p>

3.3 Определение алгоритма 186

Задачи Гильберта 187

Соглашение для описания машин Тьюринга 189

4. Разрешимость199

4.1 Разрешимые языки 200

Разрешимые проблемы для обычных языков 200

Разрешимые проблемы для контекстно-свободных языков 204

4.2 Неразрешимость 207

Метод диагонализации 208

Неразрешимый язык 213

Неразрешимый язык Тьюринга 216

< б>5. Сводимость223

5.1 Неразрешимые проблемы теории языка 224

Редукции посредством истории вычислений 228

5.2 Простая неразрешимая проблема 235

5.3 Снижение расхода

----

Важная информация о продукте:

ЭЛЕКТРОННАЯ КНИГА — ЦИФРОВОЙ ПРОДУКТ

Вы можете скачать файл в своей учетной записи Allegro на вкладке «Моя полка».

Для покупки электронной книги у вас должна быть учетная запись на Allegro.

Электронная книга будет защищена водяным знаком и не имеет DRM.