• Keine Ergebnisse gefunden

Code – Definition

N/A
N/A
Protected

Academic year: 2022

Aktie "Code – Definition"

Copied!
7
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Literature

W.I.L¨owenstein, Kodierungstheorie. In: Diskrete Mathematik und mathe- matische Fragen der Kybernetik, Herausg.: S.W.Jablonski/O.B.Lupanov, Akademie-Verlag, 1980.

A.Salomaa, Jewels of Formal Language Theory. Comp. Sci. Press, 1981.

H.J.Shyr, Free Monoids and Languages. Hon Min Book Co., Taichung, Taiwan, 1991.

J. Duske/H.J¨urgensen, Kodierungstheorie. BI-Taschenb., Mannheim, 1977.

T. Grams, Codierungsverfahren. BI-Taschenbuch, Mannheim, 1986.

P. Sweeney, Codierung zur Fehlererkennung und Fehlerkorrektur. Hanser- Verlag, 1992.

W.W.Peterson/E.J.Weldon, Error-Correcting Codes. MIT Press, Cam- bridge, 1972.

J.Berstel/D.Perrin, Theory of Codes. Academic Press, 1985.

(2)

Some Sets

C0 = {a, ba, ab},

C1 = {a, bb, aab, bab}, C2 = {aa, bb, aba, baa}, C3 = {aaa, aba, bab, bbb}, C4 = {a, ab, bb}

(3)

Code – Definition

Definition:

A bijective function φ : A → C is called a coding of the set A by the non-empty language C over the alphabet X, if the homomorphic extension of φ to A is an injective function from A into X.

A non-empty language C (over X) is called a code, if C is the range of some coding.

(4)

Code – Characterisation

Theorem: A non-empty language C is a code if and only if, for any xi1, xi2, . . . , xin, xj1, xj2, . . . , xjm ∈ C, n ≥ 1, m ≥ 1,

the equality xi1xi2 . . . xin = xj1xj2 . . . xjm implies xi1 = xj1. Theorem: A language C is a code if and only if, for any

xi1, xi2, . . . , xin, xj1, xj2, . . . , xjm ∈ C, n ≥ 1, m ≥ 1,

the equality xi1xi2 . . . xin = xj1xj2 . . . xjm implies

n = m and xit = xjt for 1 ≤ t ≤ n.

(5)

Strong Code

Definition: A code C is called a strong code,

if for any xik ∈ C and xjk ∈ C, k ≥ 1, and any n ≥ 1 such that xi1xi2 . . . xin is a prefix of xj1xj2 . . . xjn or

xj1xj2 . . . xjn is a prefix of xi1xi2 . . . xin, the equality xi1 = xj1 holds.

Remark: A code C is a strong code if and only if,

for any xik ∈ C and xjk ∈ C, k ≥ 1, and any n ≥ 1 such that xi1xi2 . . . xin is a prefix of xj1xj2 . . . xjn or

xj1xj2 . . . xjn is a prefix of xi1xi2 . . . xin, the equalities xik = xjk hold for k ≥ 1.

(6)

Special Codes

Definition:

A non-empty language C is called a prefix code, if no word of C is a prefix of another different word of C.

Definition: Let n ≥ 1 be a natural number. A subset C of Xn is called a block code of length n over X.

Theorem:

For any code C and any natural number k ≥ 1, Ck is a code, too.

(7)

Decoding

Definition: A Mealy automaton is a 6-tuple A = (X, Y, Z, f, g, z0) where – X, Y , Z are alphabets (finite non-empty sets)

– f : Z × X → Z and g : Z × X → Y are functions, and – z0 is an element of Z.

f and g are extended to Z × X by

f(z, λ) = z, g(z, λ) = λ,

f(z, wa) = f(f(z, w), a), g(z, wa) = g(z, w)g(f(z, w), a) for w ∈ X, a ∈ X

Theorem:

There is an algorithm which, for any strong coding φ : A → C ⊆ X+ and any word x ∈ X+, computes in linear time φ−1(x) or detects in linear time that φ−1(x) is not defined.

Referenzen

ÄHNLICHE DOKUMENTE

Eckhard Lobsien und Horst Meiler waren zur rechten Zeit kritische Leser der Dissertation; Horst Meilers Heidel- berger Gastfreundschaft bot wichtige Wegmarken und schärfte meinen

Hält die Philosophie des deutschen Idealismus in einer Zeit des Wertever- falls, eines ausschließlich wirtschaftsorientierten Denkens, des globalisierten Materialismus nicht

Mit der Veröffentlichung des Tagebu- ches von Elisabeth Sczuka lenken die beiden Herausgeber die Aufmerksam- keit auf eine Episode des Ersten Welt- kriegs, die bisher kaum

Aus den verschiedenen Quellen läßt sich deutlich erkennen, daß die patriotische Hingabe der Bevölkerung für den Krieg gegen Frankreich keineswegs so ge- schlossen auftrat, wie dies

Auÿerdem können Grammatiken auch für die Analyse (Erkennung) formaler Sprachen und endliche Automaten für ihre Erzeugung genutzt werden... partial/total

Although in the early stage of operant conditioning the behavior controls the environ- ment (lever pressing to obtain food), habit formation effectively reverses the situation such

1 Jene Zyklenzerlegungen, bei denen (n) einen eigenen Zyklus bildet (also einen Fixpunkt darstellt),.. 2 und jene Zyklenzerlegungen, bei denen (n) keinen eigenen

Auf diese beiden Teil–Listen wird dann dasselbe Verfahren rekursiv angewendet (wenn sie mehr als ein Element beinhalten), bis die ganze Liste richtig geordnet ist. Die