安德烈·埃伦菲赫特；佩恩，古奥热；格列泽戈兹·罗森贝格 用内部上下文语言表示递归可枚举语言。 （英语） Zbl 0913.68117号 西奥。计算。科学。 205，编号1-2，61-83（1998）. 摘要：我们证明了每一种递归可枚举语言（L）都可以以（L=\text）的形式编写{剪切}_{c} （L_{0}\cap R）\），其中\（L_}0}\）是一种内部上下文语言，\（R\）是正则语言，并且\（text{剪切}_{c} \）是一种操作，用于删除单词\（x\）中唯一出现的\（c\）左侧的前缀\（x）。作为这个结果的推论，我们得到了递归可枚举语言的表示形式：（1）逆态映象的弱编码，（2）正则语言的左商，以及（3）内部上下文语言的gsm映射的映象。这些表示意味着，内部上下文语言家族包括正则语言家族，并严格包含在上下文敏感语言家族中，它包含的语言不能由具有任意规则和空失败字段的编程语法生成。本文还简要研究了单边上下文语法的情况。 引用于三文件 MSC公司： 65年第68季度 形式语言和自动机 关键词：内部上下文语言 PDF格式BibTeX公司 XML格式引用 \textit{A.Ehrenfeucht}等人，Theor。计算。科学。205，编号1-2，61-83（1998年；Zbl 0913.68117） 全文： 内政部 参考文献： [1] 贝克，B.S。；Book，R.V.，反向有界多冲压机，J.Comput。系统科学。，8, 315-332 (1974) ·Zbl 0309.68043号 [2] Brandenburg，F.J.，《线性上下文无关语言中的取消》，帕索大学，法库特·富尔数学，und Informatik，MIP-8904报告（1989） [3] Brandenburg，F.J.，《关于正则控制集的上下文无关文法》，（第七届自动机与形式语言会议，第七届自动动机与形式化语言会议，Salgotarjan（1993）） [4] Dassow，J。；普恩，古.，《形式语言理论中的规范重写》（1989），施普林格：施普林格-柏林，海德堡 [5] 埃伦菲赫特，A。；普恩，Gh。；Rozenberg，G.，《外部语境语言的线性景观》，《信息学报》。，33, 571-593 (1996) ·Zbl 0858.68050号 [6] Gonczarowski，J。；Warmuth，M.K.，《分散与上下文敏感重写》，《信息学报》。，27, 81-95 (1989) ·Zbl 0664.68078号 [7] Harrison，M.A.，《形式语言理论导论》（1978），Addison Wesley:Addison Wesley Reading，马萨诸塞州·Zbl 0411.68058号 [8] Istrail，S.，《有规则选择的上下文语法》，Stud.Cercet。材料，30，287-294（1978）·兹伯利0383.68057 [9] Latteux，M。；勒古伊，B。；Ratoandromanana，B.，单计数器语言家族在商下闭合，信息学报。，22, 579-588 (1985) ·Zbl 0585.68069号 [10] Latteux，M。；Turakainen，P.，递归可枚举语言的特征，《信息学报》。，28, 179-186 (1990) ·Zbl 0686.68060号 [11] Marcus，S.，代数语言学。《分析模型》（1967），学术出版社：纽约学术出版社·Zbl 0174.02402号 [12] 马库斯，S.，《上下文语法》，Rev.Roum。数学。Pures应用。，14, 1525-1534 (1969) ·Zbl 0193.32401号 [13] Maurer，H.A。；Salomaa，A。；Wood，D.，《纯粹语法、信息与控制》，42，103-141（1979） [14] 普恩，Gh。，《语境语法》（1982年），The Publ。罗马尼亚科学院院刊：the Publ。罗马尼亚科学院布库雷什蒂研究所（罗马尼亚语）·Zbl 0565.68062号 [15] Păun，Gh.，递归可枚举语言的特征，Bull。EATCS，45，218-222（1991）·Zbl 0756.68063号 [16] 普恩，Gh。，马库斯上下文语法。25年后，公牛。EATCS，52，263-273（1994）·Zbl 0791.68095号 [17] 普恩，Gh。；Nguyen，X.M.，《论内部语境语法》，Rev.Roum。数学。Pures应用。，25, 641-651 (1980) ·Zbl 0452.68080号 [18] 普恩，Gh。；Rozenberg，G。；Salomaa，A.，《语境文法：擦除、决定论、片面语境》（Rozenberg，G.；Salomaaa，A.，语言理论的发展（1994），世界科学：世界科学新加坡），370-388 [19] 普恩，Gh。；Rozenberg，G。；Salomaa，A.，上下文语法：派生的并行性和阻塞，基金会。通知。，25, 381-397 (1996) ·兹比尔0851.68067 [20] 普恩，Gh。；Rozenberg，G。；Salomaa，A.，Marcus上下文文法：模块化和最左端派生，（Pun，Gh。，《自然语言和形式语言的数学方面》（1994），《世界科学：世界科学新加坡》，375-392 [21] Rosenkrantz，D.，程序语法和形式语言类，J.ACM，16，107-131（1969）·Zbl 0182.0204号 [22] Salomaa，A.，《关于通过规范派生获得的一些形式语言家族》，Ann.Acad。科学。Fennicae，爵士。A、 数学。，179 (1970) ·Zbl 0217.22605号 [23] Salomaa，A.，《形式语言》（1973），学术出版社：纽约学术出版社·Zbl 0262.68025号 [24] Turakainen，P.，《用线性语言和VW-grammars描述递归可枚举语言》（Proc.Koninklijke Nederlandse Akademie van Wetenschappen，Amsterdam，Ser.A，81（1978）），145-153·Zbl 0369.68049号 [25] Vicolov，S.，《关于马库斯上下文语言的两个定理》，布尔。数学。社会科学。数学。鲁马尼，35，167-170（1991）·Zbl 0792.68075号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。