从正则语言到严格本地可测试语言
摘要：每个被有限自动机识别的语言都是一个本地语言的同态像，其中本地语言是指在McNaughton和Papert的无限层级严格本地可测试语言（k-slt）中窗口宽度的值k=2。我们在一个新的方向上推广了Medvedev的结果，研究了宽度和字母比率之间的关系，即本地字母表的大小。我们证明了每个正规语言都是一个在字母表大小加倍的k-slt语言的像，其中宽度对数地依赖于自动机的大小，并且我们展示了对于任何更小的字母比率来说都不足够的正规语言。更一般地，我们通过对状态的精确编码，将字母比率和宽度之间的权衡关系表达为一个数学关系。最后，我们提及了一些理论发展和应用的方向。
作者：Stefano Crespi Reghizzi (Dipartimento di Elettronica e Informazione, Politecnico di Milano), Pierluigi San Pietro (Dipartimento di Elettronica e Informazione, Politecnico di Milano)
论文ID：1108.3626
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2011-08-19