Difference between revisions of "Aufgaben:Exercise 3.6Z: Transition Diagram at 3 States"

From LNTwww
Line 1: Line 1:
 
{{quiz-Header|Buchseite=Channel_Coding/Code_Description_with_State_and_Trellis_Diagram}}
 
{{quiz-Header|Buchseite=Channel_Coding/Code_Description_with_State_and_Trellis_Diagram}}
  
[[File:P_ID2667__KC_Z_3_6.png|right|frame|State transition diagram for  $m = 3$  (incomplete)]]
+
[[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$.
+
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})$ :
+
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$".
+
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$  placeholder names  $\mathbf{A}, \, \text{...} \, , \, \mathbf{H}$  used. In the subtasks '''(1)''' and '''(2)''' you should clarify which placeholder stands for which state.
+
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}$ ,  
+
For convolutional encoders of rate  $1/n$,  which will be exclusively considered here,  two arrows depart from each state  $S_{\mu}$ ,  
*one red one for the current information bit  $u_i = 0$  and.
+
*a red one for the current information bit  $u_i = 0$  and
 +
 
*a blue one for  $u_i = 1$.  
 
*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:
+
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.
+
* 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.
 
* Next to the arrows there are usually the  $n$  code bits. This was also omitted here.
  
Line 25: 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.
  
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| "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   
 
*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#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"]].
+
:* [[Channel_Coding/Code_Description_with_State_and_Trellis_Diagram#Representation_in_the_state_transition_diagram|"Representation in the state transition diagram"]].
  
  
Line 45: Line 46:
 
{For which states  $S_{\mu}$  do the placeholders  $\mathbf{A}$  and  $\mathbf{F}$ stand?  
 
{For which states  $S_{\mu}$  do the placeholders  $\mathbf{A}$  and  $\mathbf{F}$ stand?  
 
|type="{}"}
 
|type="{}"}
${\rm Zustand} \ \mathbf{A} \ ⇒ \ {\rm Index} \ {\mu} \ = \ ${ 0. }  
+
${\rm state} \ \mathbf{A} \ ⇒ \ {\rm index} \ {\mu} \ = \ ${ 0. }  
${\rm Zustand} \ \mathbf{F} \ ⇒ \ {\rm Index} \ {\mu} \ = \ ${ 7 }  
+
${\rm state} \ \mathbf{F} \ ⇒ \ {\rm index} \ {\mu} \ = \ ${ 7 }  
  
 
{Also name the mappings of the other placeholders to the indexes.
 
{Also name the mappings of the other placeholders to the indexes.
 
|type="{}"}
 
|type="{}"}
${\rm Zustand} \ \mathbf{B} \ ⇒ \ {\rm Index} \ {\mu} \ = \ ${ 1 }
+
${\rm state} \ \mathbf{B} \ ⇒ \ {\rm index} \ {\mu} \ = \ ${ 1 }
${\rm Zustand} \ \mathbf{C} \ ⇒ \ {\rm Index} \ {\mu} \ = \ ${ 2 }  
+
${\rm state} \ \mathbf{C} \ ⇒ \ {\rm index} \ {\mu} \ = \ ${ 2 }  
${\rm Zustand} \ \mathbf{D} \ ⇒ \ {\rm Index} \ {\mu} \ = \ ${ 5 }  
+
${\rm state} \ \mathbf{D} \ ⇒ \ {\rm index} \ {\mu} \ = \ ${ 5 }  
${\rm Zustand} \ \mathbf{E} \ ⇒ \ {\rm Index} \ {\mu} \ = \ ${ 3 }  
+
${\rm state} \ \mathbf{E} \ ⇒ \ {\rm index} \ {\mu} \ = \ ${ 3 }  
${\rm Zustand} \ \mathbf{G} \ ⇒ \ {\rm Index} \ {\mu} \ = \ ${ 6 }  
+
${\rm state} \ \mathbf{G} \ ⇒ \ {\rm index} \ {\mu} \ = \ ${ 6 }  
${\rm Zustand} \ \mathbf{H} \ ⇒ \ {\rm Index} \ {\mu} \ = \ ${ 4 }   
+
${\rm state} \ \mathbf{H} \ ⇒ \ {\rm index} \ {\mu} \ = \ ${ 4 }   
  
 
{To which state  $S_{\mu}$  does the second arrow in each case go?  
 
{To which state  $S_{\mu}$  does the second arrow in each case go?  
 
|type="{}"}
 
|type="{}"}
${\rm Von \ {\it S}_{\rm 1} \ zum \ Zustand \ mit \ Index \ {\mu}} \ = \ ${ 3 }  
+
${\rm From \ {\it S}_{\rm 1} \ to \ the state \ with \ index \ {\mu}} \ = \ ${ 3 }  
${\rm Von \ {\it S}_{\rm 3} \ zum \ Zustand \ mit \ Index \ {\mu}} \ = \ ${ 6 }
+
${\rm From \ {\it S}_{\rm 3} \ to \ the state \ with \ index \ {\mu}} \ = \ ${ 6 }
${\rm Von \ {\it S}_{\rm 5} \ zum \ Zustand \ mit \ Index \ {\mu}} \ = \ ${ 2 }
+
${\rm From \ {\it S}_{\rm 5} \ to \ the state \ with \ index \ {\mu}} \ = \ ${ 2 }
${\rm Von \ {\it S}_{\rm 7} \ zum \ Zustand \ mit \ Index \ {\mu}} \ = \ ${ 6 }
+
${\rm From \ {\it S}_{\rm 7} \ to \ the state \ with \ index \ {\mu}} \ = \ ${ 6 }
 
</quiz>
 
</quiz>
  

Revision as of 15:25, 14 November 2022

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} \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:

  • 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

1

For which states  $S_{\mu}$  do the placeholders  $\mathbf{A}$  and  $\mathbf{F}$ stand?

${\rm state} \ \mathbf{A} \ ⇒ \ {\rm index} \ {\mu} \ = \ $

${\rm state} \ \mathbf{F} \ ⇒ \ {\rm index} \ {\mu} \ = \ $

2

Also name the mappings of the other placeholders to the indexes.

${\rm state} \ \mathbf{B} \ ⇒ \ {\rm index} \ {\mu} \ = \ $

${\rm state} \ \mathbf{C} \ ⇒ \ {\rm index} \ {\mu} \ = \ $

${\rm state} \ \mathbf{D} \ ⇒ \ {\rm index} \ {\mu} \ = \ $

${\rm state} \ \mathbf{E} \ ⇒ \ {\rm index} \ {\mu} \ = \ $

${\rm state} \ \mathbf{G} \ ⇒ \ {\rm index} \ {\mu} \ = \ $

${\rm state} \ \mathbf{H} \ ⇒ \ {\rm index} \ {\mu} \ = \ $

3

To which state  $S_{\mu}$  does the second arrow in each case go?

${\rm From \ {\it S}_{\rm 1} \ to \ the state \ with \ index \ {\mu}} \ = \ $

${\rm From \ {\it S}_{\rm 3} \ to \ the state \ with \ index \ {\mu}} \ = \ $

${\rm From \ {\it S}_{\rm 5} \ to \ the state \ with \ index \ {\mu}} \ = \ $

${\rm From \ {\it S}_{\rm 7} \ to \ the state \ with \ index \ {\mu}} \ = \ $


Solution

Relationship between placeholders and 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 infobit $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$.

State transition diagram with $2^3$ states

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 the 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.