Adding pebbles to weighted automata

DOI10.1007/978-3-642-31606-7_4zbMATH Open1297.68128OpenAlexW1743786725MaRDI QIDQ2914692FDOQ2914692

Authors: Paul Gastin, Benjamin Monmege 

Publication date: 20 September 2012

Published in: Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31606-7_4

Recommendations

• Adding pebbles to weighted automata: easy specification \& efficient evaluation
• Pebble weighted automata and weighted logics
• Pebble weighted automata and transitive closure logics
• Logical characterization of weighted pebble walking automata
• Weighted automata and regular expressions over valuation monoids

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cited In (4)

• Pebble weighted automata and weighted logics
• Logical characterization of weighted pebble walking automata
• Pebble weighted automata and transitive closure logics
• Adding pebbles to weighted automata: easy specification \& efficient evaluation

This page was built for publication: Adding pebbles to weighted automata

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