Implementation concepts in Vaucanson 2

DOI10.1007/978-3-642-39274-0_12zbMATH Open1298.68059OpenAlexW1584762487MaRDI QIDQ5327488FDOQ5327488

Sylvain Lombardy, Alexandre Duret-Lutz, Akim Demaille, Jacques Sakarovitch

Publication date: 7 August 2013

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-39274-0_12

Recommendations

• Implementation and Application of Automata
• Introducing VAUCANSON
• A type system for weighted automata and rational expressions
• The validity of weighted automata
• Derived-term automata for extended weighted rational expressions

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cited In (6)

• Introducing VAUCANSON
• Title not available (Why is that?)
• Title not available (Why is that?)
• Vaucanson
• Derived-Term Automata for Extended Weighted Rational Expressions
• Derived-Term Automata of Multitape Rational Expressions

This page was built for publication: Implementation concepts in Vaucanson 2

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