Quantitative languages defined by functional automata

DOI10.2168/LMCS-11(3:14)2015MaRDI QIDQ5895229zbMATH OpenFDO

Authors Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin

Publication date 29 October 2015

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2168/LMCS-11(3:14)2015

zbMATH Keywords

determinizationfunctionalityquantitative languagesrealizabilityweighted automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Quantitative Languages Defined by Functional Automata
• Quantitative Languages
• Quantitative languages
• Expressiveness and closure properties for quantitative languages
• Alternating Weighted Automata

Cited in

(15)

• On deterministic weighted automata
• Quantitative vs. weighted automata
• Ratio and weight quantiles
• Degree of sequentiality of weighted automata
• Quantitative Languages
• The target discounted-sum problem
• On the Quantized Dynamics of Factorial Languages
• Sequentiality of string-to-context transducers
• The big-O problem
• A pattern logic for automata with outputs
• Quantitative Languages Defined by Functional Automata
• On the comparison of discounted-sum automata with multiple discount factors
• Discounted-sum automata with multiple discount factors
• Discounted-sum automata with multiple discount factors
• Discounted-sum automata with real-valued discount factors

This page was built for publication: Quantitative languages defined by functional automata

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