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

UptoLike

ВУЗ: 

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

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

Рубрика: 

245
, сдвиг 205
, таблица управляющая 204
, цепочка входная 206
, , часть непросмотренная 205
, цепочка выходная 205, 229
, магазинная 205, 229
канонический 225, 231
, таблица управляющая 235
, число движений 229, 231
восходящий 199
, вершина магазина 200
, вход 199
, , непрочитанная часть 199
, конфигурация 200, 200
, заключительная 200
, исходная 200
, лента входная 199
, маркер дна магазина 200
Ассемблер 138
Буква греческая 8, 70
малая 70
латинская большая 70
Выводимость в грамматике 15
непосредственная 15
Выражение арифметическое 27, 139, 142, 145,
151, 154, 197
, без скобок "лишних" 151, 154
, порядок вычисления 27
, скобки 27
, форма инфиксная 139, 151, 154, 197
, постфиксная 139, 142, 145, 151, 154,
197
, префиксная 142, 145, 154
регулярное 42, 45, 67
Вычислимость 82
Гипотеза (тезис) Чёрча 82, 102
Ферма 102
Гомоморфизм 129, 132, 133, 137, 142, 154, 176
, область определения 137
ε-свободный 129
Грамматика 5, 6, 13−28, 36−39, 45, 46, 48−57,
59−68, 76−78, 80, 92, 113−116, 119−125, 127−
130, 134, 139, 150, 154−163, 165−168, 170−
183, 185−193, 197−207,
209−211, 213−215, 217, 218, 220, 222−225,
227, 230, 231, 232−237, 240
, вывод 15, 20−23, 25, 26, 36, 37, 46, 48−52,
54, 60, 62−64, 66, 68, 76−78, 92, 113−116, 121,
128, 150, 154, 155−160, 160, 165, 168, 170−
173, 176−179, 182, 185, 185, 187, 193, 198,
200, 202−204, 206, 207, 209, 211, 215, 217,
218, 220, 230
, , длина 25, 49, 51, 52, 60, 76, 78, 116, 121,
182, 185, 187
, , последовательность шагов 54
, , шаг 20, 168, 176
, левосторонний 49, 50, 54, 62, 63, 66, 76,
77, 150, 154, 156−160, 160, 165, 168, 173, 176,
178, 179, 185, 193
, одношаговый 49
, правосторонний 198, 200, 202−204, 206,
207, 209, 211, 215, 230
, цепной 50
, цепочки терминальной 46, 48
, множество правил 37, 49−53, 56, 60, 63, 64,
168
, нетерминал 64, 120
, начальный 64
, определение формальное 14, 15
, символ терминальный 113
автоматная 27, 45
(конечно-)автоматная 19
контекстно-зависимая 17, 19, 20, 22, 48, 92,
119−124, 128−130
контекстно-свободная 18−20, 23, 24, 27, 46,
48−57, 59, 61, 64−68, 80, 123, 124, 127, 139,
150, 154, 156−158, 160−163, 170, 172, 178,
179−181, 183, 185, 187, 187, 200−204, 206,
207, 209, 213, 214, 220, 222, 223, 235−237
, форма нормальная Грейбах 52, 54, 61
, Хомского 52
без самовставлений 67
ε-правил 46, 65
левоанализируемая 155
леволинейная 65, 203
леворекурсивная 160, 163, 178
линейная 65, 68
неоднозначная 66, 158, 231
несамовставленная 61, 68
однозначная 66, 68
пополненная 200−204, 207, 209, 214, 220
последовательная 65, 66
праволинейная 65, 203
приведённая 49, 80, 158, 158, 160, 181,
185
расширенная 236, 237
самовставленная 61
с ε-правилами 64, 65
КС 18, 27, 46, 48, 50, 155, 163, 198−200, 220,
236. См. также Грамматика контекстно-
свободная
, исключение нетерминала,
порождающего язык конечный 59
, неоднозначность 163
, правило 64
вида специального 46
однозначная 155
последовательная 46
необратимая 204
неприведённая 160
неукорачивающая 27

Страницы