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

UptoLike

ВУЗ: 

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

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

Рубрика: 

250
, переход в
конфигурацию принимающую 194
автомата 90, 120
линейно ограниченного 120
анализатора LL(1) 166
вывода в грамматике посредством машины
Тьюринга 114
машины 90, 95, 99, 102, 104, 109−113, 120,
126
вычислительной 104
Тьюринга 90, 95, 99, 102, 109−113, 120,
126
недетерминированной 90
pdt 149, 150, 154
Модель математическая 82
Модификации 93, 194
машин Тьюринга 93
алгоритма анализа k-предсказывающего 194
Неоднозначность грамматик КС 237
существенная 237
Непротиворечивость множеств ситуаций LR(k)
223
Нетерминал 14, 15, 16, 17, 21, 23, 25, 27, 36, 38,
39, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57,
59, 60, 61, 62, 63, 64, 65, 77, 78, 79, 80, 115,
120, 121, 123, 124, 128, 130, 134, 138, 139,
140, 144, 146, 151, 154, 155, 156, 157, 160,
160, 169, 170, 172, 173, 174, 176, 178, 179,
183, 183, 185, 187, 194, 196, 198, 199, 200,
200, 203, 204, 211, 217, 224
грамматики 14, 15, 16, 17, 21, 23, 25, 27, 36,
38, 39, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56,
57, 59, 60, 61, 62, 63, 64, 65, 77, 78, 79, 80,
115, 120, 121, 123, 124, 128, 130, 134, 146,
154, 155, 156, 157, 160, 160, 169, 170, 172,
173, 174, 176, 178, 179, 183, 183, 185, 187,
194, 198, 199, 200, 200, 203, 204, 211, 217, 224
бесполезный 157, 160
, вхождение крайнее левое 49, 194, 198
, правое 199
достижимый 49
начальный 14, 15, 16, 21, 36, 57, 59, 198, 200
продуктивный 48, 49
самовставленный 61, 62
схемы трансляции управляемой
синтаксически 138, 139, 140, 144, 151, 154
, вхождение связанное 194, 196
Номер правила 164, 169, 232
граматики 164, 169
схемы трансляции управляемой синтак-
сически 232
Нумерация 10, 11, 110, 122
пар положительных целых 10, 11
грамматик 122
машин Тьюринга 110
Образ семантической цепочки древовидный
прави-ла схемы 195
Операции над множествами (языками) 6, 31, 38,
41, 42, 56, 123−129, 131−135, 137, 170, 170,
173, 187, 237
, деление 133
, замыкание 42, 123
, конкатенация 123
, обращение 123, 134
, объединение 31, 38, 41, 42, 123, 124,
132−134
, классов эквивалентности 31
, пересечение 38, 125, 126, 131−135,
237
, с множеством регулярным 125,
131, 132, 133, 134
, подстановка 56, 126−129, 131, 133−
135, 137
, конечная 129, 131
, ε-свободная 129, 131
, ε-свободная 127, 133
, обратная 135
, посимвольная 137
, произведения 42
, стирания k-ограниченного 129, 132,
133
, FIRST
k
G
инфиксная 170
, ⊕
k
170, 170, 173, 187
Основа 200−205, 207, 208, 212, 226, 229, 240
, граница 200, 207
, левая 200
, правая 200, 207
, конец правый 200
пустая 200, 203
Отношение 15, 30−33, 31, 71, 84, 94, 137, 139,
141, 154, 165
бинарное 15, 30, 31, 71, 84, 94, 137, 139, 141,
154, 165
, замыкание рефлексивное 71, 84, 165
, рефлексивно-транзитивное 71, 84,
94, 165
, транзитивное 71
, свойство 15, 30, 31, 165
, рефлексивности 15, 30, 31, 165
, симметричности 30, 31
, транзитивности 30, 31
, степень 71, 84, 94, 141, 154, 165
на множествах цепочек 30
выводимости непосредственной 15, 139, 141,
154
в грамматике 15
, степень 15
схеме трансляции управляемой
синтаксически 139, 154
, замыкание
рефлексивно-транзитивное 139, 154

Страницы