Table 2 Final rewriting set after the classification is finished, rules positions are corresponding to Table 1
From: Structure sensitive complexity for symbol-free sequences
Class | Homomorphism | Isomorphism-1 | Isomorphism-2 |
|---|---|---|---|
1 | C 1 ↦ C 1 C 1 | C 1 ↦ C 2 C 2 | C 1 ↦ C 2 C 3 |
C 1 ↦ C 2 C 3 | |||
C 1 ↦ C 2 C 3 | |||
2 | C 2 ↦ C 4 C 5 | C 2 ↦ C 3 C 4 | C 2 ↦ C 4 C 5 |
C 2 ↦ null | C 2 ↦ C 5 C 6 | ||
3 | C 3 ↦ null | C 3 ↦ C 7 C 8 | C 3 ↦ C 6 C 7 |
C 3 ↦ C 4 C 5 | |||
4 | C 4 ↦ null | C 4 ↦ null | C 4 ↦ C 8 C 9 |
C 4 ↦ null | |||
5 | C 5 ↦ null | C 5 ↦ null | C 5 ↦ null |
C 5 ↦ null | |||
6 | C 6 ↦ C 7 C 8 | C 6 ↦ null | |
7 | C 7 ↦ null | C 7 ↦ C 8 C 9 | |
C 7 ↦ null | |||
8 | C 8 ↦ null | C 8 ↦ null | |
C 8 ↦ null | C 8 ↦ null | ||
9 | C 9 ↦ null | ||
C 9 ↦ null |