| Back: | ⟨a, b | abaaabababa=1⟩ |
|---|
Solved by morph:2/0,4/0. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: rulesLimit
| # | Rule |
|---|---|
| 1. | baabaa ⇒ abaaab |
| 2. | baabaaab ⇒ abaaabab |
| 3. | aabababa ⇒ abaaabab |
| 4. | babaaba ⇒ aababab |
| 5. | baabaaaaba ⇒ abaaabaaba |
| 6. | abaaabbaa ⇒ baaabaaab |
| 7. | aabaaababab ⇒ 1 |
| 8. | babababa ⇒ bbaaabab |
| 9. | baabaaaaababab ⇒ aba |
| 10. | aabbaaaaabababb ⇒ baba |
| ... |
Collecting factors up to length 7, frequency 4:
| Length 2: | [2/0] ba, [2/1] aa, [2/2] ab, [2/3] bb |
|---|---|
| Length 3: | [3/0] aba, [3/1] baa, [3/2] aab, [3/3] bab |
| Length 4: | [4/0] aaba, [4/1] baba, [4/2] abab, [4/3] baab |
| Length 5: | [5/0] baaba, [5/1] babab, [5/2] ababa, [5/3] aabaa |
| Length 6: | [6/0] ababab, [6/1] bababa, [6/2] baabaa, [6/3] aababa |
Considering [length 2 / frequency 0] ba=c.
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | acccac ⇒ cccaca |
| 2. | caacc ⇒ accca |
| 3. | aaccc ⇒ ccaca |
| 4. | cccacaa ⇒ 1 |
| 5. | acaac ⇒ cacaa |
| 6. | ccacaac ⇒ 1 |
| 7. | cacaaca ⇒ aacccaa |
| 8. | ccacaaacc ⇒ aaccaccca |
| 9. | ccacacacaa ⇒ aac |
| 10. | ccacaccacaa ⇒ aacc |
| 11. | cacaaaac ⇒ acacacaa |
| 12. | b ⇒ ccccaca |
| ... |
Collecting factors up to length 6, frequency 7:
| Length 2: | [2/0] ac, [2/1] ca, [2/2] cc, [2/3] aa |
|---|---|
| Length 3: | [3/0] cac, [3/1] aca, [3/2] caa, [3/3] aac, [3/4] cca, [3/5] acc, [3/6] ccc |
| Length 4: | [4/0] acaa, [4/1] caca, [4/2] ccac, [4/3] caac, [4/4] aacc, [4/5] accc, [4/6] aaac |
| Length 5: | [5/0] cacaa, [5/1] ccaca, [5/2] cccac, [5/3] acaac, [5/4] cacac, [5/5] aaaac, [5/6] acaaa |
Considering [length 4 / frequency 0] acaa=d.
Rewriting system is complete. See ⟨a, b | abaaabababa=1⟩.