奥林匹亚州Louscou-Bozapalidou 上下文无关的封闭语言族。 (英语) Zbl 0824.68063号 国际期刊计算。数学。 46,第1-2、1-7号(1992年). 小结:我们研究了无上下文的封闭语言族,即族({mathcal L})验证了等式(CF\circ{mathcall L}={mathcalL}\),其中(CF\)表示无上下文语言族,“(\circ\)”是替换操作。如果一个族同时是无上下文闭的和有理锥的,则将其称为无上下文AFL。(递归可枚举语言的)族\(CF\)和\(RE\)具有此属性。我们证明了上下文无关的AFL类被恰当地包含在完全AFL类中。此外,由族({mathcal L})生成的上下文无关AFL由公式\({mathcal L}\Delta=CF\circ{mathcalL}\Gamma\)给出,其中\({mathcalL}\Gamma)表示由\。利用这个结果,我们建立了所有族的显著包含((({mathcal L}\circ{mathcal-M})Delta\subset{mathcall L}\Delta\circ{mathcali-M}\Delta)以及等式是由\({\mathcal L}\)生成的完整AFL。 理学硕士: 65年第68季度 形式语言和自动机 关键词:上下文无关语言;上下文无关AFL PDF格式BibTeX公司 XML格式引用 \textit{O.Louscou-Bozapalidou},国际计算机杂志。数学。46,编号1--2,1--7(1992;Zbl 0824.68063) 全文: 内政部 参考文献: [1] Autebert J.M.,Ratiolle转导物(1988) [2] Berstel J.,Teubner(1979年) [3] DOI:10.1016/S0022-0000(70)80016-2·Zbl 0198.03102号 ·doi:10.1016/S0022-0000(70)80016-2 [4] 金斯堡S.,Mem。阿默尔。数学。Soc.87第41页–(1969年) [5] DOI:10.1016/S0020-0255(70)80044-5·Zbl 0211.31401号 ·doi:10.1016/S0020-0255(70)80044-5 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。