Implementation of Code Properties via Transducers

DOI10.1007/978-3-319-40946-7_16zbMath1475.68160OpenAlexW2494016458MaRDI QIDQ2830220

Casey Meijer, Stavros Konstantinidis, Rogério Reis, Nelma Moreira

Publication date: 9 November 2016

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

Full work available at URL: https://repositorio-aberto.up.pt/handle/10216/90787

zbMATH Keywords

symbolic computationautomataimplementationregular languagescodestransducersprogram generationFAdolanguage properties

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Randomized generation of error control codes with automata and transducers

Uses Software

• Grail
• OpenFst
• Vaucanson
• FAdo
• GUItar
• Python

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Introducing VAUCANSON
• Codes defined by multiple sets of trajectories
• \textit{Grail}: A C++ library for automata and expressions
• Squaring transducers: An efficient procedure for deciding functionality and sequentiality.
• Trajectory-based codes
• FORMAL DESCRIPTIONS OF CODE PROPERTIES: DECIDABILITY, COMPLEXITY, IMPLEMENTATION
• A Pushdown Transducer Extension for the OpenFst Library
• Applications of Symbolic Finite Automata
• Insertion/Deletion Detecting Codes and the Boundary Problem
• Implementation and Application of Automata

This page was built for publication: Implementation of Code Properties via Transducers