Научная литература
booksshare.net -> Добавить материал -> Лингвистика -> Гладкий А.В. -> "Формальные грамматики и языки" -> 135

Формальные грамматики и языки - Гладкий А.В.

Гладкий А.В. Формальные грамматики и языки — Москва, 1973. — 368 c.
Скачать (прямая ссылка): formalnieidialogi1973.djvu
Предыдущая << 1 .. 129 130 131 132 133 134 < 135 > 136 >> Следующая

---сжатии выводов 67
--------вычислений 70
— об ускорении выводов 69 вычислений 70
— Райса 257 Тип 328
Тождественность многочленов 25 Точка главная (составляющей) 306
— цепочки 21 > .,
Узел висячий 18 у.
— графа 18 f
— диаграммы конечного автома та заключительный 160
—-------начальный 160
ОА-грамматики заключи'
тельный 158 ’
--------начальный 158 ?
— изолированный 18
— левый 191
— мультиграфа 19 \
— отмеченный 200
— правый 191
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ
365
Укрупнение отношения эквивалентности 317
-------- L-регулярное 325
Умножение прямое, см. Умножение языков 22
— формальных рядов 220 адамарово 220
— цепочек, см. Конкатенация цепочек 20
— языков 22
Фактор-биграф 80 Фактор-множество 17 Фактор-полугруппа 316 Форма нормальная Грейбах, см. Грамматика бесконтекстная в нормальной форме Грейбах 197
Формула регулярная 165 Функция квазисигнализирующая грамматики 56 -----Э-машины 62
— множеств неубывающая 208
— НС-сигнализирующая грамматики 84
— нумерационно частично рекурсивная (н. ч. р. ф.) 53
— приписывающая 186
— сигнализирующая грамматики 56
-------- относительно класса
грамматик 57 -----Э-машины 63
— частично рекурсивная 49 числовая (=ч. ч. р. ф.)
Характеристика вывода '51
— языка конфигурационная полная 321
-------- приведенная 321
Цепочка 19
— вывода, см. Характеристика вывода 51
— неприводимая 321
— пустая 19
Цикл (в диаграмме) 159
Частное от деления цепочек левое 20
Частное от деления цепочек правое 20 Часть категории 189
— правила левая 27
----- правая 27
Числа допустимые 98 Член многочлена 209 -----свободный 209
Ч. р. п. м., см. Множество рекурсивно перечислимое числовое 53
Ч. ч. р. ф., см. Функция частично рекурсивная числовая 53
Шаг вывода 28
— работы Э-машины 43 элементарный, см. Шаг
работы Э-машины 43 Ширина дерева 18
— доминационной грамматики
203
— куста 18
— системы составляющих 287 Шифр вычисления 44
Эквивалентность грамматик 31
— грамматики и Э-машины 48
— ДК-автомата и грамматики 182
— категориальной грамматики и Б-грамматики 189
— категориальных грамматик
187
— сильная Б-грамматик 206 Д-грамматик, Д-грамматики и Б-грамматики 201
— слабая Б-грамматики и Д-грамматики 201
— Э-машин 48
— /.-производная 325 Э-машина, см. Машина Тьюринга с эластичной рабочей лентой 41
Язык (множество цепочек) 22
— автоматный (=А-язык) 30
— — обобщенный ( = ОА-язык) 157
— — стандартный 213
— бесконтекстный ( = Б-язык)30 неоднозначный 135
366
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ
Язык бесконтекстный однозначный 134
----существенно неоднозначный, см. Язык бесконтекстный неоднозначный 135
— Дика 213
—, допускаемый ДК-автоматом
182
—, — Э-машиной 44
— естественный (в лингвистическом смысле) 15
— итерационно-линейный 173
— конечно характеризуемый 322
— лексически размеченный 328
,--------однородный 328
— линейный 168
— металинейный 170
— ограниченный 183
— ограниченной активной емкости (ОАЕ-язык) 234
—, определяемый категориальной грамматикой 186
—, — простой окрестностной
грамматикой 180
— периодический 181
—, порождаемый грамматикой
28
Язык пустой 22
— регулярный 165
— рекурсивно перечислимый 49
— с нетривиальной замещае-мостью 279
— скобочный 213
— формальный 10 Ячейка ленты 41
----, обозреваемая головкой
(Э-машины) 42
(В, са)-дерево 117
— квазипростое 120
— простое 119
х-вычисление (Э-машины) 44
— полное 44
х-ситуация заключительная 43
— начальная 43
[х, (/]-вычисление (Э-машины) 44 Г-образ языка 107 Д-грамматика 13
Д-грамматика окрестностная простейшая с порядком (=ПО-грамматика) 142
--------------- ограниченная 142
6-поддерево полное 120
УКАЗАТЕЛЬ ОБОЗНАЧЕНИЙ
А 30 Б 30 Б (L) 321 Tv 256 Л 42 НС 30 П 42 П (L) 321 Пру!, ПруШ 24 ф(А) 288 ф(С) 289 Ц(Т) 82 ___________
И, Л> [4 Л 214 а/?г> 17 (С, С') 291
CL, CyL, C'L, С'у (L) 22 {с • я}-,88
D, Dr (я) 57 D(,V),D'(y) 213
F (M) 273
F* (Г, n), Ff (») 57
Fr (n) 56 FM(n) 62 H (M) 273
I, Ir (n) 57 /о(Г) 174
KL> г 332
К (L) (множество векторов) 130 К (L) (в конфигурационной характеристике) 321
К (W), К (wy 186 L\ 1+ 23 L 156 S?(i) 208 L{n\ L{n) 263 L(G) 186 L (M) 44 L (Г) 28
U O'. Vf, V. P> 213 L, (Д), L2 (Д) 51 Lfl(Г) 51 Lc (Г), Lc (M) 149 LM (Lt, L2) 269
Lд (Г), Z.A (G), ?д (/W) 142, 143
4 (Г) 61
4, l? (Г). Lpf (Г) 60
LiLj 22 1лo 24 L/ш 23 M2 17 M' (L) 154
(М-, Рг.........Pn) 17
(М; R) 17
<лг; J?i. /?*) 19
<М; Ri, R2, U, g) 19 {М\ R, ф) 19 .
М/р 17
О (х) 167 До. Л (3Q 271
368
УКАЗАТЕЛЬ ОБОЗНАЧЕНИЙ
R (М), ^ (М), R2 (М) 272
S, Sr (^) ^7 SL 327
5 (L\ а\, ..йп j Li, ..Ln) 23 S„ (L, L') 176 SM (n) 63 Sub (T, Tu T2) 121 T, TT (n) 57 TL r 328 («) 63 V*. F+ 20
УЛ. Yr («)• ^П- (n) 57
Y? {n), Yp (n) 84
ул 04), yu (A) 288
УЛ (С), УП (С) 289
(и,,Щ), (яь ...,a*)-i7
[а, р], (а, р), (а, —), (—, а) 21 Г 30
Г], * ф * Т]2 21
и (АО 258 и (Г) 131 А 19 ц(М) 17
ц (Г), ц (Т, а) 237 v (са) 22
II(Af) (число поворотов) 171 П (М) (множество протоколов)
269 IT (Af) 269 я (С) 269 Фг (п) 84
Фг (п), ф? (я) 84 [Ф/ ?], [Ф\?] 185 Ф \ и 20 Хг(п) 242 ш’, ш+ 24 са 35
I са | 19 1®1« 21 wL 24 <*>\L 23
Предыдущая << 1 .. 129 130 131 132 133 134 < 135 > 136 >> Следующая

Реклама

c1c0fc952cf0704ad12d6af2ad3bf47e03017fed

Есть, чем поделиться? Отправьте
материал
нам
Авторские права © 2009 BooksShare.
Все права защищены.
Rambler's Top100

c1c0fc952cf0704ad12d6af2ad3bf47e03017fed