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

UptoLike

ВУЗ: 

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

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

Рубрика: 

253
Редактор синтаксический 5
Результат свёртки 199
Решение целочисленное уравнения 102
Самовставленность 61
Свёртка 200−202, 205, 208, 227, 229, 230
Свойство 46, 134, 157
грамматики LL(k) 134, 157
замкнутости 134
транслятора 138
, правильность 138
, размер малый 138
, эффективность 138
самовложенности грамматик КС 46. См.
также Самовставленность.
Сдвиг 200, 205, 227
Сентенциальная форма 76, 168, 169, 176, 177,
198, 212, 213
, часть закрытая 76, 168, 169, 176, 177,
198
, открытая 76, 168, 169, 176, 198, 212,
213
Сетка треугольная 10, 12
Символ 8, 10, 20, 22−24, 29, 55, 70, 82, 83, 90,
105, 124, 130, 134, 155, 199
алфавита 8, 10, 22, 23
входной 29, 83, 90, 155
текущий 199
грамматики 20, 24
начальный 20, 24
ленты 82, 105
магазинный 70
терминальный 55, 124, 130, 134
Система 8, 10, 28, 67, 70, 83, 118, 138, 140, 154,
164, 213, 223, 225, 232, 235, 236
математическая 8
множеств ситуаций LR(k) 213, 223, 225, 235,
каноническая 223, 225, 235
LR(1) каноническая 232, 235, 236
объединённых 236
счисления p-ичная 10
таблиц LR(k) каноническая 225
каноническая 225
уравнений алгебраических линейных 67
формальная 28, 70, 83, 118, 138, 140, 154, 164
Ситуация 206, 207, 209, 210, 212−215, 217−220,
223, 227
LR(k) 206, 209, 210, 212, 213, 214, 215, 217,
218, 219, 220, 223, 227
, допустимая для префикса активного 206,
209, 210
LR(0) 207
Скобка металингвистическая 14
Словарь 8, 17, 22, 52
грамматики объединённый 22
нетерминалов 17, 52
Слово 8
Сложность по времени линейная 6
Соответствие одно-однозначное 32
Состояние 39, 93, 106, 108
“ловушка” 39
Cписок 10, 11, 172
подмножеств V
T
*k
конечный 172
предложений 10, 11
Способ 138
задания трансляций 138
спецификации трансляций 138
, гомоморфизм 138
Стирание k-ограниченное 134
Строка 8, 9, 67, 113, 114, 119, 120, 128
входная с маркерами концевыми 119
нетерминалов непустая 128
символов 9
терминальная 67, 113, 114, 120
Структура предложения 13
Схема перевода 234
многопросмотровая 234
четырехуровневая 234
Схема трансляции управляемой синтаксически
138−140, 142−148, 150−155, 187−194, 196,
231, 232, 234
, алфавит входной 138
, выходной 138
, нетерминалов 138
, вывод 142−146, 150, 151, 154
, , длина 142, 143, 147, 151, 151,
154
, левосторонний 151, 154
, грамматика входная 139, 150,
151, 154, 187−194, 196, 232, 234
, класса LL(k) 196
, выходная 139, 154, 234
, дерево вывода результата
трансля-ции в грамматике выходной 194, 196
, цепочки выходной 194
, класс грамматики входной 155
, множество правил 138
, нетерминал начальный 138, 139
, правило 146−148, 154
, , часть правая 148, 154
, символ входной 142, 154
, выходной 142, 154
, цепочка входная 138
однозначная семантически 150,
154, 155
постфиксная 232
простая 140, 142, 145, 146, 148,
154, 190, 234
однозначная семантически 150,
154, 190, 192, 193, 231, 234
постфиксная с
грамматикой входной LR(k) 232
Таблица 165, 172−177, 191, 193−197, 204, 205,
224, 226, 228, 235, 236
анализатора 165, 205,

Страницы