scientific article; zbMATH DE number 2040319

MaRDI QIDQ4449534zbMATH OpenFDO

Authors Cyril Allauzen, Mehryar Mohri

Publication date 11 February 2004

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70) Combinatorics on words (68R15) Nonnumerical algorithms (68W05)

Recommendations

• An efficient pre-determinization algorithm
• An optimal pre-determinization algorithm for weighted transducers
• On the determinization of weighted finite automata
• An approximate determinization algorithm for weighted finite-state automata
• Rigorous approximated determinization of weighted automata

Cited in

(28)

• Algorithmic aspects of a general modular decomposition theory
• Efficient algorithms for computing the inner edit distance of a regular language via transducers
• On deterministic weighted automata
• Finite sequentiality of unambiguous max-plus tree automata
• Determinisability of unary weighted automata over the rational numbers
• Determinization of fuzzy automata by factorizations of fuzzy states and right invariant fuzzy quasi-orders
• A disambiguation algorithm for weighted automata
• Sequential?
• On the determinization of weighted finite automata
• Search and test algorithms for triple product property triples.
• A disambiguation algorithm for finite automata and functional transducers
• On the disambiguation of weighted automata
• A Burnside Approach to the Termination of Mohri's Algorithm for Polynomially Ambiguous Min-Plus-Automata
• An efficient pre-determinization algorithm
• Rigorous approximated determinization of weighted automata
• Crisp-determinization of weighted tree automata over strong bimonoids
• Determinization of fuzzy automata via factorization of fuzzy states
• scientific article; zbMATH DE number 7559164 (Why is no real title available?)
• A pattern logic for automata with outputs
• Regular expressions and transducers over alphabet-invariant and user-defined labels
• Bideterministic weighted automata
• Bideterministic weighted automata
• Finite sequentiality of finitely ambiguous max-plus tree automata
• Finite sequentiality of finitely ambiguous max-plus tree automata
• Finite-valued streaming string transducers
• An optimal pre-determinization algorithm for weighted transducers
• Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton
• Decidability, undecidability, and PSPACE-completeness of the twins property in the tropical semiring

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4449534)