K-位置、跟随、方程和K-C-延续树自动机构造
摘要：从给定的正则树表达式中，我们定义了k-位置树自动机P和跟随树自动机F。使用Kuske和Meinecke的等式树自动机E的定义以及我们之前定义的k-C-连续树自动机C，我们证明了前面的形态关系对于树表达式仍然有效。
作者：Ludovic Mignot (LITIS Laboratory Normandie University, University of Rouen France), Nadia Ouali Sebti (LITIS Laboratory Normandie University, University of Rouen France), Djelloul Ziadi (LITIS Laboratory Normandie University, University of Rouen France)
论文ID：1403.6251
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-07-14