Algebraic Elimination of epsilon-transitions
Gerard Duchamp, Hatem Hadj Kacem, Eric Laugerotte
Abstract
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.
Create a lesson
Related papers
Probably correct row echelon form in the F4 algorithm
Alexander Demin
Parallel Integration over Simple Radical Extensions II: Mixed Towers
Sam Blake
Certified local rank and uniqueness barriers for a 48-term matrix-multiplication decomposition
Abhinav Agarwal
Fast matrix multiplication via recursive 4x4x4:48 algorithms into practice
Jean-Guillaume Dumas, Clément Pernet, Alexandre Sedoglavic et al.
Diversity of EML-type operators
Andrzej Odrzywołek
Physical Law Ecology: mapping multi-mechanism ecologies as the zeroth step of data-driven scientific discovery
Xiongheng Bian, Xiangyu Cui, Ma Feng et al.