Vaucanson

swMATH5732MaRDI QIDQ17871FDOQ17871

Author name not available (Why is that?)

Described by source

• Implementation Concepts in Vaucanson 2
• Implementation and Application of Automata

Cited In (12)

• An Efficient Computation of the Equation K-automaton of a Regular K-expression
• COMPAS - A Computing Package for Synchronization
• Introducing VAUCANSON
• An Efficient Computation of the Equation $\mathbb{K}$ -Automaton of a Regular $\mathbb{K}$ -Expression
• OpenFst: A General and Efficient Weighted Finite-State Transducer Library
• HFST Tools for Morphology – An Efficient Open-Source Package for Construction of Morphological Analyzers
• Implementation of Code Properties via Transducers
• STATE COMPLEXITY OF UNION AND INTERSECTION OF FINITE LANGUAGES
• Derived-Term Automata for Extended Weighted Rational Expressions
• Derived-Term Automata of Multitape Rational Expressions
• A Type System for Weighted Automata and Rational Expressions
• Implementation and Application of Automata

This page was built for software: Vaucanson