Гладкий - Формальные грамматики и языки - 1973 (947381), страница 75
Текст из файла (страница 75)
р. ф.) 53 — приписывающая 186 — сигнализирующая грамматики 56 — — — относительно класса грамматик 57 — — Э-машины 63 — частично рекурсивная 49 — — — числовая ( =ч. ч. р. ф.) 53 Характеристика вывода 51 — языка конфигурационная пол. ная 32! — — — приведенная 321 Цепочка !9 вывода, см.
Характеристика вывода 51 — неприводимая 32! — пустая 19 Цикл (в диаграмме) 159 Частное от деления цепочек ле. вое 20 Частное от деления цепочек пра. вое 20 Часть категории 189 — правила левая 27 — — правая 27 Числа допустимые 98 Член многочлена 209 — — свободный 209 Ч. р, п.м., см. Множество рекурсивно перечислимое числовое 53 Ч.
ч, р.ф., см. Функция частично ренурсивная числовая 53 Шаг вывода 28 — работы Э-машины 43 — — — элементарный, сы. Шаг работы Э-машины 43 Ширина дерева !8 — доминациоиной грамматики 203 — куста !8 — системы составляющих 287 Шифр вычисления 44 Эквивалентность грамматик 31 — грамматики и Э-машины 48 — ДК-автомата и грамматики 182 — категориальной грамматики я Б-грамматики 189 — категориальных грамматик 187 — сильная Б-грамматик 206 — — Д-грамматик, Д-грамматики и Б-грамматики 201 — слабая Б-грамматики и Д- грамматики 201 — Э-машин 48 — Е-производная 325 Э-машина, см.
Машина Тьюрин. га с эластичной рабочей лен. той 41 Язык (множество цепочек) 22 — автоматный (=А-язык) ЗΠ— — обобщенный (=ОА-язык) 157 — — стандартный 213 — бесконтекстный (=Б-язык) 30 — — неоднозначный 135 ПРЕДМЕТНЫЕ УКАЗАТЕЛЬ головкой УКАЗАТЕЛЬ ОБОЗНАЧЕНИЯ 1ЗО ха- Язык бесконтекстный однозначный !34 — — существенно неоднозначный, см, Язык бесконтекстный неоднозначный 135 — Дика 213 —, допускаемый ДК-автоматом 182 —,— Э-машиной 44 — естественный (в лингвистическом смысле) 15 — итерационно-линейный 173 — конечно характеризуемый 322 — лексически размеченный 328 — — однородный 328 — линейный 168 — металннейный !70 — ограниченный 183 — ограниченной активной емкости (ОАЕ-язык) 234 —, определяемый категориальной грамматикой 186 †, — простой окрестностной грамматикой 180 — периодический 181 —, порождаемый грамматикой 28 Язык пустой 22 — регулярный !65 — рекурсивно перечислимый 49 — с нетривиальной замещаемостью 279 — скобочный 213 — формальный !О Ячейка ленты 41 — †,обозреваемая (Э-машины) 42 (В,м)-дерево 117 — квазнпростое !20 — простое 119 х-вычнсление (Э-машины) 44 — полное 44 х-ситуация заключительная 43 — начальная 43 [х,р?вычисление (Э-машины) 44 Г-образ языка 107 А-грамматика 13 А-грамматика окрестностная простейшая с порядком (=ПО- грамматика) 142 — — — — — ограниченная 142 6-поддерево полное !20 А 30 Б ЗО Б (Е) 321 УУ 256 Л 42 НС 30 П 42 П (Е) 321 Прыь Прим 24 ф (А) 288 ф(С) 289 и (т> 82 [А, 1, )[, [А, г, Д 214 а>75 17 (С, С') 29! СЬ, С„ь, С'Ь, С'„(Е) 22 (с ° л)188 Ег, 0е(л) 57 1) ()г), ЕУ(Г) 213 Р(М) 273 Ро (Г, л), Р! (л) 57 Ре (л) 56 Р (л) 62 Н (М) 273 Ь !г (л) 57 !о (Г) 174 !<ь г 332 ><(Е) (мноксество векторов) 7((Ь) (в конфигурационной рактеристике) 32! К (йг), К (йг)' 186 Ь' Ь+ 23 Е 156 Ы!'1 203 Ь!а1 Ь<а! 263 Ь (6) 186 Е(м) 44 ь <г> 23 Ео(<г, Ъ~„, Г~, Р) 213 Еч (А), Ез(А) 5! ЬЛ (Г) 51 Ьс (Г), Ь (М) 149 Езг(Ьг, Ео) 269 !.А(Г), Е, (а), Ь (М) 142, !43 Еа(Г) 6! !', ь" (В.>, ь", (В.> 60 Е|ьз 22 Ем 24 Е>м 23 Мо 17 М'(Е) 154 (М; Рь" Ря) 17 (М; Ю!7 (М; Во Вз)!9 <М; )<о ><„<7, Е> 19 <м;)ьр>!9 .
М/р !7 О (х) 167 ><о ><(Л') 271 укАБАТБль ОБОБИАМБний )7 (М), )7, (М), )7т (М) 272 Я 3г (л) 57 34 327 3 (24 он ..., ач ~ Е,о . °, Ба) 23 Зь (5, Г) 176 Зи (л) 63 8нЬ (Т, Т„Т,) 121 Т' Тг (и) 57 Тт,г 328 Т, (и) 63 )т', У+ 20 ул фГл (и) фп фгп (и) 57 Уг (и), т'Г (и) 84 ул(А), у (А) 288 ул(С), у (С) 289 (Яо ..., йл), (Яо ..., !3А) 17 (а,Я,(а, Р), (а, -) (-,а) 21 Г 30 тИ*ф*!)т 21 х (М) 258 х (Т) 13! Л!9 р (М) 17 Р (Т), р (Т, а) 237 т(в) 22 (1(М) (число полоротое) 17! 17(М) (миожестно протоколов) 269 П'(М) 269 л (С) 269 Фт, (и) 84 Фг (и) Фг (л) 84 [Ф," Ч'), (Ф ' чт) 185 ф'~,в 20 Хг (и) 242 в', в+ 24 со 35 (в!!9 ! в)а 21 вХ. 24 в',Ь 23 вф 20 в 220 Б,с!7 (с) 17, 22 2М 17 (), (), — 22 5,1/,:~,=— , ~,Ч,317 <, > 21 -з 27, 42 р=г ~, 1-т„! — 28 Ьлт, Ь,)-, )-43 ~ 124 г 45, ф 42 (, ->79 с<=, з=> 286 ! 34 ! 143 ==',т, фф 318 у,с ус +, )(, Э 220 .















