epsilon-转移的代数消除
符号计算
2009-09-29 v2 数据结构与算法
摘要
我们在此给出了将 k-automaton 与 k-epsilon-automaton 相关联的代数公式。其存在性取决于半环 k 中矩阵和元素的星号(star)的定义。为此,我们提出了允许将 k-epsilon-automata 转换为 k-automata 的定理。这两个自动机具有相同的行为。
关键词
引用
@article{arxiv.cs/0401012,
title = {Algebraic Elimination of epsilon-transitions},
author = {Gerard Duchamp and Hatem Hadj Kacem and Eric Laugerotte},
journal= {arXiv preprint arXiv:cs/0401012},
year = {2009}
}
备注
13 decembre 2004