Implementation of code properties via transducers

DOI10.1007/978-3-319-40946-7_16MaRDI QIDQ2830220zbMATH OpenOpenAlexFDO

Authors Stavros Konstantinidis, Nelma Moreira, Rogério Reis

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

automatacodesimplementationsymbolic computationtransducersregular languagesprogram generationFAdolanguage properties

Mathematics Subject Classification ID

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

Recommendations

• Symbolic manipulation of code properties
• Formal descriptions of code properties: decidability, complexity, implementation
• scientific article; zbMATH DE number 826059
• Applications of transducers in independent languages, word distances, codes
• Extended symbolic finite automata and transducers

Cites work

• scientific article; zbMATH DE number 3660804 (Why is no real title available?)
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 50943 (Why is no real title available?)
• scientific article; zbMATH DE number 1354855 (Why is no real title available?)
• scientific article; zbMATH DE number 941396 (Why is no real title available?)
• scientific article; zbMATH DE number 826059 (Why is no real title available?)
• A Pushdown Transducer Extension for the OpenFst Library
• Applications of symbolic finite automata
• Codes and automata.
• Codes defined by multiple sets of trajectories
• Elements of automata theory. Translated from the French by Reuben Thomas
• Error-correction, and finite-delay decodability
• Formal descriptions of code properties: decidability, complexity, implementation
• Implementation and Application of Automata
• Insertion/Deletion Detecting Codes and the Boundary Problem
• Introducing VAUCANSON
• Squaring transducers: An efficient procedure for deciding functionality and sequentiality.
• Symbolic manipulation of code properties
• Trajectory-based codes
• \textit{Grail}: A C++ library for automata and expressions

Cited in

(3)

• Symbolic manipulation of code properties
• Theoretical and implementational aspects of the formal language server (LaSer)
• Randomized generation of error control codes with automata and transducers

Describes a project that uses

Uses Software

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

This page was built for publication: Implementation of code properties via transducers

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