Vaucanson
From MaRDI portal
Cited in
(24)- AUTOMATE
- COMPAS
- Grail
- HFST
- OpenFst
- TESTAS
- TWOLC
- automata
- FSA
- FAdo
- GUItar
- Derived-term automata of multitape rational expressions
- Implementation of code properties via transducers
- COMPAS -- a computing package for synchronization
- Derived-term automata for extended weighted rational expressions
- A type system for weighted automata and rational expressions
- SFST
- OpenFst: A General and Efficient Weighted Finite-State Transducer Library
- STATE COMPLEXITY OF UNION AND INTERSECTION OF FINITE LANGUAGES
- An Efficient Computation of the Equation K-automaton of a Regular K-expression
- HFST Tools for Morphology – An Efficient Open-Source Package for Construction of Morphological Analyzers
- An Efficient Computation of the Equation $\mathbb{K}$ -Automaton of a Regular $\mathbb{K}$ -Expression
- Implementation and Application of Automata
- Introducing VAUCANSON
This page was built for software: Vaucanson
