×

左理想和双边理想的句法复杂性的上界。 (英语) Zbl 1425.68185号

Shur,Arseny M.(编辑)等,《语言理论的发展》。2014年8月26日至29日,俄罗斯叶卡捷琳堡,DLT 2014第18届国际会议。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。8633, 13-24 (2014).
小结:我们解决了关于句法复杂性的两个公开问题。我们证明了具有左商(即具有状态复杂度(n))的左理想或后缀闭语言的句法半群的基数最多为(n^{n-1}+n-1),而双边理想或因子闭语言的语法半群的级数最多为(n ^{n-2}+(n-2)2^{n-2}+1)。由于已知这些边界是可达到的,因此解决了问题。
关于整个系列,请参见[兹比尔1294.68029].

MSC公司:

65年第68季度 形式语言和自动机
70年第68季度 语言代数理论与自动机
PDF格式BibTeX公司 XML格式引用