Aufgaben:Aufgabe 2.11Z: Nochmals Arithmetische Codierung: Unterschied zwischen den Versionen

Aus LNTwww
Wechseln zu:Navigation, Suche
 
(3 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt)
Zeile 4: Zeile 4:
  
 
[[Datei:P_ID2473__Inf_A_2_12.png|right|frame|Vorgegebene Intervallbereiche]]
 
[[Datei:P_ID2473__Inf_A_2_12.png|right|frame|Vorgegebene Intervallbereiche]]
Wir betrachten hier die arithmetische Codierung ('''AC'''). Alle notwendigen Informationen zu dieser Art von Entropiecodierung finden Sie in der [[Aufgaben:2.11_Arithmetische_Codierung|Aufgabe 2.11]].
+
Wir betrachten hier die arithmetische Codierung  $(\rm AC)$.  Alle notwendigen Informationen zu dieser Art von Entropiecodierung finden Sie in der  [[Aufgaben:2.11_Arithmetische_Codierung|Aufgabe 2.11]].
  
Auch die Grafik ist das Ergebnis von Aufgabe 2.11. Die für die aktuelle Aufgabe wichtigen Zahlenwerte für die Codierschritte 3 und 7 sind farblich hervorgehoben:
+
Auch die Grafik ist das Ergebnis von Aufgabe 2.11.  Die für die aktuelle Aufgabe wichtigen Zahlenwerte für die Codierschritte 3 und 7 sind farblich hervorgehoben:
* Das Intervall für $N= 3$ (Symbolfolge $\rm XXY$) beginnt bei $B_3 = 0.343$ und reicht bis zum Endwert $E_3 = 0.392$.
+
* Das Intervall für  $N= 3$  $($Symbolfolge  $\rm XXY)$  beginnt bei  $B_3 = 0.343$  und reicht bis  $E_3 = 0.392$.
* Das Intervall für $N= 7$ (Symbolfolge $\rm XXYXXXZ$) wird durch $B_7 = 0.3564456$ und $E_7 =0.359807$ begrenzt.
+
* Das Intervallgrenzen für  $N= 7$  $($Symbolfolge  $\rm XXYXXXZ)$  sind  $B_7 = 0.3564456$  und  $E_7 =0.359807$.
  
  
 
In dieser Aufgabe geht es nur um die Zuweisung von Binärfolgen zu den ausgewählten Intervallen. Vorgehensweise:
 
In dieser Aufgabe geht es nur um die Zuweisung von Binärfolgen zu den ausgewählten Intervallen. Vorgehensweise:
  
* Das Intervall $I$ wird bestimmt durch den Beginn $B$, das Ende $E$, die Intervallbreite ${\it \Delta} = E-B$ sowie die Intervallmitte  $M = (B+E)/2$.
+
* Das Intervall  $I$  wird bestimmt durch den Beginn  $B$, das Ende  $E$,  die Intervallbreite  ${\it \Delta} = E-B$  sowie die Intervallmitte  $M = (B+E)/2$.
* Das Intervall $I$ wird gekennzeichnet durch die Binärdarstellung (mit begrenzter Auflösung) eines beliebigen reellen Zahlenwertes $r \in I$ . Beispielsweise wählt man  $r \approx M$.
+
* Das Intervall  $I$  wird gekennzeichnet durch die Binärdarstellung  (mit begrenzter Auflösung)  eines beliebigen reellen Zahlenwertes  $r \in I$.  Beispielsweise wählt man  $r \approx M$.
* Die erforderliche Bitanzahl ergibt sich aus der Intervallbreite nach folgender Gleichung (die nach unten offenen Klammern bedeuten „nach oben runden”):
+
* Die erforderliche Bitanzahl ergibt sich aus der Intervallbreite nach folgender Gleichung  (die nach unten offenen eckigen Klammern bedeuten „nach oben runden”):
 
:$$N_{\rm Bit} =  \left\lceil{\rm log_2} \hspace{0.15cm} 1/{\it \Delta} \right\rceil+1\hspace{0.05cm}. $$
 
:$$N_{\rm Bit} =  \left\lceil{\rm log_2} \hspace{0.15cm} 1/{\it \Delta} \right\rceil+1\hspace{0.05cm}. $$
  
