Algebraic Elimination of epsilon-transitions

Gérard Henry Edmond Duchamp (1) , Hatem Hadj Kacem (2) , Eric Laugerotte (2)

1 LIPN - Laboratoire d'Informatique de Paris-Nord
2 LIFAR - Laboratoire d'informatique fondamentale et appliquée de Rouen

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.

Mots clés: Star of matrices; k-epsilon-automata

Domaines: Calcul formel [cs.SC]

Gérard Henry Edmond Duchamp, Hatem Hadj Kacem, Eric Laugerotte. Algebraic Elimination of epsilon-transitions. Discrete Mathematics and Theoretical Computer Science, 2005, Vol. 7, pp.51-70. ⟨10.46298/dmtcs.358⟩. ⟨hal-00003545⟩