Implementation of Code Properties via Transducers

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2016

Autores

Konstantinidis, S (Autor) Outra; Meijer, C (Autor) Outra; Nelma Moreira (Autor) FCUP; Rogério Reis (Autor) FCUP

Ata de Conferência Internacional

Título: Implementation and Application of Automata

Páginas: 189-201

21st International Conference on Implementation and Application of Automata (CIAA)

Seoul, SOUTH KOREA, JUL 19-22, 2016

Indexação

ISI Web of Knowledge - 2 Citações

Scopus - 2 Citações

Outras Informações

ID Authenticus: P-00K-M83

DOI: 10.1007/978-3-319-40946-7_16

Abstract (EN): 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 13