A generalised twinning property for minimisation of cost register automata

DOI10.1145/2933575.2934549MaRDI QIDQ4635950zbMATH OpenOpenAlexFDO

Authors Laure Daviaud, Pierre-Alain Reynier, Jean-Marc Talbot

Publication date 23 April 2018

Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://openaccess.city.ac.uk/id/eprint/21298/1/A%20Generalised%20Twinning%20Property%20for%20Minimisation%20of%20Cost%20Register%20Automata.pdf

zbMATH Keywords

cost register automataminimisationtwinning propertyweighted automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Regular functions and cost register automata (invited paper)
• Weak cost register automata are still powerful
• Better complexity bounds for cost register automata
• Better complexity bounds for cost register automata
• Weak cost register automata are still powerful

Cited in

(16)

• Better complexity bounds for cost register automata
• Streamable regular transductions
• Degree of sequentiality of weighted automata
• Pumping lemmas for weighted automata
• scientific article; zbMATH DE number 7003194 (Why is no real title available?)
• The many facets of string transducers (invited talk)
• Sequentiality of string-to-context transducers
• Determinisation of finitely-ambiguous copyless cost register automata
• Continuity of functional transducers: a profinite study of rational functions
• Better complexity bounds for cost register automata
• scientific article; zbMATH DE number 7407779 (Why is no real title available?)
• Over Which Monoids is the Transducer Determinization Procedure Applicable?
• Optimal run problem for weighted register automata
• Minimizing cost register automata over a field
• Boundedness of cost register automata over the integer min-plus semiring
• Minimizing streaming string transducers: an algebraic approach

This page was built for publication: A generalised twinning property for minimisation of cost register automata

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