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
Description
Summary: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 aspects of the star problem (by infinite sums and by equations) and give an algorithm to suppress the ε-transitions and preserve the behaviour. Running complexities are computed.
ISSN:1462-7264
1365-8050