Skip to main content

Advertisement

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