2004/01/15 by Gerard Duchamp, Duchamp, Gerard, Hatem Hadj Kacem +4
Computer Science · #Advanced Algebra and Logic #Formal Methods in Verification #cs.DS #cs.SC #semigroups and automata theory
paper · pdf · doi:10.48550/arxiv.cs/0401012
13 decembre 2004
arxiv created 2004/12/13 · arxiv updated 2009/12/01
We present here algebraic formulas associating a k-automaton to a k-epsilon-automaton. The existence depends on the definition of the star of matrices and of elements in the semiring k. For this reason, we present the theorem which allows the transformation of k-epsilon-automata into k-automata. The two automata have the same behaviour.