Difference between revisions of "Aufgaben:Exercise 3.6Z: Transition Diagram at 3 States"
(11 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
− | {{quiz-Header|Buchseite= | + | {{quiz-Header|Buchseite=Channel_Coding/Code_Description_with_State_and_Trellis_Diagram}} |
− | [[File:P_ID2667__KC_Z_3_6.png|right|frame| | + | [[File:P_ID2667__KC_Z_3_6.png|right|frame|State transition diagram for $m = 3$ $($incomplete$)$]] |
− | + | In the state transition diagram of an encoder with memory $m$ there are $2^m$ states. Therefore, the diagram shown with eight states describes a convolutional encoder with memory $m = 3$. | |
− | + | Usually the states are denoted by $S_0, \ \text{...} \ , \ S_{\mu}, \ \text{...} \ , \ S_7$, where the index $\mu$ is determined from the occupancy of the shift register $($contents from left to right: $u_{i-1}, u_{i-2}, u_{i-3})$ : | |
:$$\mu = \sum_{l = 1}^{m} \hspace{0.1cm}2\hspace{0.03cm}^{l-1} \cdot u_{i-l} | :$$\mu = \sum_{l = 1}^{m} \hspace{0.1cm}2\hspace{0.03cm}^{l-1} \cdot u_{i-l} | ||
\hspace{0.05cm}.$$ | \hspace{0.05cm}.$$ | ||
− | + | The state $S_0$ therefore results for the shift register content "$000$", the state $S_1$ for "$100$" and the state $S_7$ for "$111$". | |
− | + | However, in the above graphic, for the states $S_0, \, \text{...} \, , \, S_7$ only placeholder names $\mathbf{A}, \, \text{...} \, , \, \mathbf{H}$ are used. In the subtasks '''(1)''' and '''(2)''' you should clarify which placeholder stands for which state. | |
− | + | For convolutional encoders of rate $1/n$, which will be exclusively considered here, two arrows depart from each state $S_{\mu}$ , | |
− | * | + | *a red one for the current information bit $u_i = 0$ and |
− | * | + | |
+ | *a blue one for $u_i = 1$. | ||
− | + | This is another reason why the state transition diagram shown is not complete. It is to be mentioned furthermore: | |
− | * | + | * At each state also two arrows arrive, whereby these can be absolutely of the same color. |
− | |||
+ | * Next to the arrows there are usually the $n$ code bits. This was also omitted here. | ||
Line 26: | Line 27: | ||
+ | Hints: | ||
+ | * The exercise belongs to the chapter [[Channel_Coding/Code_Description_with_State_and_Trellis_Diagram| "Code Description with State and Trellis Diagram"]]. | ||
+ | *In [[Aufgaben:Exercise_3.7Z:_Which_Code_is_Catastrophic%3F|$\text{Exercise 3.7Z}$]] two convolutional codes with memory $m = 3$ are examined, both of which can be described by the transition diagram analyzed here. | ||
− | + | *Please include the appropriate index $\mu$ for all questions. | |
− | * | ||
− | * | + | *Reference is made in particular to the sections |
− | + | :*[[Channel_Coding/Code_Description_with_State_and_Trellis_Diagram#State_definition_for_a_memory_register|"State definition for a memory register"]] as well as | |
− | + | :* [[Channel_Coding/Code_Description_with_State_and_Trellis_Diagram#Representation_in_the_state_transition_diagram|"Representation in the state transition diagram"]]. | |
− | |||
− | |||
− | === | + | |
+ | ===Questions=== | ||
<quiz display=simple> | <quiz display=simple> | ||
− | { | + | {For which states $S_{\mu}$ do the placeholders $\mathbf{A}$ and $\mathbf{F}$ stand? |
|type="{}"} | |type="{}"} | ||
− | ${\rm | + | ${\rm state} \ \mathbf{A} \ ⇒ \ {\rm index} \ {\mu} \ = \ ${ 0. } |
− | ${\rm | + | ${\rm state} \ \mathbf{F} \ ⇒ \ {\rm index} \ {\mu} \ = \ ${ 7 } |
− | { | + | {Also name the mappings of the other placeholders to the indexes. |
|type="{}"} | |type="{}"} | ||
− | ${\rm | + | ${\rm state} \ \mathbf{B} \ ⇒ \ {\rm index} \ {\mu} \ = \ ${ 1 } |
− | ${\rm | + | ${\rm state} \ \mathbf{C} \ ⇒ \ {\rm index} \ {\mu} \ = \ ${ 2 } |
− | ${\rm | + | ${\rm state} \ \mathbf{D} \ ⇒ \ {\rm index} \ {\mu} \ = \ ${ 5 } |
− | ${\rm | + | ${\rm state} \ \mathbf{E} \ ⇒ \ {\rm index} \ {\mu} \ = \ ${ 3 } |
− | ${\rm | + | ${\rm state} \ \mathbf{G} \ ⇒ \ {\rm index} \ {\mu} \ = \ ${ 6 } |
− | ${\rm | + | ${\rm state} \ \mathbf{H} \ ⇒ \ {\rm index} \ {\mu} \ = \ ${ 4 } |
− | { | + | {To which state $S_{\mu}$ does the second arrow in each case go? |
|type="{}"} | |type="{}"} | ||
− | ${\rm | + | ${\rm From \ {\it S}_{\rm 1} \ to \ the\ state \ with \ index \ {\mu}} \ = \ ${ 3 } |
− | ${\rm | + | ${\rm From \ {\it S}_{\rm 3} \ to \ the\ state \ with \ index \ {\mu}} \ = \ ${ 6 } |
− | ${\rm | + | ${\rm From \ {\it S}_{\rm 5} \ to \ the\ state \ with \ index \ {\mu}} \ = \ ${ 2 } |
− | ${\rm | + | ${\rm From \ {\it S}_{\rm 7} \ to \ the\ state \ with \ index \ {\mu}} \ = \ ${ 6 } |
</quiz> | </quiz> | ||
− | === | + | ===Solution=== |
{{ML-Kopf}} | {{ML-Kopf}} | ||
− | '''(1)''' | + | [[File:P_ID2668__KC_Z_3_6b_neu.png|right|frame|Relationship between placeholders and states]] |
+ | [[File:P_ID2669__KC_Z_3_6c.png|right|frame|State transition diagram with $2^3$ states]] | ||
+ | |||
+ | '''(1)''' The placeholder $\mathbf{A}$ represents the state $S_0$ ⇒ $u_{i-1} = 0, \ u_{i-2} = 0, \ u_{i-3} = 0$. | ||
+ | |||
+ | *This is the only state $S_{\mu}$ where one remains in the same state $S_{\mu}$ by the info-bit $u_i = 0$ (red arrow). | ||
+ | |||
+ | *From the state $S_7$ ⇒ $u_{i-1} = 1, \ u_{i-2} = 1, \ u_{i-3} = 1$ one comes with $u_i = 1$ (blue arrow) also again to the state $S_7$. | ||
+ | |||
+ | *Thus, for $\mathbf{A}$ the index $\underline{\mu = 0}$ and for $\mathbf{F}$ the index $\underline{\mu = 7}$ had to be entered. | ||
+ | |||
− | |||
− | + | '''(2)''' Starting from the state $\mathbf{A} = S_0$, one arrives at the following states according to the initial graph in a clockwise direction with the red arrows $(u_i = 0)$ or the blue arrows $(u_i = 1)$: | |
+ | :$$u_{i–3} = 0, \ u_{i–2} = 0, \ u_{i–1} = 0, \ u_i = 1 ⇒ s_{i+1} = \mathbf{B} = S_1,$$ | ||
+ | :$$u_{i–3} = 0, \ u_{i–2} = 0, \ u_{i–1} = 1, \ u_i = 0 ⇒ s_{i+1} = \mathbf{C} = S_2,$$ | ||
+ | :$$u_{i–3} = 0, \ u_{i–2} = 1, \ u_{i–1} = 0, \ u_i = 1 ⇒ s_{i+1} = \mathbf{D} = S_5,$$ | ||
+ | :$$u_{i–3} = 1, \ u_{i–2} = 0, \ u_{i–1} = 1, \ u_i = 1 ⇒ s_{i+1} = \mathbf{E} = S_3,$$ | ||
+ | :$$u_{i–3} = 0, \ u_{i–2} = 1, \ u_{i–1} = 1, \ u_i = 1 ⇒ s_{i+1} = \mathbf{F} = S_7,$$ | ||
+ | :$$u_{i–3} = 1, \ u_{i–2} = 1, \ u_{i–1} = 1, \ u_i = 0 ⇒ s_{i+1} = \mathbf{G} = S_6,$$ | ||
+ | :$$u_{i–3} = 1, \ u_{i–2} = 1, \ u_{i–1} = 0, \ u_i = 0 ⇒ s_{i+1} = \mathbf{H} = S_4,$$ | ||
+ | :$$u_{i–3} = 1, \ u_{i–2} = 0, \ u_{i–1} = 0, \ u_i = 0 ⇒ s_{i+1} = \mathbf{A} = S_0.$$ | ||
+ | *So the indices $\mu$ are to be entered in the <u>order 1, 2, 5, 3, 6, 4</u>. | ||
+ | |||
+ | *The graphic shows the connection between the placeholders and the states $S_{\mu}$. | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | + | '''(3)''' From state $S_1$ ⇒ $u_{i–1} = 1, \ u_{i–2} = 0, \ u_{i–3} = 0$ one arrives with $u_i = 0$ (red arrow) at state $S_2$. On the other hand, with $u_i = 1$ (blue arrow) one ends up at the state $S_3$ ⇒ $u_{i–1} = 1, \ u_{i–2} = 1, \ u_{i–3} = 0$. | |
− | + | The adjacent graphic shows the state transition diagram with all transitions. From this it can be read: | |
+ | * From state $S_3$ one comes with $u_i = 0$ to state $S_6$. | ||
− | + | * From state $S_5$ one comes with $u_i = 0$ to the state $S_2$. | |
− | + | * From the state $S_7$ one comes with $u_i = 0$ to the state $S_6$. | |
− | * | ||
− | |||
− | |||
− | + | Thus, the indices are to be entered in the <u>order 3, 6, 2, 6</u>. | |
{{ML-Fuß}} | {{ML-Fuß}} | ||
Line 103: | Line 114: | ||
− | [[Category: | + | [[Category:Channel Coding: Exercises|^3.3 State and Trellis Diagram^]] |
Latest revision as of 15:43, 14 November 2022
In the state transition diagram of an encoder with memory $m$ there are $2^m$ states. Therefore, the diagram shown with eight states describes a convolutional encoder with memory $m = 3$.
Usually the states are denoted by $S_0, \ \text{...} \ , \ S_{\mu}, \ \text{...} \ , \ S_7$, where the index $\mu$ is determined from the occupancy of the shift register $($contents from left to right: $u_{i-1}, u_{i-2}, u_{i-3})$ :
- $$\mu = \sum_{l = 1}^{m} \hspace{0.1cm}2\hspace{0.03cm}^{l-1} \cdot u_{i-l} \hspace{0.05cm}.$$
The state $S_0$ therefore results for the shift register content "$000$", the state $S_1$ for "$100$" and the state $S_7$ for "$111$".
However, in the above graphic, for the states $S_0, \, \text{...} \, , \, S_7$ only placeholder names $\mathbf{A}, \, \text{...} \, , \, \mathbf{H}$ are used. In the subtasks (1) and (2) you should clarify which placeholder stands for which state.
For convolutional encoders of rate $1/n$, which will be exclusively considered here, two arrows depart from each state $S_{\mu}$ ,
- a red one for the current information bit $u_i = 0$ and
- a blue one for $u_i = 1$.
This is another reason why the state transition diagram shown is not complete. It is to be mentioned furthermore:
- At each state also two arrows arrive, whereby these can be absolutely of the same color.
- Next to the arrows there are usually the $n$ code bits. This was also omitted here.
Hints:
- The exercise belongs to the chapter "Code Description with State and Trellis Diagram".
- In $\text{Exercise 3.7Z}$ two convolutional codes with memory $m = 3$ are examined, both of which can be described by the transition diagram analyzed here.
- Please include the appropriate index $\mu$ for all questions.
- Reference is made in particular to the sections
Questions
Solution
(1) The placeholder $\mathbf{A}$ represents the state $S_0$ ⇒ $u_{i-1} = 0, \ u_{i-2} = 0, \ u_{i-3} = 0$.
- This is the only state $S_{\mu}$ where one remains in the same state $S_{\mu}$ by the info-bit $u_i = 0$ (red arrow).
- From the state $S_7$ ⇒ $u_{i-1} = 1, \ u_{i-2} = 1, \ u_{i-3} = 1$ one comes with $u_i = 1$ (blue arrow) also again to the state $S_7$.
- Thus, for $\mathbf{A}$ the index $\underline{\mu = 0}$ and for $\mathbf{F}$ the index $\underline{\mu = 7}$ had to be entered.
(2) Starting from the state $\mathbf{A} = S_0$, one arrives at the following states according to the initial graph in a clockwise direction with the red arrows $(u_i = 0)$ or the blue arrows $(u_i = 1)$:
- $$u_{i–3} = 0, \ u_{i–2} = 0, \ u_{i–1} = 0, \ u_i = 1 ⇒ s_{i+1} = \mathbf{B} = S_1,$$
- $$u_{i–3} = 0, \ u_{i–2} = 0, \ u_{i–1} = 1, \ u_i = 0 ⇒ s_{i+1} = \mathbf{C} = S_2,$$
- $$u_{i–3} = 0, \ u_{i–2} = 1, \ u_{i–1} = 0, \ u_i = 1 ⇒ s_{i+1} = \mathbf{D} = S_5,$$
- $$u_{i–3} = 1, \ u_{i–2} = 0, \ u_{i–1} = 1, \ u_i = 1 ⇒ s_{i+1} = \mathbf{E} = S_3,$$
- $$u_{i–3} = 0, \ u_{i–2} = 1, \ u_{i–1} = 1, \ u_i = 1 ⇒ s_{i+1} = \mathbf{F} = S_7,$$
- $$u_{i–3} = 1, \ u_{i–2} = 1, \ u_{i–1} = 1, \ u_i = 0 ⇒ s_{i+1} = \mathbf{G} = S_6,$$
- $$u_{i–3} = 1, \ u_{i–2} = 1, \ u_{i–1} = 0, \ u_i = 0 ⇒ s_{i+1} = \mathbf{H} = S_4,$$
- $$u_{i–3} = 1, \ u_{i–2} = 0, \ u_{i–1} = 0, \ u_i = 0 ⇒ s_{i+1} = \mathbf{A} = S_0.$$
- So the indices $\mu$ are to be entered in the order 1, 2, 5, 3, 6, 4.
- The graphic shows the connection between the placeholders and the states $S_{\mu}$.
(3) From state $S_1$ ⇒ $u_{i–1} = 1, \ u_{i–2} = 0, \ u_{i–3} = 0$ one arrives with $u_i = 0$ (red arrow) at state $S_2$. On the other hand, with $u_i = 1$ (blue arrow) one ends up at the state $S_3$ ⇒ $u_{i–1} = 1, \ u_{i–2} = 1, \ u_{i–3} = 0$.
The adjacent graphic shows the state transition diagram with all transitions. From this it can be read:
- From state $S_3$ one comes with $u_i = 0$ to state $S_6$.
- From state $S_5$ one comes with $u_i = 0$ to the state $S_2$.
- From the state $S_7$ one comes with $u_i = 0$ to the state $S_6$.
Thus, the indices are to be entered in the order 3, 6, 2, 6.