Гладкий - Формальные грамматики и языки - 1973 (947381), страница 72
Текст из файла (страница 72)
О)пьЬиг8 5., ТЬе шайешаИса) йеогу о1 соп1ех1-1гее )апдиадеь, — № У. — 5ап Ргапс!ьсо — Тогоп1о — Ьопдоп, 1966. (Русский перевод; Гин з6 ур г С., Матемау(ическая теория контекстно- свободных языков, «Мир», 1970.) О(п в Ь их д 5., О ге)Ь а сЬ 5. А. Марр!пдь чгЫ«1г ргезегче соп1ех1 зельц!че !апдиадез. — 1п1огшаИоп апд Соп1го!, 1966 (а), 9, № 6, 563 — 583. (Русский перевод: Г и из бург С., Гр ей 5 ах Ш., ' Рб инвариаатиостн класса НС-языков относительно некоторых 355 354 ЛИТЕРАТУРА ЛИТЕРАТУРА отображений, Кибернетический сборник, новая серия, вып.
5, «Мир», 1968, 167 — 188.) О(паЬиги 3., О ге |ЬасЬ 3. А, Ре1егш!п(зйс соп1ех1-1гее 1апбиабез. — 1п1оппаИоп апй Соп1го1, !966 (б), 9, № 6, 620 — 648. О ! п вЬ и ги 3., й! се Н. О. Т|чо (а|пй!ев о$ !апбйайев ге1а1ей 1о А1.О01.. — Л Авяос, Сошри1!иб Маей|негу, 1962, 9, № 3, 350 — 371. (Русский перевод: Гинзбург С., Райс Х., Два класса языков типа АЛГОЛ, Кибернетический сборник, новая серия, вып. 6, «Мнр», 1969.) О!пзЬиги 3., 5 ран(ег Е.
Н., Р1пИейигп рияЬйошп аи1о. ша1а. — й. 3!АМ Соп1го(, !966, 4, № 3, 429 — 453. О!пяЬиг'и 3., Зрап1ег Е. Н. РепчаИоп-Ьоипйей 1апбиабея. — й, о! Согпр|йег апй Зуз1еш Зс|епсев, 1968, 2, № 3, 228 — 250. С|(пвЬиг8 З., 1)11!ап». З. АшЬ!Вийу ш соп(ех(-(гее !ап. Виабев. — д, Аввос, Сошрийпд МасЫпегу, !966, 13, № 3, 364 — 368, Оге|ЬасЬ 3. А. 1)пйес№аЫГИу о(ййе ашЬ!Вш1у огоЫеш (ог пппппа1 Ппеаг бгапппагз.— 1п$оппа$!оп апй Соп(го1, !953, 6, № 2, 119 — ! 25. Оге! Ь асЬ 3. А. А пе|ч поппа1-(опп (йеогеш (ог соп1ех(-(гее рЬгаве ь(гис№ге бгапипагв.— Л Аввос.
Согприйпб МасЫпегу, !965, 12, № 1, 42 — 52. О ге! Ь а сЬ 3. А. ТЬе ипво1чаЫ!Иу о( (йе гесобпй!оп о( Ппевг соп(ех(-(гее !ап8иабев.— й. давос. Сошрийпб МасЫпегу, 1966, $3, № 4, 582 — 587. О ге! Ьа сЬ 3. А А я!шр!е ргоо( о((Ье я1апйагй-(оггп (йеогеш (ог соп(ех(-(гее бгапппагв. — 1п: «Ма(йегпаИса! Ыпбшв$!св апй Аи1о| шаИс Тгапв!аИоп», Нагчагй $)п1ч.
Сошри1аИоп Ьайч йер1. ХЗР-18, Аибизй 1967, П-! — П-4. Оге1ЬасЬ 3. А, А по$е оп ипйесЫаЫе ргорегйея о( (оппа! !апйиа8ез. — Майи Зуя1егпв ТЬеогу, !968, 2, № 1, 1 — 6. Ого в в М., 1.еп1(п А. Хо1!опв виг 1ея бгапппа(гев (оггпе1- 1ея. — Раг!з, 1967. (Русский перевод: Г р о с с М,, Л а н т е н А., Теория формальных грамматик, «Мир», 197Ц Ог и ай а Л Оп а с!аяв!Исв$!оп о! соп1ех(-(гее !апбиабев. — КуЬегпеййа, 1967, 3, № 1, 22 — 29. На!пев $,. Н. Оепега1юп апй гесобп!$!оп о1 $огша! !апбиабез. — РЬ. Р.
ТЬевЬ, МаявасйизеЬ 1пв(ИЫе о( Тесйпо!о8у, !965. Н а(п е з $.. Н, йергезеп1аИоп Гйеогеп|я 1ог соп1ех1-вепЫИче !апбиаиез. — Хойсез Агпег. Ма1Ь. Зос. !969, !б, № 3, 527. Н а ! п е з $.. Н. йергевеп1аИоп $Ьеогешя (ог соп1ех1-вень!Иче !апбиадев. — $)п!ч. о1 Са!Поги|, ВегЫу, СаШ„1970. Н а грег К, Е., Науа Р. О. ТЬе ияе о$ шасЫпев 1п (йе сопз1гисИоп о( а бгапипаг апй сошрШег ргобгагп $ог в1гис1ига! апа1уз!я.— 1п «!Р!Р.
1п(оппайоп ргосеяз!пб !959, 'Ргосеей!пбз...», Рапз, 1960, 188 — 194. (Русский перевод; Ха р пер К. Е., Х ей с Д. Г,, Использование машин при построении грамматики н программа для структурного анализа, сб. «Автоматизация в лингвистике», «Наука», 1966, 132 — 143.) На гг! я Х.З. З(гис(ига! ПпбшяИсв. — СЫсабо, 196!. Н а уз Р. О. Огоир!пб апй йереп|$епсу !Ьеог!ез.— )п «Ргосеей!пбв о( Тйе Хайопа! Зушроз1иш оп МасЫпе Тгапв!айоп», Епб!е|чоой СИИв (Х,,Ц, 1961, 258 — 266. Н а г 1 ш а п | з й.
Соп1ехбйгее 1апбиабев апй Тиг(пб шасЫпе сошри(а$1опя, — Ргос. Зушров!шп !п Аррйей Ма(йегпаИсв о( (йе А|пег. МаИ|. Зос,, 1967, 42 — 51. На че! 1. А по1е оп опе-вйей соп1ех1-яепвИ1че бгашшагз.— КуЬегпеИ(га, !969, 5, № 3, 186 — 189. Н е п п ! е Р. С. Опе-1аре, оИ-Ипе Тиг1пб п|асЫпе согпрШаИопв.— !п1оппаИоп апй Соп1го1, 1965, 8, № 6, 553 — 578.
(Руссннй перевод: Х ен н и Ф. К., Вычисления на одноленточиой машине Тьюринга с записью на лейте, сб. «Проблемы математической логики», «Мнр», 1970, 223 — 248.) Н орсго11 д. Е., $) ! ! ша п й. Р. Роппа!!апбиабев апй (йе!г ге1аИопз 1о аи1оп|а1а. — Меп!о Рагй, Св!И., 1969. К1еепе 3. С. 1п1гойисИоп 1о Ме1ашв(Ьешапся.— Рппсе1оп, Х. й., !952. (Русский перевод: Клин и С. К., Введение в метаматематику, ИЛ, 1957.) К )еепе 3. С. йергевеп1аИоп о1 ечеп1я !п пегче яеЬ апй И- ппе а|поп|а1в. — !п: С.
Е. 3 Ь а п и оп, Л М с С| а г1Ь у (ейя.), Аи1оша1а З(ий!ея, Рппсе1оп, Х. й., 1956, 3 — 4!. (Русский перевод; Кли. н и С. К., Представление событий в нервных сетях и конечных автоматах, сб. «Автоматы», ИЛ, 1956, !5 — 67.) Кигойа З.-У. С!аявез о1 1апйиабез апй Ипеаг-Ьоипйей аи(оша1а. — 1п1оппайоп апй Соп$го1, !964, 7, № 2, 207 — 223. Ьа п йтче Ьег Р. 3. ТЬгее Тйеогешв оп рйагяе в1гис$иге игашшагя о1 $уре 1. — 1п1оппайоп апй Соп1го1, 1963, 6, № 2, 131 — !36.
1.ееег1 У. Ргобгапппе йев сопй!Ь, пюйе1е йев сопй!Ь.— Тгайисйап аи(оша1щие, !960, 1, № 4, 11 — 18; № 5, 17 — 36. ).евп1е|чай! 3. Огипйхибе е!пез пеиеп Зуя1епь йег Огипй!абеп йег Ма1Ьеша1ПŠ— Рипйаш, Ма1Ь., !929, 14, ! — 81. Магсия 3. А!ВеЬга!с !шбшзйсз; апа!у1!са! пюйе!я.— Х, У,— $, 1967. (Русский перевод: Маркус С., Теоретико-множественные модели языков, «Наука», 1970.) М уй !11 й.
Р|пИе ашоша1а апй (йе гергевеп1аИоп о( ечепЬ.— Т(гАРС ТесЬп!са! йерог1 57 — 624, !957, !!2 — 137. Х е г о й е А. Е!пеаг аи1оша1оп 1гапМоппаИопз. — Ргос. Ашег. Ма1Ь. Зос., 1958, 9, № 4, 541 — 544. Хочо1пу М, ОЬег ел|И!сЬ сйагас1егийегЬаге Зргасйеп.— Зр!- ву рг!рабочей. (ай. ип!ч. ч Вгпй !965 (а), № 1О, 495 — 502. Х о ч о $ п у М. Вешегйипб ОЬег аЫеИЬаге ЗргасЬеп.
— ЗРЬу рг!гойочей. (ай. ип(ч. ч Вгпе, !965 (б), № !О, 503 — 507. Х о | о(п у М. Вешег(гипбеп ОЬег НопюгрЫяп|еп чоп Зрга сйеп. — Зр!ву р1!гойочей. $а$|. ип!ч. ч Вгпе, 1965 (в), № 1О, 509— 518. Раг)ЬЬ й, Л. Ьапбиабе бепега(!пб йеч!сез.— М. 1. Т. йек $.аЬ. Е!ес1гоп. Она|1. Рго8. йер1, 1961, № 60, 199 — 212. Р а г ! )с Ь й. д. Оп соп$ех1.1гее !впбиабез. — й. Аз»ос. Со|прийпб МасЫпегу, 1966, !3, № 4, 570 — 580. Ров( Е. $.. А чаг!ап1 о1 а гесигя№е!у ипво№аЫе ргоЫеш.— ВиП, Ашег. Майи Зос., 1946, 52, № 4, 264 — 268. йаЫп М.
О. Зреей о( соп|ри(а1юп о(|ппсйоп ап|$ с!аяы(каИоп о! гесигяше зеЬ. — Вий. йея. Соипсй Ьгае!, 1959, ВР, 69 — 70. йаЬ|п М. О. йеа1.(ппе соп|ри|айоп.— !згае!»оигпа! Ма1Ь, 1963, 1, № 4, 203 — 2! !. ЛИТЕРАТУРА ЯаЫп М. О., 5 со[1 О, Ршйе ащогпа1а апй 1Ье[г бес|ь|оп ргоЫепш. — |ВМ мошна[ Вез. апй Вече!., 1959, 3, № 2, |14 — |25. (Русскнй перевод: Р а б н н М.„С но т т Д., Конечные автоматы и проб- демы их разрешения, Кибернетический сборник, вып.
4, ИЛ, 1962, 56 — 91.) й! се Н. О. С!аььез о1 гесшчйче епшпегаЫе ье1ь апб йе|г дес|- зюп ргоЫетк — Тгапз. Агпег. Мзй. Бос„|953, 74, № 2, 358 — 366. Я!1сЫе Я. 'яг. С1азьез о[ ргейсВЫе сотри1аЫе 1ипс1юпз.— Тгапь. Апзег. Май. Бос., 1963, 106, № 1, 139 — 173. (Русскчй перевод: Р и ч и Р. В., Классы предсказуемо вычислимых фувкций, сб. «Проблемы матеиатической логики», «Мнр», 1970, 50 — 93.) Я о ее п Ь е г 8 А. ! . А тас[йпе геа|йа1!оп о1 1Ье 1|пеаг соп1ех1- 1гее [апйиайез. — 1пгогта1юп апд Соп1го|, 1967, 1О, № 2, !75 — !88.
Б а т е | ь о п К., В а и е г Р. Е., Бейиеп1!а! 1оппи1а 1гапь!а!|оп. — Сопшшп. Аьзос. СогприБпй МасЫпегу, 1960, 3, № 2, 76 — 83. 5 с Ье|п Ь его Б, [ь[о!е оп 1!ге Воо!еап ргорег[!еь о1 соп!ехШгее [ьпйиайсз, — [п1огть!|оп апб Сопйо|, 1960, 3, № 4, 372 — 375. Б с Ь 01 х е и Ь е г 9 е г М. Р.
Оп соп1ех(-[гее [апйиайеь апб риьйботчп ашота1а. — !п1огп!аДоп апд Соп|го1, 1963, 6, № 3, 246— 264. Б с Ь 0 1 х е и Ь е г 9 е г М. Р, [[пе ргоЫепзе де !а йеопе йеь аи1ота1еь. — Бенина|ге Оибге!! — Р!ьо[, Рапь, 1959. БсЬ01зепЬег8ег М. Р. Багие гетаг[гз оп СЬоть[гу'ь соп1ех[-[гее [апйиа2еь. — М. 1. Т, Яеь. Ьаб.
Е1ес1гоп. [гиаг1. Рго9. Яер[., 1961, № 63, 155 — !70. Б Ь а т ! г Е. А гетаг[г о[ й|ьсочегу а1аог!ать 1ог йгагптагь.— 1п1оггпа1|оп апб Соп!го!. !962, 5, № 3, 246 — 251. Б5 а п поп К. Е. А гпайетаВса| йеогу о[ сотпшп[са1!оп.— ВеВ Буз1егп ТесЬп. 3оигпа1, 1948, 27, № 3, 379 — 423; № 4, 623 — 656. (Русский перевод: Ше ни он К., Математическая теория связи, сб.
«Работы гю теории информации и кибернетике», ИЛ, 1963, 249 — 332.) Те ьп ! е ге Ы Е1егпепй де зуп1ахе Мгис1ига!е. Рапз, 1959. Т и г! п 9 А. М. Оп сотри1аЫе пшпЬегз, гч!й ап аррБсаБоп 1о 1Ье ЕпйсЬе№ипйзргоЫет. — Ргос. Еопбоп Май. Бос., ьег. 2, 1936— 1937, 42, 230 — 265. А соггесЕоп, |Ьгй, 1937, 43, 544 — 546. ([11[а и 3. Б, Ев!!иге о1 а соп)ес1иге аЬои1 соп1ех[-[гее !апдиайез.
— 1п1огта1!оп апй Соп1го1, 1956, 9, № 1, б! — 65. % е!1 ь Е. Б. [ттей1а1е сопьйиепйм — [ ап2иайе, 1947, 23, № 2, 8! — 1! 7. Уп дче Ч. Н. А тойе1 зпд а Ьуройез!з 1ог !апеиа8е з1гисйге. Ргос. Атег. РЫ1. Бос., 1960, 104, № 5, 444 — 466. Уп1е та М. К, !по|из|оп ге!а|!опь атопй 1аппйеь о1 соп1ех1- 1гее [ап8иабеь. — [п1оппа1!оп апд Соп1го|, !967, 10, № 6, 572 — 597. Д)»ЕДА[(ЕТНЫИ УКАЗАТЕЛЪ Автомат древообходящий (=Д-автомат) 140 — конечный 159 — — двуленточный ( =ДК-автомат) 182 — — с выходом 180 А-грамматика, см. Грамматика ав1оматная 29 Алгоритм 252 — для распознавания конечности Б-языка 124 — — — пустоты Б-языка |22 Алфавит см. Словарь 19 27 Анатизатор предсказуемостный 141 А-язык, см. Язык автоматный 30 База линейного множества векторов 129 — полулннейного множества векторов 130 Б-грамматика, см.
Грамматика бесконтекстная 29 Биграф 19 — нагруженный 19 Б-ОАЕ-грамматика, см. Грамма. тика бесконтекстная ограниченной активной емкости 234 Б-правило, см. Правило бесконтекстное 29 Буква, см. Символ элементарный 19 Б-язык, см. Язык бесконтекстный 30 Вектор 129 Вершина (графа), см. Узел графа !8 Взанмозамещаемость 3|8 Вкладываться (Ъ'-грамматака зкладызаегся з Д-грамматику) 201 Вложена непосредственно (сосгавляюи[ая В н«аагр«дсгееино алоягеиа е составляюа[ую А) 286 Время работы (Э-машины) 63 Вхождение отмеченное 200 — символа 21 — цепочка 21 Вывод 28 — бесповторный 3! — полный 28 †„приведенный налево 51 — размеченный 28 — — упорядоченный 3! — упорядочиваемый 31 Выводимость (девочка ц выводима ивы) 28 — непосредственная 28 Выводы равносильные, см.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
