 |
| Note the vertical lines at x = 1/3 and
x = 2/3. |
| Next, note the horizontal lines at y = 1/3 and
y = 2/3. |
| These lines were discussed in lines whose endpoints belong to 2-cycles. |
| For example, the horzontal lines have endpoints |
| (31)infinity |   | (42)infinity |
| (13)infinity |   | (24)infinity |
|
| and are generated by allowing the transitions |
| 3 → 1, 4 → 1, 3 → 2, 4 → 2,
1 → 3, 2 → 3, 1 → 4, and 2 → 4. |
| From our study of which 2-step memory configurations correspond to 1-step memory
configurations, we see we need these 32 transitions |
| * → 3 → 1, * → 4 → 1, * → 3 → 2, * → 4 → 2,
* → 1 → 3, * → 2 → 3, * → 1 → 4, and * → 2 → 4. |
| These transitions are encoded in the table on the left, yet the table on the right generates the picture above. |
 |
  |
 |
|
| The table that generates this picture does not contain the table that generates these lines. How is this
possible? |
| Think a bit, then look here for a hint, how to deal with a similar situation. |