马蒂·琳娜 在通过迭代态射获得的周期(ω)序列上。 (英语) Zbl 0547.68074号 图尔库安大学。,序列号。A我 186, 64-71 (1984). DOL系统的一个基本问题是生成单词的周期性。例如,通过以下方法证明DOL语言依从性等价问题的可判定性T.头部【Theor.Comput.Sci.31,139-149(1984)】基本上基于这些考虑。在本文中,DOL周期性问题(给定的DOL系统是否最终生成周期(ω)字可判定吗?)在假定提前知道周期的特殊情况下求解。最近,一般案件也得到了肯定的解决T.哈尔朱和M.林纳[关于自由幺半群上的周期态射,提交出版]。 引用于三文件 MSC公司: 65年第68季度 形式语言和自动机 2012年第68季度 语法和重写系统 关键词:周期ω-字;迭代态射;无限序列;DOL周期性问题 PDF格式BibTeX公司 XML格式引用 \textit{M.Linna},Ann.Turku大学,Ser。A I 186,64--71(1984;Zbl 0547.68074)