Algebraic elimination of ε-transitions

We here describe a method of removing the ε-transitions of a weighted automaton. The existence of a solution for this removal depends on the existence of the star of a single matrix which, in turn, is based on the computation of the stars of scalars in the ground semiring. We discuss two aspec...

Full description

Bibliographic Details
Main Authors: Gérard H. E. Duchamp, Hatem Hadj Kacem, Éric Laugerotte
Format: Article
Language:English
Published: Discrete Mathematics & Theoretical Computer Science 2005-12-01
Series:Discrete Mathematics & Theoretical Computer Science
Online Access:http://www.dmtcs.org/dmtcs-ojs/index.php/dmtcs/article/view/61