RANDOMIZED GENERATION OF ERROR CONTROL CODES WITH AUTOMATA AND TRANSDUCERS

• Type: Article in International Scientific Journal
• Date: 2018

Authors

Konstantinidis, S (Author) Other; Nelma Moreira (Author) FCUP; Rogério Reis (Author) FCUP

Journal

Title: RAIRO - Theoretical Informatics and Applications

Vol. 52

Pages: 169-184

ISSN: 0988-3754

Publisher: EDP Sciences

Indexing

ISI Web of Knowledge - 2 Citations

Scopus - 2 Citations

Other information

Authenticus ID: P-00Q-94C

DOI: 10.1051/ita/2018015

Abstract (EN): We introduce the concept of an f-maximal error-detecting block code, for some parameter f in (0,1), in order to formalize the situation where a block code is close to maximal with respect to being error-detecting. Our motivation for this is that it is computationally hard to decide whether an error-detecting block code is maximal. We present an output-polynomial time randomized algorithm that takes as input two positive integers N, l and a specification of the errors permitted in some application, and generates an error-detecting, or error-correcting, block code of length l that is 99%-maximal, or contains N words with a high likelihood. We model error specifications as (nondeterministic) transducers, which allow one to represent any rational combination of substitution and synchronization errors. We also present some elements of our implementation of various error-detecting properties and their associated methods. Then, we show several tests of the implemented randomized algorithm on various error specifications. A methodological contribution is the presentation of how various desirable error combinations can be expressed formally and processed algorithmically.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 16