Approximate comparison of functions computed by distance automata

DOI10.1007/S00224-015-9643-3MaRDI QIDQ290904zbMATHOpenAlexFDO

Authors Thomas Colcombet, Laure Daviaud

Publication date 3 June 2016

Published in Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL https://openaccess.city.ac.uk/id/eprint/21296/1/version_journal_v3.pdf

zbMATH Keywords

comparisonasymptotic behaviourtropical semiringdistance automataweighted automata

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Algebraic theory of languages and automata (68Q70)

Recommendations

• Approximate comparison of distance automata
• Limitedness theorem on finite automata with distance functions: An algebraic proof
• Distance automata having large finite distance or finite ambiguity
• New upper bounds to the limitedness of distance automata
• scientific article; zbMATH DE number 1163639

Cites work

• scientific article; zbMATH DE number 3495598 (Why is no real title available?)
• Distance desert automata and the star height problem
• Green's relations and their use in automata theory
• Limitedness theorem on finite automata with distance functions
• On semigroups of matrices over the tropical semiring
• On the definition of a family of automata
• On the topological structure of a finitely generated semigroup of matrices
• THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
• The Theory of Stabilisation Monoids and Regular Cost Functions
• The limitedness problem on distance automata: Hashiguchi's method revisited

Cited in

(5)

• Comparison of max-plus automata and joint spectral radius of tropical matrices
• Distance automata having large finite distance or finite ambiguity
• Approximate comparison of distance automata
• Deriving generic bounds for time-series constraints based on regular expressions characteristics
• scientific article; zbMATH DE number 7360012 (Why is no real title available?)

This page was built for publication: Approximate comparison of functions computed by distance automata

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