Scifaro

中文

正则树语言的Ogden引理

计算复杂性 2008-10-24 v1

作者: Marco Kuhlmann

在 arXiv 上查看 ↗ PDF ↗

摘要

我们提出并证明了一个关于正则树语言的强泵引理。这个新引理可以看作是上下文无关字符串语言的Ogden引理的自然对应物。

关键词

Ogden引理正则树语言泵引理上下文无关字符串语言树自动机

引用

@article{arxiv.0810.4249,
  title  = {Ogden's Lemma for Regular Tree Languages},
  author = {Marco Kuhlmann},
  journal= {arXiv preprint arXiv:0810.4249},
  year   = {2008}
}