Implementation concepts in Vaucanson 2

DOI10.1007/978-3-642-39274-0_12MaRDI QIDQ5327488zbMATHOpenAlexFDO

Authors Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, 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

Mathematics Subject Classification ID

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

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

Cited in

(7)

• A type system for weighted automata and rational expressions
• Derived-term automata of multitape rational expressions
• Vaucanson
• Derived-term automata for extended weighted rational expressions
• scientific article; zbMATH DE number 1809861 (Why is no real title available?)
• Introducing VAUCANSON
• scientific article; zbMATH DE number 225504 (Why is no real title available?)

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)