DANG DANGWANG Автоматическая теория машин, языковые и вычислительные введение (оригинальная книга 3 -е издание · версия коллекции) Компьютерная сеть Другая компьютерная книга книги «Букмейкеры» издательский дом подлинные книги
Цена: 1 761руб. (¥83.3)
Артикул: 676229473768
Вес товара: ~0.7 кг. Указан усредненный вес, который может отличаться от фактического. Не включен в цену, оплачивается при получении.
Описание товараПродавец:当当网官方旗舰店
Рейтинг:
Всего отзывов:0
Положительных:0
Добавить в корзину
Другие товары этого продавца
¥63.841 349руб.
¥47.521 005руб.
¥16.7353руб.
¥79.111 672руб.
......Основная информация
| Название продукта: | формат: | 16 | |
| Автор: | [美] Джон·Э. Джон Э. Хопкрофт | Цены: | 119.00 |
| Номер ISBN: | 9787111704294 | Время публикации: | 2022-05-19 |
| Издательство: | Машиностроительная промышленность Пресса | Время печати: | 2022-05-19 |
| Издание: | 1 | Время печати: | 1 |
Предисловие
Глава Авто: Метод и опыт 1
1.1 Зачем изучать автоматическую теорию машины 1
1.1.1 Введение в плохую автоматическую машину 1
1.1.2 Представление структуры 3
1.1.3 Автоматическая машина и сложность 3
1.2 Введение в формализованное доказательство 3
1.2.1 Сертификат Discovery 4
1.2.2 Помощь в определении 6
1.2.3 Другие формы теоремы 7
1.2.4 На поверхности это не «if-zese».
Теорема 9
1.3 Другие формы доказательства 9
1.3.1 Докажите коллекцию эквивалента 9
1.3.2 Обратное отсутствие предложения 10
1.3.3 Anti -Cover 12
1.3.4 Обратный пример 12
1.4 Индукционный сертификат 13
1.4.1 Метод индукции на целое число 13
1.4.2 Более формальный метод индукции целого числа 16
1.4.3 Метод структурной индукции 16
1.4.4 Взаимная подписка 18
1.5 Центральная концепция теории автоматических машин 19
1.5.1 Алфавит 19
1.5.2 строка 20
1.5.3 Язык 21
1.5.4 Вопрос 21
1.6 Резюме 23
1.7 Ссылки 24
Глава 2 Плохое самоотивация 25
2.1 До описания формата плохой самоотивации 25
2.1.1 Основные правила 26
2.1.2 Протокол 26
2.1.3 Разрешить автоматическую машину игнорировать действие 27
2.1.4 Вся система становится автоматической машиной 29
2.1.5 Соглашение о защите профиля проверки 30 30
2.2 Определение типа имеет плохую мотивацию 30
2.2.1 Определение плохой мотивации 31
2.2.2 Как иметь дело с DFA 31
2.2.3 DFA упрощенная марка 32
2.2.4 Распространение трансферной функции на строку 33
2.2.5 DFA Language 35
2.2.6 Упражнение 35
2.3 Не -К имеет плохую мотивацию 37
2.3.1 Неопределенный тип неформальной перспективы с плохой самоотивацией 37
2.3.2 Неопределенное определение плохой самоотивации 38
2.3.3 Функция передачи расширения 39
2.3.4 NFA Language 39
2.3.5 ОК, чтобы иметь плохую мотивацию и не подтвержденный тип с плохой мотивацией 40
2.3.6 Плохая ситуация подмножества структуры 43
2.3.7 Упражнение 45
2.4 Приложение: текстовый поиск 46
2.4.1 Найти строки 46 в тексте
2.4.2 Неопределенные типы текстового поиска плохие и самостоятельно -мотивированные 46
2.4.3 DFA 47 распознанная коллекция ключевых слов
2.4.4 Упражнение 49
2,5 Плохая мотивация 49 с E с E, перенесенным 49
2.5.1 E Diverert 49
2.5.2 Определение формата E-NFA 50
2.5.3 E Закрытие 51
2.5.4 Расширение и перенос и язык E-NFA 52
2.5.5 Устранение E Mortal 53
2.5.6 XI 54
2.6 Резюме 55
2.7 Ссылки 55
Глава 3 Регулярное выражение и обычный язык 57
3.1 Регулярное выражение 57
3.1.1. Символ операции регулярного выражения 57
3.1.2 Строительное регулярное выражение 59
3.1.3 Предпочтение регулярного выражения 60
3.1.4 Упражнение 61
3.2 Плохая автоматическая машина и регулярное выражение 61
3.2.1 От DFA до регулярного выражения 62
3.2.2 Включите DFA в регулярное выражение, исключив состояние 65
3.2.3 Конвертировать регулярное выражение в автоматическую машину 69
3.2.4 Упражнение 72
3.3 Применение регулярного выражения 73
3.3.1 Регулярное выражение в UNIX 73
3.3.2 CI -Метод Анализ 74
3.3.3 Найти режим в тексте 76
3.3.4 Упражнение 77
3.4 Закон регулярного выражения Алгебра 77
3.4.1 Закон о комбинированном праве и обмене 78
3.4.2 Единица юань и ноль юань 78
3.4.3 Закон о распределении 79
3.4.4 Моторное уравнение 79
3.4.5 Закон, связанный с закрытием 79
3.4.6 Откройте для себя закон об регулярном выражении 80
3.4.7 Проверьте закон регулярной выражения алгебры 81
3.4.8 Упражнение 82
3.5 Резюме 83
3.6 Ссылки 84
Глава 4 Природа термина языка 85
4.1 Доказать нерегулярность языка 85
4.1.1 Закон о накачивании обычного языка 85
4.1.2 Применение теории насоса 87
4.1.3 Упражнение 88
4.2 Закрыто обычного языка 89
4.2.1 Закрытие обычного языка под действием логического 89
4.2.2 Обратный 93
4.2.3 Homewood 94
4.2.4 Обратно из того же состояния 96
4.2.5 Упражнение 99
4.3 Суждение обычного языка 102
4.3.1 Преобразование между различными представлениями 102
4.3.2 Проверьте пустоту обычного языка 104
4.3.3 Член характер испытательного регулярного языка 104
4.3.4 Упражнение 105
4.4 Эквивалентная и миниатюризация автоматической машины 105
4.4.1 Эквивалент статуса теста 105
4.4.2 Проверьте эквивалент обычного языка 107
4.4.3 DFA Minerization 108
4.4.4 Почему он не может быть даже меньше, чем маленький DFA 110
4.4.5 Упражнение 111
4.5 Резюме 112
4.6 Ссылки 112
Контекст главы 5 не имеет ничего общего с грамматикой и контекстом.
5.1 Контекст нет таможенного права 115
5.1.1 Несметафизический пример 115
5.1.2 Определение нет грамматики в контексте 116
5.1.3 Используйте грамматику, чтобы получить 118
5.1.4 Левый вывод и правый вывод 119
5.1.5 Грамматический язык 120
5.1.6 ПЕРЕДЕЛИТЕЛЬНОСТЬ 121
5.1.7 Упражнение 122
5.2 Дерево анализа грамматики 124
5.2.1 Конструктивное дерево анализа грамматики 124
5.2.2 Генерация грамматического анализа дерева 125
5.2.3 Рассуждение, вывод и грамматическое дерево 125
5.2.4 от рассуждения до дерева 126
5.2.5 от дерева до получения 127
5.2.6 От получения до рекурсивных рассуждений 129
5.2.7 Упражнение 131
5.3 Применение капитала FA -France в контексте 131
5.3.1 Анализатор грамматики 131
5.3.2 Генератор грамматического анализатора YACC 133
5.3.3 Язык тега 134
5.3.4 XML и определение типа документа 135
5.3.5 Упражнение 140
5.4 Неопределенность грамматики и языка 141
5.4.1 Misty Grammar 141
5.4.
......Эта книга - классика о языке формы, теории автоматических машин и сложности вычислений.Книга охватывает плохую самообмотацию, регулярное выражение и язык, природу обычных языков, беспрецедентную грамматику в контексте и не связанный язык контекста, выталкивая само -мотивацию, не связанный язык контекста, машина Тьюринга, необратимая, трудно и т. д. содержание.Эта книга использует много деталей и интуитивно понятных описаний в определении и доказательстве.Эта книга использовалась многими университетами в качестве учебного заведения или учебного заведения для курсов теории компьютера. В качестве ссылки для исследователей занимались теоретической вычислительной работой.......Джон·Э. Джон Э. Хопкрофт (Джон Э. Хопкрофт) лауреат премии «Гутинг», академик Национальной академии инженерной академии, академик Национальной академии наук, академик Национальной академии искусств и наук, иностранный академик Китайской академии Sciences, профессор Корнелльского университета в сущности Соединенных ШтатовЕго исследовательский интерес сосредоточен на теории вычислений, особенно анализа алгоритма, теории автоматических машин и т. Д.Он и Джеффри Д. Уллман получают Джона, выпущенного IEEE в 2010 году·Премия фон Норотана признает свою «заложенную основу для автоматических машин и теории языка, а также многие новаторские вклад в теоретическую информатику».Раджов·Профессор компьютерных наук в Стэнфордском университете в Радживе Мотвани.Его исследовательские интересы включают базы данных, интеллектуальный анализ данных, поиск в Интернете и поиск информации, роботы и т. Д.Он неожиданно умер в июне 2009 года в возрасте 47 лет.
Джеффри·Д. Джеффри Д. Уллман, 2020 г. Победитель премии Тьюринга, академик Национальной инженерной академии и почетный профессор факультета компьютерных наук в Стэнфордском университете.Его исследовательские интересы включают теорию базы данных, интеграцию базы данных, интеллектуальный анализ данных, теоретический расчет и т. Д.Он и Джон Э. Хопкрофт выиграли Джон, выпущенный IEEE в 2010 году·Премия фон Норотана признает свою «заложенную основу для автоматических машин и теории языка, а также многие новаторские вклад в теоретическую информатику».
