Scifaro

中文

利用 Arden 引理的推广从树自动机构建有理表达式

形式语言与自动机理论 2015-02-02 v1

作者: Younes Guellouma , Ludovic Mignot , Hadda Cherroun , Djelloul Ziadi

在 arXiv 上查看 ↗ PDF ↗

摘要

Arden 引理是语言理论中的一个经典结果，允许计算表示有限字符串自动机所识别语言的有理表达式。在本文中，我们将这一重要引理推广到有理树语言。此外，我们还提出了一种构建有理树表达式的方法，该表达式表示有限树自动机所接受的树语言。

关键词

Arden 引理树自动机有理树语言有理树表达式语言理论有限自动机

引用

@article{arxiv.1501.07686,
  title  = {Construction of rational expression from tree automata using a generalization of Arden's Lemma},
  author = {Younes Guellouma and Ludovic Mignot and Hadda Cherroun and Djelloul Ziadi},
  journal= {arXiv preprint arXiv:1501.07686},
  year   = {2015}
}