| Back: | ⟨a, b | aaabaabba=1⟩ |
|---|
Solved by morph:3/0,4/0. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: rulesLimit
| # | Rule |
|---|---|
| 1. | aabbaa ⇒ baaaab |
| 2. | aabaab ⇒ bbaaaa |
| 3. | bbaaaabaa ⇒ 1 |
| 4. | baabbaa ⇒ bbaaaab |
| 5. | abbaaaab ⇒ bbaaaaba |
| 6. | abaabb ⇒ baabba |
| 7. | aabbbaaaa ⇒ bbaaaaaab |
| 8. | bbaaaaaabbaa ⇒ aab |
| 9. | baaaabbbaa ⇒ bbaaaaaabb |
| 10. | aabbbbaaaa ⇒ baabaaaabb |
| 11. | bbaaaababbaaaa ⇒ abaab |
| 12. | bbaaaababaaaab ⇒ abbaa |
| ... |
Collecting factors up to length 7, frequency 4:
| Length 2: | [2/0] aa, [2/1] ab, [2/2] bb, [2/3] ba |
|---|---|
| Length 3: | [3/0] baa, [3/1] aaa, [3/2] aab, [3/3] bba |
| Length 4: | [4/0] bbaa, [4/1] aaaa, [4/2] aabb, [4/3] baaa |
| Length 5: | [5/0] baaaa, [5/1] bbaaa, [5/2] abbaa, [5/3] aaaab |
| Length 6: | [6/0] bbaaaa, [6/1] baaaab, [6/2] aabbaa, [6/3] aabbba |
Considering [length 3 / frequency 0] baa=c.
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | caaccc ⇒ aac |
| 2. | baa ⇒ c |
| 3. | bcaac ⇒ 1 |
| 4. | cbcaa ⇒ 1 |
| 5. | ccbc ⇒ b |
| 6. | acbc ⇒ cbca |
| 7. | aacb ⇒ bcaa |
| 8. | caab ⇒ aabc |
| 9. | caaccb ⇒ aab |
| 10. | bbcaa ⇒ ccb |
| 11. | bcaab ⇒ cbc |
| 12. | cbccaab ⇒ bc |
| 13. | ccbb ⇒ bcbc |
| 14. | acbb ⇒ cbba |
| ... |
Collecting factors up to length 6, frequency 7:
| Length 2: | [2/0] aa, [2/1] cb, [2/2] bc, [2/3] ca, [2/4] ac, [2/5] cc, [2/6] bb |
|---|---|
| Length 3: | [3/0] caa, [3/1] cbc, [3/2] aab, [3/3] acb, [3/4] ccb, [3/5] bca, [3/6] aac |
| Length 4: | [4/0] bcaa, [4/1] caac, [4/2] caab, [4/3] bbca, [4/4] accb, [4/5] cbca, [4/6] cbcc |
| Length 5: | [5/0] caacc, [5/1] ccaab, [5/2] aaccb, [5/3] cbcca, [5/4] aaccc, [5/5] bccaa |
Considering [length 4 / frequency 0] bcaa=d.
Rewriting system is complete. See ⟨a, b | aaabaabba=1⟩.