Paper Info
Title
Implementation Of Code Properties Via Transducers
Abstract
The FAdo system is a symbolic manipulator of formal language objects, implemented in Python. In this work, we extend its capabilities by implementing methods to manipulate transducers and we go one level higher than existing formal language systems and implement methods to manipulate objects representing classes of independent languages (widely known as code properties). Our methods allow users to define their own code properties and combine them between themselves or with fixed properties such as prefix codes, suffix codes, error detecting codes, etc. The satisfaction and maximality decision questions are solvable for any of the definable properties. The new online system LaSer allows one to query about a code property and obtain the answer in a batch mode. Our work is founded on independence theory as well as the theory of rational relations and transducers, and contributes with improved algorithms on these objects.
Year
DOI
Venue
2016
10.1007/978-3-319-40946-7_16
IMPLEMENTATION AND APPLICATION OF AUTOMATA
Keywords
Field
DocType
Automata, Codes, FAdo, Implementation, Language properties, Regular languages, Symbolic computation, Transducers, Program generation
Programming language,Formal language,Suffix,Computer science,Automaton,Symbolic computation,Prefix,Regular language,Code (cryptography),Python (programming language)
Conference
Volume
ISSN
Citations 
9705
0302-9743
4
PageRank 
References 
Authors
0.55
7
4
Name
Order
Citations
PageRank
Stavros Konstantinidis128331.10
Casey Meijer271.13
Nelma Moreira318033.98
Rogério Reis414025.74