×

上下文无关的封闭语言族。 (英语) Zbl 0824.68063号

小结:我们研究了无上下文的封闭语言族,即族({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季度 形式语言和自动机
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。