Morphocompletion for #645 ⟨a, b | aaabbabba=1⟩

Back:⟨a, b | aaabbabba=1⟩

Solved by morph:2/0,4/0. (See Morphocompletion.)

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. bbaaa ⇒ aaabb
2. aaaabbabb ⇒ 1
3. bbabba ⇒ abbabb
4. aaaabbabaaabb ⇒ baaa
5. aaabbaabbabb ⇒ bba
6. aaabbaaabbabb ⇒ bbaa
7. abbabbbba ⇒ bbaabbabb
8. abbabbbbbba ⇒ bbbbaabbabb
9. abbabbbbbbbba ⇒ bbbbbbaabbabb
10. abbabbbbbbbbbba ⇒ bbbbbbbbaabbabb
11. abbabbbbbbbbbbbba ⇒ bbbbbbbbbbaabbabb
12. abbabbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbaabbabb
13. abbabbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbaabbabb
...

Collecting factors up to length 7, frequency 4:

Length 2:[2/0] bb, [2/1] ab, [2/2] ba, [2/3] aa
Length 3:[3/0] bbb, [3/1] abb, [3/2] bba, [3/3] aaa
Length 4:[4/0] bbbb, [4/1] abba, [4/2] bbba, [4/3] babb
Length 5:[5/0] bbbbb, [5/1] abbab, [5/2] bbabb, [5/3] bbbba
Length 6:[6/0] bbbbbb, [6/1] abbabb, [6/2] bbbbba, [6/3] bbabbb

Considering [length 2 / frequency 0] bb=c.

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. caaa ⇒ aaac
2. aaaacac ⇒ 1
3. caca ⇒ acac
4. cb ⇒ bc
5. aaaacab ⇒ baaaaca
6. bb ⇒ c
7. aaacaacac ⇒ ca
8. aaacaaacac ⇒ caa
9. acacca ⇒ caacac
10. caccaa ⇒ aaccac
11. aaaacabc ⇒ b
12. aaaacabaaac ⇒ baaa
13. aaaccaacac ⇒ cca
14. acaccca ⇒ ccaacac
15. aaacaacabc ⇒ cab
16. acacccca ⇒ cccaacac
17. acaccccca ⇒ ccccaacac
18. acacccccca ⇒ cccccaacac
...

Collecting factors up to length 6, frequency 7:

Length 2:[2/0] aa, [2/1] ac, [2/2] ca, [2/3] cc, [2/4] ab, [2/5] bc, [2/6] ba
Length 3:[3/0] aaa, [3/1] aca, [3/2] cac, [3/3] aac, [3/4] cca, [3/5] ccc, [3/6] caa
Length 4:[4/0] acac, [4/1] aaac, [4/2] aaca, [4/3] ccca, [4/4] aaaa, [4/5] cacc, [4/6] cccc
Length 5:[5/0] aaaca, [5/1] acacc, [5/2] aacac, [5/3] aaaac, [5/4] cccca, [5/5] aacab, [5/6] caccc

Considering [length 4 / frequency 0] acac=d.

Step 3

Rewriting system is complete. See ⟨a, b | aaabbabba=1⟩.