佩恩,古奥热 递归可枚举语言的特征。 (英语) Zbl 0756.68063号 牛市。EATCS公司 45, 218-222 (1991)。 证明了每一种递归可枚举语言(L)都可以写成(L=\text{red}(L_0)\cap V^*)的形式,其中red是H.A.Maurer先生,G.罗森伯格和E.韦尔兹尔【信息控制54,155-185(1982;Zbl 0523.68065号)],(L_0)是线性语言,(V)是(L)的字母表。[loc.cit.]中的一个悬而未决的问题是这样解决的:线性语言家族在red操作下并不是封闭的。 引用于1审查引用于2文件 MSC公司: 65年第68季度 形式语言和自动机 关键词:递归枚举语言 引文:Zbl 0523.68065号 PDF格式BibTeX公司 XML格式引用 \textit{G.Pun},公牛。EATCS 45、218--222(1991;Zbl 0756.68063)