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

UptoLike

ВУЗ: 

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

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

Рубрика: 

247
V
k
G
214
ситуаций LR(k) 215
отношения выводимости рефлексивно-
транзитивного 15
транзитивное 15
Зацикливание анализатора LL(k) 231
Звездочка Клини (*) 43
Изоморфизм 32
Индекс отношения эквивалентности 31, 32
Интерпретатор 5
Исключение нетерминала 48, 50, 59, 61
недостижимого 48
непродуктивного 48
правил цепных 50
рекурсии левой 61
Категория грамматическая 13
Класс грамматик 19, 20, 155, 200
КС 200
множеств регулярных 39, 41, 112, 118, 123,
126, 127, 132, 133
рекурсивно перечислимых 112, 123, 126
рекурсивных 112, 123
, принимаемых автоматами конечными
39, 41
распознаваемых автоматами
ограниченными линейно 118
детерминированными 118
трансляций реализуемых преобразователями
магазинными 150, 154
недетерминированными 150,
154
при конечном состоянии
150, 154
магазине пустом 150,
154
синтаксически управляемых 6, 140, 154
простых 140, 154
языков 8, 11, 19, 38, 39, 64, 69, 70, 73, 104,
119, 123, 125−129, 132−135, 140, 154
контекстно-зависимых 119, 123, 125, 126,
127, 128, 129, 132−135
контекстно-свободных 73, 123, 125, 127,
129, 132−134, 140, 154
КС 69, 73. См. также Класс языков
контек-стно-свободных
регулярных 129, 132, 133, 134
рекурсивно перечислимых 11
рекурсивных 11
типа 0 104, 123, 126, 127, 129, 132−134
, замкнутость относительно
подстановки 127
3 38, 39
, замкнутость относительно
допол-нения 39
, объединения 38
, замкнутый относительно 131, 133, 135
, гомоморфизма 135
, обратного 135
, замыкания 135
, конкатенации 135
, объединения 135
, пересечения 135
, с множеством регулярным 131
, подстановки конечной 131, 133
, обратной 135
, принимаемых автоматами конечными 38
, МП 70, 73
, детерминированными 70
, недетерминированными 70, 73
Классификация языков 5
Кнут Д. 200
Код 86, 87, 111, 121, 137
бинарный нетерминала 121
начального 121
символа 121
терминала "0" 121
"1" 121
двоичный 86, 87, 121
машины Тьюринга 111
Морзе 137
, пауза 137
, посылка 137
числа простого 87
Кодирование 86, 90, 102, 104, 110
бинарное 102
информации 86
машин Тьюринга 104, 110
цепочки входной 90
Компилятор 5
Конвертор 5
Конкатенация 40, 42, 124, 134
множеств 42
цепочек 40
языков 40
Контекст 183, 202−204, 207, 215, 218
основы правый 202−204, 207, 215, 218
правый 183, 203
пустой 183
Корректность анализатора LALR(k) 235
Машина обобщённая последовательная 130−
132
, алфавит входной 130
Тьюринга 6, 82−105, 108−114, 116−119, 126,
130, 131
недетерминированная 97, 114, 118
, вариант движения 97, 114
, алфавит символов ленты 104, 112
, движение 83−85, 88, 89, 93, 95, 108, 109,
112, 114
, , направление 95
, влево 83, 84, 88, 89, 108, 109, 114

Страницы