关于散在词上下文无关语言的研究
形式语言与自动机理论
2015-03-19 v1 离散数学
摘要
已知若一个Büchi上下文无关语言(BCFL)由散在词构成，则存在一个仅依赖于该语言的整数，使得该语言中每个词的豪斯多夫秩均以为界。每个BCFL都是一个Müller上下文无关语言(MCFL)。在本文的第一部分，我们证明了一个由散在词构成的MCFL是BCFL当且仅当该语言中每个词的秩均以一个仅依赖于该语言的整数为界。随后，我们建立了良序词与散在词BCFL的运算特征刻画。我们证明，一个语言是由良序词构成的BCFL当且仅当它可以通过将包含字母表中字母的单元素语言代入普通上下文无关语言并进行-幂运算而生成。我们还建立了散在词BCFL的相应结果，并定义了表示良序词与散在词BCFL的表达式。在本文的最后部分，我们给出了一些应用。
引用
@article{arxiv.1111.3439,
title = {On context-free languages of scattered words},
author = {Zoltan Esik and Satoshi Okawa},
journal= {arXiv preprint arXiv:1111.3439},
year = {2015}
}