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

UptoLike

ВУЗ: 

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

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

Рубрика: 

251
, транзитивное 139,
154
, степень 139
на конфигурациях преобразователя
магазинного 141, 154
, замыкание рефлексивно-
транзи-тивное 141, 154
, транзитивное 141, 154
степень, 141, 154
эквивалентности 30−33
индекса конечного 31
правоинвариантное 31
правоинвариантное 31, 32
Отображение 6, 126, 130−134, 137
gsm 130−134
ε-свободное 132
обратное 130−134
Оценка сложности 6
Память 85, 196
в управлении конечном 85
доступа прямого 196
Перевод машинный 5, 13
Перечисление 11, 112, 122
грамматик 122
предложений над алфавитом эффективное
112
языка 11
Плюс Клини (+) 42
Поддерево 25, 46, 58, 195, 198
Подкласс множеств строгий 118
Подмножество собственное 11, 30, 112
Подпрограмма 91, 106, 109, 119
Подцепочка 46
Порождение терминальное 60
Порядок 10, 91, 92
лексикографический 91, 92
числовой 10
Последовательность 50, 76, 82, 155, 168, 183
инструкций конечная 82
множеств σ
i
’(A, B) 183
номеров правил 168
правил цепных 50
форм левосентенциальных 76, 155
сентенциальных 76
Правило 14−18, 20−22, 24, 25, 36−38, 46− 56, 58,
60, 62−67, 76−80, 114−116, 121, 123, 124,
127−129, 138−140, 142, 144−148, 150−151,
154−158, 160, 160, 165−170, 172, 173, 175−
179, 183, 185, 190, 193−196, 198, 199, 202,
203, 205, 209, 215, 216, 218, 220, 223, 226,
229, 230, 232
грамматики 14−18, 20−22, 24, 25, 36−38, 46−
56, 58, 60, 62−67, 76−80, 114, 115, 116, 121,
123, 124, 127−129, 150, 154−158, 160, 160,
165−170, 172, 173, 175−179, 183, 185, 193,
198, 199, 202, 203, 205, 209, 215, 216, 218,
220, 223, 226, 229, 230
, альтернатива 179, 185
, часть левая 14, 16, 17, 48, 53, 56, 60, 114,
124, 199
, правая 14, 15, 16, 17, 20, 21, 36, 48,
51, 55, 56, 60, 62, 64, 67, 79, 114, 124, 128,
166, 193, 198, 199, 202
бесполезное 38
контекстно зависимой 17, 18, 55
свободной 18
, леворекурсивное 55
нецепное 50
неукорачивающей 17
НС 17
цепное 50, 51, 53
порождения 16, 79, 115, 116
схемы трансляции управляемой
синтаксически 138−140, 142, 144, 145, 147,
148, 150−151, 154, 190, 193−196, 232
, вхождения нетерминалов свя-
занные 138−140, 154, 195
, цепочка синтаксическая 138,
139, 154, 194, 195
, семантическая 138, 139,
150, 154, 193−196, 232
Предложение 8−11, 14, 16, 20, 21, 22, 65, 137
анализируемое 14
непустое 22
правильное грамматически 14
пустое 8, 10, 20, 21, 22, 65
Представление 8, 9, 102, 122
грамматики в коде бинаром 122
символа бинарное 102
языка 8, 9
конечное 8, 9
Преобразование эквивалентное схемы
трансляции управляемой синтаксически 148,
154
Преобразователь 155
конечный. См. также Машина обобщённая
последовательная
магазинный 140−146, 148−155, 166, 187, 190,
193, 197, 232
, алфавит 140, 154
, входной 140, 154
, выходной 140, 154
, магазинных символов140, 154
, вершина магазина 141, 144, 150−151,
154
, выход 141, 154
, при магазине пустом 141, 154
, состоянии конечном 141, 154
, головка входная 141, 154
, движение 144, 145, 150, 154
, , сдиг вправо 141, 154
, типа 1 144
, ε-движение 154
, конфигурация 141, 144, 154, 166

Страницы