Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Хопкрофт Д., Мотвани Р., Ульман Д. — Введение в теорию автоматов, языков и вычислений
Хопкрофт Д., Мотвани Р., Ульман Д. — Введение в теорию автоматов, языков и вычислений



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


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

Авторы: Хопкрофт Д., Мотвани Р., Ульман Д.

Аннотация:

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


Язык: ru

Рубрика: Computer science/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Издание: 2-е издание

Год издания: 2002

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

Добавлена в каталог: 08.11.2009

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
$\varepsilon$-замыкание состояния      91
$\varepsilon$-НКА      89 91
$\varepsilon$-переход      89
Adleman L.      510 522
Aho, A.V.      52 142 231
Backus J.W.      231
Bar-Hillel Y.      184 317 421
Borosh I.      478
Cantor D.C.      231 421
Chomsky N      231 317 421
Church A.      376
Cobham A.      478
Cook S.C.      478
DTD      207 214
Even S.      522
Evey J.      266
Fischer P.C.      267 376
Flex      128
Floyd R.W.      231 421
Garey M.R.      478
Gathen J.      478
Ginsburg S.      184 317 421
Gisher J.L.      142
Goedel K.      376
Greibach, S.      317
grep      128
Gross M.      231
Hartmanis J.      184 376 479 522
Hochbaum D.S.      479
Hopcroft J.E.      184 522
HTML      207 211
Huffman D.A.      98 184
Internet      85
Johnson D.S.      478
k-клика      473
K-конъюнктивная нормальная форма      446
Karp R.M.      479 522
Kemighan B.W.      320
Kleene S.C.      142 184 376
Knuth D.E.      267 522
Kruskal Jr.J.B.      426
Lewis II P.M.      522
Lex      128
McCarthy J.      99
McCulloch W.S.      98
McNaughton R.      142 184
Mealy G.H.      98
Miller G.L.      522
Minsky M.L.      376 421
Moore E.F.      99 184
Motwani R.      522
Naur P.      231
Oettinger A.G.      267
Ogden W.      317
Papadimitriou C.H.      522
Pauli M.C.      317
Perles M.      184 317 421
Pitts W.      98
Post E.      376 421
Pratt V.R.      522
Rabin M.O.      99 522
Raghavan P.      522
Rice H.G.      398 421
Ritchie D.M.      320
Rivest R.L.      510 522
Rose G.F.      184 317 421
Rudich S.      376
Savitch W.J.      522
Scheinberg S.      317
Schutzenberger M.P.      267 421
Scott D.      99
Seiferas J.I.      184
Sethi R.      142 231
Shamir A.      510 522
Shamir E.      184 317 421
Shannon C.E.      99
Sieveking M.      478
Silverstein C.      16
Spanier E.H.      184
Steams R.E.      184 376 479 522
Tarjan R.E.      522
Thompson K.      142
Treybig L.B.      478
Turing A.M.      376 421
Ullman J.D.      52 142 231 479 522
UNIX      126 131 210
XML      207 214
Yacc      210 223
Yamada H.      142
Younger D.H.      317
Автомат конечный      17 53
Автомат конечный детерминированный      62
Автомат конечный минимальный      177
Автомат конечный недетерминированный      71 73
Автомат магазинный      234 235
Автомат магазинный детерминированнный      260
Автомат магазинный ограниченный      251
Автомат недетерминированный с $\varepsilon$-переходами      89 91
Автомат произведение      59
Адрес слова памяти      367
Алгоритм заполнения таблицы      173
Алгоритм Кока — Янгера — Касами      311
Алгоритм Крускала      426
Алгоритм минимизации ДКА      179
Алгоритм типа Лас-Вегас      507
Алгоритм типа Монте-Карло      504
Алфавит      46
Алфавит бинарный      46
Алфавит двоичный      46
Анализатор лексический      18
Аннулятор      113 134
Арифметика модулярная      512
Ассоциативность      133
Ахо А.      52 142
Базис индукции      36
Блок состояний      178
Булеан множества      77
Временная сложность машины Тьюринга      350
Время работы машины Тьюринга      349
Вхождение свободное      492
Вхождение связанное      492
Выведение      189
Вывод рекурсивный      189
Выражение арифметическое      41 187 224
Выражение булево      436
Выражение регулярное      20 101 104
Выражение регулярное конкретное      137
Выражение регулярное расширенное в UNIX      126
Высота дерева      202
Вычет квадратичный      520
Вычисление      240
Гедель К.      329
Генератор лексических анализаторов      102
Генератор лексического анализатора      128
Гильберт Д.      329
Гипотеза      22
Гипотеза Черча      330
Гишер Дж.      142
Голова продукции      187
Головка      330
Гомоморфизм обратный      157 302
Гомоморфизм цепочек      156
Гомоморфизм языка      156
Грамматика      2 187
Грамматика контекстно-свободная      187
Грамматика праволинейная      196
Грамматика формальная      17
Грамматика Хомского      17
Граф      425
График функции      339
Грейбах Ш.      284
Дерево      198
Дерево корневое      40
Дерево остовное      425
Дерево остовное минимального веса      425
Дерево разбора      197
Дескриптор      207 211
Диаграмма переходов      64
Диаграмма переходов машины Тьюринга      334
Диаграмма переходов МП-автомата      237
Дизъюнкт      446
ДКА      62
ДМП-автомат      260
Доказательство дедуктивное      22
Доказательство индуктивное      22
Доказательство методом "от противного"      34
Дополнение языка      149
Достаточность      28
Единица      47 134
Задача NP-трудная      17
Задача линейного целочисленного программирования      475
Задача трудно разрешимая      17
Задача труднорешаемая      17
Заключение      22
Закон ассоциативности конкатенации      133
Закон ассоциативности объединения      133
Закон ассоциативности умножения      133
Закон двойного отрицания      448
Закон де Моргана      152 448
Закон дистрибутивности      134
Закон дистрибутивности, конкатенации относительно объединения, левосторонний      135
Закон дистрибутивности, конкатенации относительно объединения, правосторонний      135
Закон дистрибутивности, объединения относительно пересечения      31
Закон дистрибутивности, умножения относительно сложения      134
Закон идемпотентности      135
Закон идемпотентности, объединения      136
Закон коммутативности объединения      133
Закон коммутативности сложения      133
Закон коммутативный, объединения множеств      31
Закон Мура      17
Замыкание Клини      103
Значение формулы      437
Игра "катящиеся шарики"      69
Идентификатор      187
Индексы обращенные      85
Индуктивный переход      36
Индуктивный шаг      36
Индукция      36
Индукция совместная      43
Индукция структурная      40 42
Исключение состояний      115
Итерация языка      103
Карп Р.      434
Квантификация      491
Квантор      27
Керниган Б.      320
Класс проблем Co-NP      482
Класс проблем NP      424 429
Класс проблем NPS      485
Класс проблем P      424
Класс проблем PS      485
Класс символов      126
Класс языков NPS      485
Класс языков PS      485
Класс языков RP      504
Класс языков ZPP      506
Клини С.      103 142
Ключ публичный      511
Кнут Д.      15
КНФ      446
Код машины Тьюринга      379
Коммутативность      133
Компилятор      18
Компонент связности      426
Конверсия      33
Конечное управление      330
Конкатенация      47
Конкатенация языков      102
Конструкция подмножеств      77
Конструкция произведения      152
Контрапозиция      32
Контрпример      34
Конфигурация      238
Конфигурация машины Тьюринга      331
Конъюнктивная нормальная форма      446
Конъюнкция      43
Корень дерева      40
Крона дерева      199
КС-грамматика      187
КС-грамматика неоднозначная      221
КС-грамматика однозначная      222
КС-язык      193
КС-язык существенно неоднозначный      226
Кук С.      434 439
Лампорт Л.      15
Левин Л.А.      479
Леек М.      142
Лексема      102 128
Лексический анализатор      128
Лемма о накачке для КС-языков      288
Лемма о накачке для регулярных языков      144
Лемма Огдена      294
Лента машины Тьюринга      330
Лента односторонняя      356
Лента случайная      500
Лист дерева      198
Литерал      446
Магазин      233
Мак-Каллок У.      98
Мак-Карти Дж.      99
Мак-Нотой Р.      142
Маркер дна      360
Маркер концевой      360
Машина многомагазинная      359
Машина мультистековая      359
Машина счетчиковая      361
Машина Тьюринга      17 330 331
Машина Тьюринга двухмерная      355
Машина Тьюринга многоголовочная      355
Машина Тьюринга многоленточная      347
Машина Тьюринга недетерминированная      351
Машина Тьюринга рандомизированная      500
Машина Тьюринга типа Лас-Вегас      507
Машина Тьюринга типа Монте-Карло      504
Машина Тьюринга универсальная      387
Мгновенное описание      238 331
Метод обращенных индексов      85
Мили Дж.      98
Минимизация ДКА      177
Множество      25
Множество бесконечное      25 28
Множество дополнение      25
Множество ключевых слов      87
Множество конечное      25
Множество независимое      458
Множество независимое, максимальное      458
Множество несчетное      322
Множество счетное      322
Монус      335
МП-автомат      234 235
Мур Э.      99
Наблюдение      34
Необходимость      28
Нетерминал      187
НКА      71
Нормальная форма, Грейбах      284
Нормальная форма, Хомского      269 280
Нуль      134
НФХ-грамматика      280
Область действия переменной      491
1 2
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2021
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте