| Back: | ⟨a, b | ababaaaab=aa⟩ |
|---|
Solved by morph:2/1,5/0,3/0. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: arenaTotalLimit
| # | Rule |
|---|---|
| 1. | ababaaaaa ⇒ aaabaaaab |
| 2. | ababaaaab ⇒ aa |
| 3. | aaaaaabbabaaaaa ⇒ aaaaaabaabaaaab |
| 4. | aaaaaabbabaaaab ⇒ aaaaaaba |
| 5. | aaaaaababbabaaaab ⇒ aaaaaababa |
| 6. | aaabaaaabbabaaaab ⇒ aaabaaaaba |
| 7. | aaabaaaababbabaaaab ⇒ aaabaaaababa |
| ... |
Collecting factors up to length 7, frequency 3:
| Length 2: | [2/0] aa, [2/1] ab, [2/2] ba |
|---|---|
| Length 3: | [3/0] aaa, [3/1] aab, [3/2] aba |
| Length 4: | [4/0] aaaa, [4/1] aaab, [4/2] baaa |
| Length 5: | [5/0] aaaab, [5/1] aaaaa, [5/2] baaaa |
| Length 6: | [6/0] baaaab, [6/1] abaaaa, [6/2] babaaa |
Considering [length 2 / frequency 1] ab=c.
Checking up to 20 rules for overlaps.
Rewriting system is not complete: arenaTotalLimit
| # | Rule |
|---|---|
| 1. | ccaaac ⇒ aa |
| 2. | aacaaac ⇒ ccaaaaa |
| 3. | ccaccaaaaa ⇒ aaaaac |
| 4. | ccaaaaaaaac ⇒ aacaccaaaaa |
| 5. | ccaccaaaaccaaaaa ⇒ aaaaacacaaac |
| 6. | ccaaaaacaccaaaaa ⇒ aacaaaaaaaac |
| 7. | ab ⇒ c |
| 8. | aaaaacb ⇒ ccaccaaaac |
| 9. | aaaaaccb ⇒ ccaccccaccaaaac |
| 10. | aaaaacccb ⇒ ccaccccaccccaccaaaac |
| 11. | aaaaacacb ⇒ ccaccaccaccaaaac |
| 12. | aaaaaccacb ⇒ ccaccccaccaccaccaaaac |
| 13. | aaaaacaccb ⇒ ccaccaccaccccaccaaaac |
| 14. | aaaaacaacb ⇒ ccaccaaccaccaaaac |
| 15. | aaaaaccaacb ⇒ ccaccccaccaaccaccaaaac |
| 16. | aaaaacacacb ⇒ ccaccaccaccaccaccaaaac |
| 17. | aaaaacaaaacb ⇒ ccaccaaaaccaccaaaac |
| 18. | aaaaacacaaacb ⇒ ccaccaaaaccaaaac |
| ... |
Collecting factors up to length 6, frequency 5:
| Length 2: | [2/0] aa, [2/1] ac, [2/2] cb, [2/3] ca, [2/4] cc |
|---|---|
| Length 3: | [3/0] aaa, [3/1] aac, [3/2] acb, [3/3] cca, [3/4] caa |
| Length 4: | [4/0] aaaa, [4/1] aaac, [4/2] ccaa, [4/3] aacb, [4/4] caaa |
| Length 5: | [5/0] aaaaa, [5/1] aaaac, [5/2] ccaaa, [5/3] aaaca, [5/4] caaaa |
Considering [length 5 / frequency 0] aaaaa=d.
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | ccaccd ⇒ dc |
| 2. | da ⇒ ad |
| 3. | ccaccad ⇒ dca |
| 4. | ccaaac ⇒ aa |
| 5. | ccaccaad ⇒ dcaa |
| 6. | ccaaadc ⇒ aacaccd |
| 7. | dcaaac ⇒ aaaccd |
| 8. | ccdcaaadc ⇒ aacdcaccd |
| 9. | ccaccaaad ⇒ dcaaa |
| 10. | aaaaa ⇒ d |
| 11. | aacaaac ⇒ ccd |
| 12. | aaaccdcaccd ⇒ dcaaadc |
| 13. | aacaccdcaccd ⇒ ccaaaddc |
| 14. | ccaccaaaad ⇒ dcaaaa |
| 15. | aacaaadc ⇒ ccdcaccd |
| 16. | aadcaaadc ⇒ dccdcaccd |
| 17. | db ⇒ aaaac |
| 18. | dcb ⇒ ccaccaaaac |
| 19. | dccb ⇒ ccaccccaccaaaac |
| 20. | ab ⇒ c |
| ... |
Collecting factors up to length 6, frequency 5:
| Length 2: | [2/0] aa, [2/1] cc, [2/2] ca, [2/3] ac, [2/4] dc |
|---|---|
| Length 3: | [3/0] cca, [3/1] aaa, [3/2] aac, [3/3] aad, [3/4] caa |
| Length 4: | [4/0] aadc, [4/1] ccac, [4/2] caaa, [4/3] aaad, [4/4] aaac |
| Length 5: | [5/0] ccacc, [5/1] aaadc, [5/2] caccd, [5/3] caaad, [5/4] caaac |
Considering [length 3 / frequency 0] cca=e.
Rewriting system is complete. See ⟨a, b | ababaaaab=aa⟩.