胡芙, 黄兆华. 树自动机超最小化[J]. 南昌航空大学学报(自然科学版), 2015, 29(2): 27-32. DOI: 10.3969/j.issn.1001-4926.2015.02.005
引用本文: 胡芙, 黄兆华. 树自动机超最小化[J]. 南昌航空大学学报(自然科学版), 2015, 29(2): 27-32. DOI: 10.3969/j.issn.1001-4926.2015.02.005
HU Fu, HUANG Zhao-hua. Hyper-Minimization for Tree Automaton[J]. Journal of nanchang hangkong university(Natural science edition), 2015, 29(2): 27-32. DOI: 10.3969/j.issn.1001-4926.2015.02.005
Citation: HU Fu, HUANG Zhao-hua. Hyper-Minimization for Tree Automaton[J]. Journal of nanchang hangkong university(Natural science edition), 2015, 29(2): 27-32. DOI: 10.3969/j.issn.1001-4926.2015.02.005

树自动机超最小化

Hyper-Minimization for Tree Automaton

  • 摘要: 提出一种新的树自动机超最小化算法,该算法将确定的树自动机转换为确定的有限自动机,再根据确定的有限自动机划分f-等价类方法及状态合并算法,对转换后的自动机进行超最小化,得到最终具有有限差异的确定的树自动机。通过采用实例算法证实:该算法与现有的确定的树自动机超最小化算法相比,具有过程简单、效率高等优点,是一种高效易用的算法。

     

    Abstract: A new hyper-minimization algorithm of tree automaton was proposed in this paper. The deterministic tree automaton was transformed into deterministic finite automaton, then according to partitioned states into f-equivalence class and merged f-equivalence states algorithm of deterministic finite automaton, used hyper-minimization to the transformed automaton, got the final tree automaton which has finite differences. Compared with the exist algorithm, this algorithm is more simple and effectively, so it is an effective and easy-used algorithm.

     

/

返回文章
返回