Showing 1–1 of 1 results for author: Flouret, M

Direct and dual laws for automata with multiplicities

Authors: Gérard Duchamp, Marianne Flouret, Eric Laugerotte, Jean-Gabriel Luque

Abstract: We present here theoretical results coming from the implementation of the package called AMULT (automata with multiplicities in several noncommutative variables). We show that classical formulas are ``almost every time'' optimal, characterize the dual laws preserving rationality and also relators that are compatible with these laws. We present here theoretical results coming from the implementation of the package called AMULT (automata with multiplicities in several noncommutative variables). We show that classical formulas are ``almost every time'' optimal, characterize the dual laws preserving rationality and also relators that are compatible with these laws. △ Less

Submitted 18 July, 2006; originally announced July 2006.

Journal ref: Theoretical Computer Science 267 (2001) 105-120