Beispielsweise steht für $N_{\rm Bit} = 5$ der Binärcode <b>01001</b> für die folgende reellwertige Zahl <i>r</i>:
+
Beispielsweise steht für&nbsp; $N_{\rm Bit} = 5$&nbsp; der Binärcode&nbsp; <b>01001</b>&nbsp; für die folgende reellwertige Zahl&nbsp; $r$:
 
:$$r = 0 \cdot 2^{-1}+1 \cdot 2^{-2}+0 \cdot 2^{-3}+0 \cdot 2^{-4}+1 \cdot 2^{-5} = 0.28125
 
:$$r = 0 \cdot 2^{-1}+1 \cdot 2^{-2}+0 \cdot 2^{-3}+0 \cdot 2^{-4}+1 \cdot 2^{-5} = 0.28125
 
\hspace{0.05cm}. $$
 
\hspace{0.05cm}. $$
Zeile 26: Zeile 26:
  
  
''Hinweise:''
+
 
 +
 
 +
<u>Hinweise:</u>
 
*Die Aufgabe gehört zum  Kapitel&nbsp; [[Informationstheorie/Weitere_Quellencodierverfahren|Weitere Quellencodierverfahren]].
 
*Die Aufgabe gehört zum  Kapitel&nbsp; [[Informationstheorie/Weitere_Quellencodierverfahren|Weitere Quellencodierverfahren]].
 
