×

递归可枚举语言的特征。 (英语) Zbl 0756.68063号

证明了每一种递归可枚举语言(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操作下并不是封闭的。

MSC公司:

65年第68季度 形式语言和自动机

关键词:

递归枚举语言
PDF格式BibTeX公司 XML格式引用