Chapter 1 Coding Flashcards
Block code
code with all codewords fixed length
S
S=S_alph e.g.|S|=26 or |S|= 2 if binary S^0 ={0}
S^l
S X S X S X…S
Finite sequence of elements, length l
Words in/ over S
S* = ∪{l≥0} S’
S^+ = ∪{l>0}S^l
The elements of S
∗
are also called words over (or in) the alphabet
S.
S^0
S^0 ={0} The set containing the empty sequence
Product defined on S*
◦ : S∗ × S∗ → S∗
(x, y) → x ◦ y = xy
where xy is the concatenation of x and y
Block encoding map
for a “source alphabet” T 1-to1 function
f : T → S^n
to ** word** of length n ≥ 1 over code alphabet S
messages to be sent
Code C Defn 1.4
Image set C= f(T) corresponding block code
A block (or fixed-length) code
C = {(x1, x2, …, xn),(y1, y2, …, yn), …}
of length n over the alphabet S is a subset of S^n
of M elements
Code C is q-ary
if |S| = q
C⊆S^n
Extension f : T∗ → S∗
Extending map to encode each element of T in succession
words length n≥ 1
q-ary
|S|=q e.g binary 3-ary
be aware of this every time, especially in fields
x∈T^l encoded over S by…
aplying f to each element
f(T^l)⊆ S^{ln}
f(x)_{(i-1)n+j} = f(x_i)_j
(code length n for each “letter” in messageword length l
repetition code
q-ary length n
(n,q,n)
q-ary length n
C_{q,n} = {ii…i| i∈ S}
is code (2t+1,2,2t+1) perfect?
Binary repetition code
n=2t+1
every string y ∈S²ᵗ⁺¹ either has more 0’s than 1’s y ∈Bₜ(0..0)
or more 1’s than 0s y ∈Bₜ(1,..,1)
Hence S²ᵗ⁺¹ =Bₜ(0,..,0) ⊔Bₜ(1,..,1)
and C₂,₂ₜ₊₁ is perfect