*Insbesondere wird  Bezug genommen auf die Seite&nbsp; [[Informationstheorie/Weitere_Quellencodierverfahren#Arithmetische_Codierung|Arithmetische Codierung]].
 
*Insbesondere wird  Bezug genommen auf die Seite&nbsp; [[Informationstheorie/Weitere_Quellencodierverfahren#Arithmetische_Codierung|Arithmetische Codierung]].
*Weitere Informationen zum Thema finden Sie auch in diesem&nbsp; [https://de.wikipedia.org/wiki/Arithmetisches_Kodieren WIKIPEDIA-Artikel]
+
*Weitere Informationen zum Thema finden Sie auch in diesem&nbsp; [https://de.wikipedia.org/wiki/Arithmetisches_Kodieren WIKIPEDIA-Artikel].
 
   
 
   
  
Zeile 36: Zeile 38:
  
 
<quiz display=simple>
 
<quiz display=simple>
{Wie viele Bit werden zur Darstellung der Quellensymbolfolge $\rm XXY$ &nbsp; &rArr; &nbsp; $N = 3$ benutzt?
+
{Wie viele Bit werden zur Darstellung der Quellensymbolfolge&nbsp; $\rm XXY$ &nbsp; &rArr; &nbsp; $N = 3$&nbsp; benutzt?
 
|type="{}"}
 
|type="{}"}
 
$N_\text{Bit} \ = \ $ { 6 }
 
$N_\text{Bit} \ = \ $ { 6 }
  
  
{Welcher arithmetischer Code (AC) gilt für diesen Fall?
+
{Welcher arithmetischer Code&nbsp; $\rm (AC)$&nbsp; gilt für diesen Fall?
|type="[]"}
+
|type="()"}
- AC = <b>01011</b>,
+
- $\rm AC = $&nbsp;  <b>01011</b>,
+ AC = <b>010111</b>,
+
+ $\rm AC = $&nbsp;  <b>010111</b>,
- AC = <b>110111</b>.
+
- $\rm AC = $&nbsp; <b>110111</b>.
  
  
{Wie viele Bit werden zur Darstellung der Quellensymbolfolge $\rm XXYXXXZ$ &nbsp; &rArr; &nbsp; $N = 7$ benutzt?
+
{Wie viele Bit werden zur Darstellung der Quellensymbolfolge&nbsp; $\rm XXYXXXZ$ &nbsp; &rArr; &nbsp; $N = 7$&nbsp; benutzt?
 
|type="{}"}
 
|type="{}"}
 
$N_\text{Bit} \ = \ $ { 11 }
 
$N_\text{Bit} \ = \ $ { 11 }
  
  
{Ist <b>01011100001</b> ein gültiger Code für die Quellensymbolfolge  $\rm XXYXXXZ$?
+
{Ist&nbsp; <b>01011100001</b>&nbsp; ein gültiger Code für die Quellensymbolfolge&nbsp; $\rm XXYXXXZ$?
 
|type="()"}
 
|type="()"}
 
- Ja.
 
- Ja.
Zeile 62: Zeile 64:
 
|type="[]"}
 
|type="[]"}
 
+ Es handelt sich um eine gemeinsame Codierung ganzer Folgen.
 
+ Es handelt sich um eine gemeinsame Codierung ganzer Folgen.
+ Eine 32 Bit&ndash;Rechnerarchitektur begrenzt die Folgenlänge $N$.
+
+ Eine 32 Bit&ndash;Rechnerarchitektur begrenzt die Folgenlänge&nbsp; $N$.
 
+ Dieses Problem lässt sich durch Integer&ndash;Realisierung umgehen.
 
+ Dieses Problem lässt sich durch Integer&ndash;Realisierung umgehen.
 
+ Eine Integer&ndash;Realisierung erhöht die Codiergeschwindigkeit.
 
+ Eine Integer&ndash;Realisierung erhöht die Codiergeschwindigkeit.
Zeile 72: Zeile 74:
 
===Musterlösung===
 
===Musterlösung===
 
{{ML-Kopf}}
 
{{ML-Kopf}}
'''(1)'''&nbsp; Das ausgewählte Intervall beginnt bei $B_3 = 0.343$ und endet bei $E_3 = 0.392$. Die Intervallbreite ist somit <i>&Delta;</i><sub>3</sub> = 0.049 und damit gilt mit dem <i>Logarithmus dualis</i>:
+
'''(1)'''&nbsp; Das ausgewählte Intervall beginnt bei&nbsp; $B_3 = 0.343$&nbsp; und endet bei&nbsp; $E_3 = 0.392$.  
 +
*Die Intervallbreite ist somit&nbsp; ${\it \Delta}_3 = 0.049$&nbsp; und damit gilt mit dem &bdquo;Logarithmus dualis&rdquo;:
 
:$$N_{\rm Bit} = {\rm log_2} \hspace{0.15cm} \left\lceil \frac{1}{0.049}\right\rceil+1\hspace{0.15cm}\underline{= 6}
 
:$$N_{\rm Bit} = {\rm log_2} \hspace{0.15cm} \left\lceil \frac{1}{0.049}\right\rceil+1\hspace{0.15cm}\underline{= 6}
 
\hspace{0.05cm}.$$
 
\hspace{0.05cm}.$$
  
  
'''(2)'''&nbsp; Das ausgewählte Intervall ergibt sich zu $I = \big[0.343, 0.392\big)$.  
+
'''(2)'''&nbsp; Das ausgewählte Intervall ergibt sich zu&nbsp; $I = \big[0.343, \ 0.392\big)$.  
*Die Mitte liegt bei $M_3 = 0.3675$.  
+
*Die Mitte liegt bei&nbsp; $M_3 = 0.3675$.  
 
*Zur Bestimmung des arithmetischen Codes versuchen wir, die Intervallmitte durch eine Binärdarstellung möglichst gut zu erreichen.
 
*Zur Bestimmung des arithmetischen Codes versuchen wir, die Intervallmitte durch eine Binärdarstellung möglichst gut zu erreichen.
 
*Da uns gerade kein entsprechendes Tool zur Lösung dieser Aufgabe zur Verfügung steht, gehen wir von folgenden Nebenrechnungen aus:
 
*Da uns gerade kein entsprechendes Tool zur Lösung dieser Aufgabe zur Verfügung steht, gehen wir von folgenden Nebenrechnungen aus:
  
:&nbsp;$H_4 = 2^{-2} + 2^{-2} = 0.3125$ &nbsp; &#8658; &nbsp; gehört nicht zum Intervall $I$.
 
  
:&nbsp;$H_5 = H_4 +2^{-5} = 0.34375  \in I$ &nbsp; &#8658; &nbsp; Binärdarstellung: '''0.01011'''  &nbsp;&#8658;&nbsp;  Code: &nbsp; <b>01011</b>.
+
:&nbsp;$H_4 = 2^{-2} + 2^{-4} = 0.3125$ &nbsp; &#8658; &nbsp; gehört nicht zum Intervall&nbsp; $I$.
  
:&nbsp;$H_6 = H_5 +2^{-6} = 0.359375 \in I$  &nbsp; &#8658; &nbsp;  Binärdarstellung: '''0.010111'''  &nbsp;&#8658;&nbsp;  Code: &nbsp; <b>010111</b>.
+
:&nbsp;$H_5 = H_4 +2^{-5} = 0.34375 \in I$  &nbsp; &#8658; &nbsp;  Binärdarstellung: &nbsp; '''0.01011'''  &nbsp;&#8658;&nbsp;  Code: &nbsp; <b>01011</b>.
  
:&nbsp;$H_7 = H_6 +2^{-7} = 0.3671875 \in I$  &nbsp; &#8658; &nbsp;  Binärdarstellung: '''0.0101111'''  &nbsp;&#8658;&nbsp;  Code: &nbsp; <b>0101111</b>.
+
:&nbsp;$H_6 = H_5 +2^{-6} = 0.359375 \in I$  &nbsp; &#8658; &nbsp;  Binärdarstellung: &nbsp; '''0.010111'''  &nbsp;&#8658;&nbsp;  Code: &nbsp; <b>010111</b>.
  
:&nbsp;$H_{12} = H_7 +2^{-12} = 0.3674316406 \in I$  &nbsp; &#8658; &nbsp;  Binärdarstellung: '''0.010111100001'''  &nbsp;&#8658;&nbsp;  Code: &nbsp; <b>010111100001</b>.
+
:&nbsp;$H_7 = H_6 +2^{-7} = 0.3671875 \in I$  &nbsp; &#8658; &nbsp;  Binärdarstellung: &nbsp; '''0.0101111'''  &nbsp;&#8658;&nbsp;  Code: &nbsp; <b>0101111</b>.
  
Der entsprechende 6 Bit&ndash;Code lautet somit '''AC''' = <b>010111</b> &nbsp;&nbsp;&#8658;&nbsp;&nbsp; Richtig ist der <u>Lösungsvorschlag 2</u>.
+
:&nbsp;$H_{12} = H_7 +2^{-12} = 0.3674316406  \in I$  &nbsp; &#8658; &nbsp;  Binärdarstellung: &nbsp; '''0.010111100001'''  &nbsp;&#8658;&nbsp; Code: &nbsp; <b>010111100001</b>.
  
 +
Der entsprechende 6 Bit&ndash;Code lautet somit&nbsp; $\rm AC =$&nbsp;  <b>010111</b> &nbsp;&nbsp;&#8658;&nbsp;&nbsp; Richtig ist der <u>Lösungsvorschlag 2</u>.
  
'''(3)'''&nbsp; Hier ergibt sich mit dem Beginn $B_7 = 0.3564456$ und dem Ende $E_7  = 0.359807$ die Intervallbreite $\Delta_7 = 0.0033614$ und damit
+
 
 +
 
 +
'''(3)'''&nbsp; Hier ergibt sich mit dem Beginn&nbsp; $B_7 = 0.3564456$&nbsp; und dem Ende&nbsp; $E_7  = 0.359807$&nbsp; die Intervallbreite&nbsp; ${\it \Delta}_7 = 0.0033614$&nbsp; und damit
 
:$$N_{\rm Bit} = \left\lceil  {\rm log_2} \hspace{0.15cm} \frac{1}{0.0033614} \right\rceil + 1\hspace{0.15cm} =
 
:$$N_{\rm Bit} = \left\lceil  {\rm log_2} \hspace{0.15cm} \frac{1}{0.0033614} \right\rceil + 1\hspace{0.15cm} =
 
\left\lceil  {\rm log_2} \hspace{0.15cm} 297.5 \right\rceil + 1\hspace{0.15cm} \underline{= 11}
 
\left\lceil  {\rm log_2} \hspace{0.15cm} 297.5 \right\rceil + 1\hspace{0.15cm} \underline{= 11}
Zeile 101: Zeile 106:
  
  
'''(4)'''&nbsp; Die Binärdarstellung des Codes <b>01011100001</b> ergibt
+
 
 +
'''(4)'''&nbsp; Die Binärdarstellung des Codes&nbsp; <b>01011100001</b>&nbsp; ergibt
 
:$$2^{-2}+ 2^{-4}+ 2^{-5}+ 2^{-6}+ 2^{-11} = 0.3598632813 > E_7
 
:$$2^{-2}+ 2^{-4}+ 2^{-5}+ 2^{-6}+ 2^{-11} = 0.3598632813 > E_7
 
\hspace{0.05cm}.$$
 
\hspace{0.05cm}.$$
Richtig ist also <u>NEIN</u>. Der gültige arithmetische Code ist '''AC''' = <b>01011011101</b>, wegen
+
*Richtig ist also <u>NEIN</u>.&nbsp; Der gültige arithmetische Code ist&nbsp; $\rm AC =$&nbsp; <b>01011011101</b>, wegen
 
:$$2^{-2}+ 2^{-4}+ 2^{-5}+ 2^{-7}+ 2^{-8}+ 2^{-9}+ 2^{-11} =0.3579101563 \hspace{0.3cm}
 
:$$2^{-2}+ 2^{-4}+ 2^{-5}+ 2^{-7}+ 2^{-8}+ 2^{-9}+ 2^{-11} =0.3579101563 \hspace{0.3cm}
 
\Rightarrow \hspace{0.3cm} B_7 \le 0.3579101563 <  E_7.$$
 
\Rightarrow \hspace{0.3cm} B_7 \le 0.3579101563 <  E_7.$$
  
  
'''(5)'''&nbsp; <u>Alle Aussagen</u> sind richtig. Siehe auch:   
+
'''(5)'''&nbsp; <u>Alle hier gemachten Aussagen</u> sind richtig. Siehe auch:   
 
:Bodden, E.; Clasen, M.; Kneis, J.: Algebraische Kodierung. Proseminar, Lehrstuhl für Informatik IV, RWTH Aachen, 2002.
 
:Bodden, E.; Clasen, M.; Kneis, J.: Algebraische Kodierung. Proseminar, Lehrstuhl für Informatik IV, RWTH Aachen, 2002.
 
{{ML-Fuß}}
 
{{ML-Fuß}}

Aktuelle Version vom 12. August 2021, 14:46 Uhr

Vorgegebene Intervallbereiche

Wir betrachten hier die arithmetische Codierung  $(\rm AC)$.  Alle notwendigen Informationen zu dieser Art von Entropiecodierung finden Sie in der  Aufgabe 2.11.

Auch die Grafik ist das Ergebnis von Aufgabe 2.11.  Die für die aktuelle Aufgabe wichtigen Zahlenwerte für die Codierschritte 3 und 7 sind farblich hervorgehoben:

  • Das Intervall für  $N= 3$  $($Symbolfolge  $\rm XXY)$  beginnt bei  $B_3 = 0.343$  und reicht bis  $E_3 = 0.392$.
  • Das Intervallgrenzen für  $N= 7$  $($Symbolfolge  $\rm XXYXXXZ)$  sind  $B_7 = 0.3564456$  und  $E_7 =0.359807$.


In dieser Aufgabe geht es nur um die Zuweisung von Binärfolgen zu den ausgewählten Intervallen. Vorgehensweise:

  • Das Intervall  $I$  wird bestimmt durch den Beginn  $B$, das Ende  $E$,  die Intervallbreite  ${\it \Delta} = E-B$  sowie die Intervallmitte  $M = (B+E)/2$.
  • Das Intervall  $I$  wird gekennzeichnet durch die Binärdarstellung  (mit begrenzter Auflösung)  eines beliebigen reellen Zahlenwertes  $r \in I$.  Beispielsweise wählt man  $r \approx M$.
  • Die erforderliche Bitanzahl ergibt sich aus der Intervallbreite nach folgender Gleichung  (die nach unten offenen eckigen Klammern bedeuten „nach oben runden”):
$$N_{\rm Bit} = \left\lceil{\rm log_2} \hspace{0.15cm} 1/{\it \Delta} \right\rceil+1\hspace{0.05cm}. $$

Beispielsweise steht für  $N_{\rm Bit} = 5$  der Binärcode  01001  für die folgende reellwertige Zahl  $r$:

$$r = 0 \cdot 2^{-1}+1 \cdot 2^{-2}+0 \cdot 2^{-3}+0 \cdot 2^{-4}+1 \cdot 2^{-5} = 0.28125 \hspace{0.05cm}. $$




Hinweise:


Fragebogen

1

Wie viele Bit werden zur Darstellung der Quellensymbolfolge  $\rm XXY$   ⇒   $N = 3$  benutzt?

$N_\text{Bit} \ = \ $

2

Welcher arithmetischer Code  $\rm (AC)$  gilt für diesen Fall?

$\rm AC = $  01011,
$\rm AC = $  010111,
$\rm AC = $  110111.

3

Wie viele Bit werden zur Darstellung der Quellensymbolfolge  $\rm XXYXXXZ$   ⇒   $N = 7$  benutzt?

$N_\text{Bit} \ = \ $

4

Ist  01011100001  ein gültiger Code für die Quellensymbolfolge  $\rm XXYXXXZ$?

Ja.
Nein.

5

Welche Aussagen gelten für die arithmetische Codierung allgemein?

Es handelt sich um eine gemeinsame Codierung ganzer Folgen.
Eine 32 Bit–Rechnerarchitektur begrenzt die Folgenlänge  $N$.
Dieses Problem lässt sich durch Integer–Realisierung umgehen.
Eine Integer–Realisierung erhöht die Codiergeschwindigkeit.


Musterlösung

(1)  Das ausgewählte Intervall beginnt bei  $B_3 = 0.343$  und endet bei  $E_3 = 0.392$.

  • Die Intervallbreite ist somit  ${\it \Delta}_3 = 0.049$  und damit gilt mit dem „Logarithmus dualis”:
$$N_{\rm Bit} = {\rm log_2} \hspace{0.15cm} \left\lceil \frac{1}{0.049}\right\rceil+1\hspace{0.15cm}\underline{= 6} \hspace{0.05cm}.$$


(2)  Das ausgewählte Intervall ergibt sich zu  $I = \big[0.343, \ 0.392\big)$.

  • Die Mitte liegt bei  $M_3 = 0.3675$.
  • Zur Bestimmung des arithmetischen Codes versuchen wir, die Intervallmitte durch eine Binärdarstellung möglichst gut zu erreichen.
  • Da uns gerade kein entsprechendes Tool zur Lösung dieser Aufgabe zur Verfügung steht, gehen wir von folgenden Nebenrechnungen aus:


 $H_4 = 2^{-2} + 2^{-4} = 0.3125$   ⇒   gehört nicht zum Intervall  $I$.
 $H_5 = H_4 +2^{-5} = 0.34375 \in I$   ⇒   Binärdarstellung:   0.01011  ⇒  Code:   01011.
 $H_6 = H_5 +2^{-6} = 0.359375 \in I$   ⇒   Binärdarstellung:   0.010111  ⇒  Code:   010111.
 $H_7 = H_6 +2^{-7} = 0.3671875 \in I$   ⇒   Binärdarstellung:   0.0101111  ⇒  Code:   0101111.
 $H_{12} = H_7 +2^{-12} = 0.3674316406 \in I$   ⇒   Binärdarstellung:   0.010111100001  ⇒  Code:   010111100001.

Der entsprechende 6 Bit–Code lautet somit  $\rm AC =$  010111   ⇒   Richtig ist der Lösungsvorschlag 2.


(3)  Hier ergibt sich mit dem Beginn  $B_7 = 0.3564456$  und dem Ende  $E_7 = 0.359807$  die Intervallbreite  ${\it \Delta}_7 = 0.0033614$  und damit

$$N_{\rm Bit} = \left\lceil {\rm log_2} \hspace{0.15cm} \frac{1}{0.0033614} \right\rceil + 1\hspace{0.15cm} = \left\lceil {\rm log_2} \hspace{0.15cm} 297.5 \right\rceil + 1\hspace{0.15cm} \underline{= 11} \hspace{0.05cm}.$$


(4)  Die Binärdarstellung des Codes  01011100001  ergibt

$$2^{-2}+ 2^{-4}+ 2^{-5}+ 2^{-6}+ 2^{-11} = 0.3598632813 > E_7 \hspace{0.05cm}.$$
  • Richtig ist also NEIN.  Der gültige arithmetische Code ist  $\rm AC =$  01011011101, wegen
$$2^{-2}+ 2^{-4}+ 2^{-5}+ 2^{-7}+ 2^{-8}+ 2^{-9}+ 2^{-11} =0.3579101563 \hspace{0.3cm} \Rightarrow \hspace{0.3cm} B_7 \le 0.3579101563 < E_7.$$


(5)  Alle hier gemachten Aussagen sind richtig. Siehe auch:

Bodden, E.; Clasen, M.; Kneis, J.: Algebraische Kodierung. Proseminar, Lehrstuhl für Informatik IV, RWTH Aachen, 2002.