Abstract | ||
---|---|---|
We introduce a formal method for specifying the properties of discrete information channels and give a general definition of error correction. For the case of channels with substitutions, insertions and deletions, we derive the corresponding channel algebra. Given a description of such a channel and a finite set of words, it is decidable whether the set can correct all errors introduced by the channel. |
Year | DOI | Venue |
---|---|---|
1995 | 10.1007/BFb0025142 | Information Theory and Applications |
Keywords | Field | DocType |
error corrections,error correction | Discrete mathematics,Finite set,Computer science,Communication channel,Decidability,Error detection and correction,Formal methods | Conference |
ISBN | Citations | PageRank |
3-540-61748-5 | 7 | 0.88 |
References | Authors | |
10 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Helmut Jürgensen | 1 | 208 | 43.68 |
Stavros Konstantinidis | 2 | 283 | 31.10 |