Языки и трансляции. Мартыненко Б.К. - 254 стр.

UptoLike

ВУЗ: 

СПбГУ | Санкт-Петербург

Составители: 

Рубрика: 

252
, конечная 144, 154
, начальная 141, 154, 166
, текущая 141, 154
, лента входная 140, 154
, выходная 141, 154
, магазин 149
, , вершина 144
, пустой 144
, множество цепочек входных при
состоянии конечном 154
, состояний 140, 154
, конечных 140, 154
, отображение δ 140, 154
, символ входной текущий 141, 154
, выходной 151, 154
, магазина верхний 141, 154
, начальный 140, 154
, содержимое ленты выходной 141, 154
, магазина 141, 154, 166
, состояние 141, 150, 154
, конечное 149−150, 154
, начальное 140, 154
, опустошение магазина 149
, последовательность движений 143
, текущее 141, 154
, цепочка входная 141, 150, 154, 155, 166
, , приём при состоянии конечном
154
, , часть непросмотренная 141, 154
, выходная 141, 154
, цепочка магазинная 144, 150, 154
детерминированный 142, 148, 150, 151,
151−155, 166, 187, 193, 197, 232
, состояние конечное 232
эквивалентный схеме трансляции
упра-вляемой синтаксически простой 148,
154
недетерминированный 140, 142, 145, 146,
148, 150, 154, 155, 190
, движение, 150, 154
, конфигурация начальная 150, 154
Префикс 41, 136, 206, 207, 209, 212, 213, 214,
215, 216, 217, 220, 222, 224, 228, 231
активный 207, 209, 212, 213, 214, 215, 216,
217, 220, 222, 224, 231
формы правосентенциальной 215, 228
непустой 41
собственный 136
Приоритет операции 27, 151, 154
Пробел 83, 89, 94
Проблема 6, 43, 44, 46, 66, 92, 93, 104, 110, 116,
237, 239
алгоритмически неразрешимая 6, 237
бесконечности языка, принимаемого
автоматом конечным 43
вложенности 237
, касающаяся языков КС детерминированных
239
конечности языка, принимаемого конечным
автоматом 43
неразрешимая рекурсивно 104, 110
остановки машины Тьюринга 104, 116
принадлежности пересечения языков КС
тому же классу 237
пустоты пересечения языков контекстно-
свободных 237
языка контекстно-зависимого 237
, порождаемого КС-грамматикой 46
, принимаемого автоматом конечным
43
распознавания неоднозначности
существенной языков КС 66
непустоты языка контекстно зависимого
93
регулярности КС-языка 237
языка при помощи машины Тьюринга 92
эквивалентности 237
автоматов конечных 44
Продукция грамматики. См. также Правило
грамматики
Произведение языков 40, 41
Процедура 9, 10, 11, 12, 82, 92
, понятие интуитивное 82
нумерации пар целых 11
предложений языка рекурсивного 12
перечисления 11
множества целых 12
предложений языка 10
порождающая 9, 11
распознавания предложений языка 11
распознающая 9, 10, 11
Процессор магазинный 194, 195, 196
, аванцепочка 196
, движение pop 196
, доступ к памяти прямой 196
, конфигурация 195
, магазин 194
, , вершина 195, 196
, пустой 196
, маркер 195
, результат трансляции 196
, символ входной текущий 196
, указатель на корнень дерева результата
196
Разбор 6, 13, 14
грамматический предложения 13, 14
восходящий детерминированный 6
нисходящий детерминированный 6
Распознавание языка 9, 86, 87, 97
машиной Тьюринга двухленточной 97
одноленточной 97
Распознаватель 6, 28
Реализация 5, 13, 138
трансляций 138
языка программирования 5, 13

Страницы