| Back: | ⟨a, b | abbaab=1⟩ |
|---|
Solved by morph:2/0,3/0. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: rulesLimit
| # | Rule |
|---|---|
| 1. | baab ⇒ abba |
| 2. | abbaa ⇒ aabab |
| 3. | aababb ⇒ 1 |
| 4. | baaabba ⇒ aababab |
| 5. | baaaabab ⇒ aabababa |
| 6. | abbabaaabab ⇒ babaa |
| ... |
Collecting factors up to length 7, frequency 4:
| Length 2: | [2/0] ab, [2/1] ba, [2/2] aa, [2/3] bb |
|---|---|
| Length 3: | [3/0] baa, [3/1] abb, [3/2] aab, [3/3] bab |
| Length 4: | [4/0] abba, [4/1] baaa, [4/2] abab, [4/3] aaba |
| Length 5: | [5/0] aabab, [5/1] baaab, [5/2] baaaa, [5/3] abbab |
| Length 6: | [6/0] aaabab, [6/1] baaabb, [6/2] baaaab, [6/3] abbaba |
Considering [length 2 / frequency 0] ab=c.
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | cacc ⇒ a |
| 2. | ccbc ⇒ b |
| 3. | caa ⇒ aacccc |
| 4. | caca ⇒ aacc |
| 5. | ab ⇒ c |
| 6. | accb ⇒ 1 |
| 7. | cacb ⇒ acbc |
| 8. | ba ⇒ accccccb |
| 9. | bacc ⇒ 1 |
| 10. | cba ⇒ bac |
| 11. | cbca ⇒ bcac |
| 12. | cbcca ⇒ bccac |
| 13. | ccbb ⇒ bcbc |
| 14. | aaccccb ⇒ cac |
| 15. | baa ⇒ acccc |
| 16. | baca ⇒ acc |
| 17. | bacb ⇒ cbc |
| 18. | bbac ⇒ ccb |
| ... |
Collecting factors up to length 6, frequency 7:
| Length 2: | [2/0] cb, [2/1] ca, [2/2] cc, [2/3] ba, [2/4] ac, [2/5] aa, [2/6] bb |
|---|---|
| Length 3: | [3/0] bac, [3/1] ccb, [3/2] acc, [3/3] cbc, [3/4] cac, [3/5] acb, [3/6] aca |
| Length 4: | [4/0] bcca, [4/1] aacc, [4/2] cccb, [4/3] cbcc, [4/4] accc, [4/5] cccc, [4/6] bcbc |
| Length 5: | [5/0] aaccc, [5/1] ccccb, [5/2] acccc, [5/3] bccac, [5/4] ccccc |
Considering [length 3 / frequency 0] bac=d.
Rewriting system is complete. See ⟨a, b | abbaab=1⟩.