images/h23prng.dot

   1 digraph {
   2  00 -> 00 [label="11,22,112,211,222"]
   3  00 -> 10 [label="21,111,122,221"]
   4  00 -> 11 [label="12,212"]
   5  01 -> 01 [label="11,22,112,211,222"]
   6  01 -> 10 [label="12,212"]
   7  01 -> 11 [label="21,111,122,221"]
   8  10 -> 00 [label="12,111,122,221"]
   9  10 -> 01 [label="21,212"]
  10  10 -> 10 [label="11,22,121"]
  11  11 -> 00 [label="21,212"]
  12  11 -> 01 [label="12,111,122,221"]
  13  11 -> 11 [label="11,22,121"]
  14
  15  00 -> 01 [label="121"]
  16  01 -> 00 [label="121"]
  17  10 -> 11 [label="112,211,222"]
  18  11 -> 10 [label="112,211,222"]
  19
  20
  21 }