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

UptoLike

ВУЗ: 

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

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

Рубрика: 

249
с двумя лентами магазинными 99
многоленточная 95−97, 99
, движение 95
, лента 96
, пустая 96
, , маркер головки 96
, состояние 95
, принимающее 96
, цепочка входная 96
, ячейка маркированная 96
недетерминированная 90, 97−99, 103,
113
, конфигурация 97
, направление движения 97
, состояние принимающее 97
, последовательность вариантов
движений 97
, цепочка входная 113
одноленточная 96, 97, 99, 126
недетерминированная 118
принимающая язык 111, 113
распознающая числа простые 92
язык 102
с вводом только для чтения и лентой
памяти с двумя символами 101, 102
со счётчиками 99−101, 103
, конфигурация 100
, маркер концевой 100
, отсчёт 100
, нулевой 100
, символ непустой 100
, счётчик 100, 101
, , движение 100
, , значение 100
типа off-line 99
on-line 99
универсальная 104, 105, 109−112, 117
, кодирование состояния 105
, маркер в области данных 109
, подблока 109
, символ входной 109
, состояние текущее 109
Метаязык 9
Метод 5, 6, 67, 98, 183
"сдвига" 98
Гаусса 67
Кнута 6
приближений последовательных 183
реализации языка синтаксический 5
Механизм 200, 205
”cдвиг-свертка” 205
”перенос–свертка” 200
Множество 6, 8−12, 15, 16, 19, 20, 29, 32−34, 36,
39−44, 46, 51, 53, 54, 59, 61, 67, 92, 104, 112,
113, 116, 121, 122, 125, 126, 129, 131−133,
135, 172−175, 190, 198, 204, 213, 214, 218,
220−225, 235, 236
бесконечное 44
всех подмножеств 9, 34. См. также
Множество степенное
языков 9
выражений регулярных 67
классов эквивалентности 32
конечное 39, 41, 42, 126, 129
контекстов локальных правых 173, 198
нетерминалов 51
перечислимое рекурсивно 11, 19, 92, 104,
112, 113, 135
порождений 53
правил 15, 20, 46, 64, 67
грамматики 15, 20, 46, 67
в форме Бэкуса-Наура 67
предложений 8−10
над алфавитом 10
принимаемое автоматом конечным 33, 34, 36,
42
недетерминированным 33, 34
пустое 40
распознаваемое машиной Тьюринга 104, 112
регулярное 6, 19, 20, 29, 54, 61, 125, 131−133
рекурсивное 12, 104, 112, 113, 121, 122
рекурсивно неперечислимое 116
символов 8
конечное 8
не пустое 8
ситуаций LR(k) 220−224, 235
каноническое 220, 224
непротиворечивое 223, 235
степенное 34
счетно-бесконечное 9
таблиц LL(k) 172, 174, 175, 190
необходимых для грамматики 175
LR(k) 204, 225, 236
каноническое 236
цепочек 16, 43, 59, 158
бесконечное 43
терминальных 16, 59
конечное 59
чисел простых, 92
ядер ситуаций LR(k) 235
V
1
G
(ε) 214
V
1k
G
(ε) 218
V
1k
G
(γ) 213
Моделирование 90, 95, 99, 102, 104, 109−114,
120, 126, 149, 150, 154, 166, 193, 194
алгоритма трансляции k-предсказывающего
посредством преобразавателя магазинного
193, 194
, аванцепочка 193
, движение pop 193, 194
, pass 194
, типа 1 193
, конфигурация
начальная 193

Страницы