Составители:
243
, , маркер левый 118, 120
, , правый 118, 119
, , ячейка 119, 120
, множество состояний 118
, конечных 118
, отношение следования на множестве
конфигураций 118
, отображение δ 118
, последовательность движений 119
, символ ленты 118
, состояние 118, 120
, начальное 118
, цепочка входная 118
детерминированный 118, 122
недетерминированный 119, 120
Азбука Морзе 137
Алгебра булева 38, 39
Алгоритм 6, 9, 11, 12, 22, 23, 26, 43, 44, 46, 48,
59, 67, 92, 103, 104, 110, 111, 116, 122, 145,
148, 151, 160−166, 170, 173, 174, 175, 177,
178, 179, 180, 181, 182, 183−192, 195−197,
203, 204, 212, 214, 215, 217, 219, 221−224,
226, 229
, ввод 9
, вывод 9
, выполнимость шага за конечное время 9
, завершаемость 9
, конечность 9
, однозначность 9
, определённость 9
, эффективность 9
k-предсказывающего 6, 160−164, 170, 174,
175, 177, 178, 187, 197, 203
, 1-предсказывающего 163, 164
, алфавит входной 164
, выходной 164
, магазина 164
, вход 165
, выход 165
, движение типа 1 179
, движение pop 179
, конфигурация 164, 165
, конечная 165
, начальная 164
, принимающая 165
, текущая 164
, лента входная 163, 164
, головка 163
, магазин
, , дно 163
, , , маркер 164
, , символ верхний 163, 164
, , начальный 164
, множество конфигураций 164
, таблица управляющая 163−165, 175
, элемент типа 1 175
, accept 164, 175
, error 164, 175
, pop 164, 175
, правильная 165
, цепочка анализируемая 164
, входная 164
, , часть непросмотренная 164
, , ошибка 163, 164
, , приём 163, 164
правильный 165, 175, 178
анализа 1-предсказывающий 164−168, 170,
197
, магазин 168
, цепочка входная 168
, выходная 164
, магазинная 164
правильный 165, 166, 168
2-предсказывающий 175, 190, 197
LR(k) 205
анализатора LL(1) 165
вычисления множества V
k
G
(γ) 213, 215, 216,
218
функции σ(A) 183, 183, 185
ϕ(A, B) 185
σ’(A, B) 183
FIRST
k
G
(β) 180, 182
FOLLOW
k
G
185−187
выясняющий пустоту языку 67
исключения нетерминалов недостижимых 67
непродуктивных 67
порождающий язык 9
построения алгоритма анализа k-предсказы-
вающего 175
трансляции k-предсказывающего 190,
191
анализатора LL(1) 166, 167, 225, 230
LL(k) 230
LR(k) канонического 225
построения множества LL(k)-таблиц 174
преобразователя магазинного по схеме
трансляции синтаксически-управляемой
простой 144, 154
процессора магазинного 196
системы множеств ситуаций LR(k)
канонической 220, 222
схемы трансляции синтаксически-
управляемой простой по преобразователю
магазинному недетерминированному 147,
154
таблицы LR(k) 227
управляющей анализатора LL(k) 179
приведения грамматики КС к форме
нормальной 46
проверки бесконечности языка,
принимаемого конечным автоматом 44
конечности языка, принимаемого
конечным автоматом 44
Страницы
- « первая
- ‹ предыдущая
- …
- 243
- 244
- 245
- 246
- 247
- …
- следующая ›
- последняя »