中文

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