×

在通过迭代态射获得的周期(ω)序列上。 (英语) Zbl 0547.68074号

DOL系统的一个基本问题是生成单词的周期性。例如,通过以下方法证明DOL语言依从性等价问题的可判定性T.头部【Theor.Comput.Sci.31,139-149(1984)】基本上基于这些考虑。在本文中,DOL周期性问题(给定的DOL系统是否最终生成周期(ω)字可判定吗?)在假定提前知道周期的特殊情况下求解。最近,一般案件也得到了肯定的解决T.哈尔朱M.林纳[关于自由幺半群上的周期态射,提交出版]。

MSC公司:

65年第68季度 形式语言和自动机
2012年第68季度 语法和重写系统
PDF格式BibTeX公司 XML格式引用