Составители:
246
составляющих непосредственных 17
НС 17, 27. См. также Грамматика неукора-
чивающая
порождающая язык 116
регулярная 19, 20, 26, 27, 45
рекурсивная 22
типа 0 17, 19, 113, 114, 120, 123, 128, 134
1 17
2 18
3 19, 36−39, 45, 63
формальная 13
эквивалентные 16
языка английского 14
LALR 235
LALR(1) 236
LL 156, 163
LL(k) 155−163, 170−176, 178, 179, 192, 198,
200, 203, 204, 210, 230
, критерий 160
, условие 157
несильная 197
LL(1) 156, 158−160, 166−168, 170, 180, 185,
191, 197, 234
простая 157, 165
LL(2) 160, 170, 173, 175, 197
несильная 190
сильная 160, 170, 179, 191
LR(k) 227, 232
LR(0) 202, 203
LR(1) 6, 200−207, 209−211, 213, 223−225, 230,
231, 232, 234, 236, 237
Деление на множество регулярное 133, 134
Дерево вывода 23−26, 46, 47, 57, 58, 62, 64, 67,
194−196, 198
, вершина 25, 26
, внутренняя 25
, ветвь 47, 64, 67
, , длина 47
, корень 25, 46, 47, 57, 58, 62, 195, 198
, лист 24, 25, 57, 62, 195
, метка 23−25
, корня 23
, листа 24, 196
, узла 23, 47, 57, 64
, нетерминальная 57
, терминальная 57
, потомок узла 23, 25
, прямой 24, 25, 196
, путь 46, 47, 57, 62
, , длина 57, 58, 62
, результат 24, 25, 58
, поддерева 25
, узел 23, 25, 46, 47, 57, 62
, , лист 64
, , уровень 62
, внутренний 24, 25
, указатель на вершину дерева вывода 62,
195
бинарное 57
Диагонализация 90, 91, 103
, матрица бесконечная 91
Диаграмма состояний 29, 34
, вершина 29
, дуга ориентированная, 29
, узел 29
Длина цепочки 8, 59, 97
входной 97
пустой 8
Дополнение множества 11, 12, 38, 112, 113, 116,
125, 126, 134, 237
языка 11, 12, 38. См. также Дополнение
множества
Замкнутость класса множеств 40, 41, 123,
относительно операции 41, 123
замыкания 41, 123
обращения 123
объединения 41, 123
произведения 41
, принимаемых автоматами
конечными, относительно замыкания 40, 41
языков 6, 40, 41, 123, 125−129, 131−133,
135, 136
контекстно-свободных 125
регулярных 6
рекурсивных относительно
дополнения 123
относительно k-ограниченного
стирания 129
ε-свободных gsm-отображений 132
gsm-отображений 131, 132
гомоморфизма 129
деления на множество регулярное
133
дополнения 125, 126
конкатенации 135
обратных gsm-отображений 132,
133
объединения 125, 135
операции пересечения 125, 126
пересечения с регулярным
множеством, 135
подстановки 127, 128
конечной 129
ε-свободной 128
типа 3 относительно объединения 40,
41
замыкания 41
произведения 40, 41
Замыкание класса языков 15, 40−42, 123, 124,
134, 135, 214, 215
контекстно-свободных 135
Клини 123
множества 42
Страницы
- « первая
- ‹ предыдущая
- …
- 246
- 247
- 248
- 249
- 250
- …
- следующая ›
- последняя »