Morphocompletion for #5730 ⟨a, b | aaaa=1, bbabb=a⟩

Back:⟨a, b | aaaa=1, bbabb=a⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aaaa ⇒ 1
2. aabb ⇒ bbaa
3. abbaaab ⇒ babbaaa
4. ababb ⇒ bbaba
5. bbabb ⇒ a
6. abbbbaaab ⇒ babbbbaaa
7. abbbbbbaaab ⇒ babbbbbbaaa
8. abbbbbbbbaaab ⇒ babbbbbbbbaaa
9. abbbbbbbbbbaaab ⇒ babbbbbbbbbbaaa
10. abbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbaaa
11. abbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbaaa
12. abbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbaaa
13. abbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbaaa
14. abbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbaaa
15. abbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbaaa
16. abbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbaaa
17. abbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbaaa
18. abbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
19. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
20. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
21. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
22. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
23. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
24. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
25. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
26. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
27. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
28. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
29. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
30. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
31. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
32. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
33. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
34. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
35. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
36. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
37. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
38. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
39. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaaba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
40. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
41. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaaba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
42. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
43. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaaba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
44. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
45. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaaba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
46. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
47. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaaba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
...

Collecting factors up to length 14, frequency 2:

Length 2:[2/0] bb, [2/1] ba
Length 3:[3/0] bbb, [3/1] aba
Length 4:[4/0] bbbb, [4/1] abbb
Length 5:[5/0] bbbbb, [5/1] abbbb
Length 6:[6/0] abbaaa, [6/1] bbbbbb
Length 7:[7/0] bbbbbbb, [7/1] abbbbbb
Length 8:[8/0] abbbbaaa, [8/1] bbbbbbbb
Length 9:[9/0] bbbbbbbbb, [9/1] abbbbbbbb
Length 10:[10/0] abbbbbbaaa, [10/1] bbbbbbbbbb
Length 11:[11/0] bbbbbbbbbbb, [11/1] abbbbbbbbbb
Length 12:[12/0] abbbbbbbbaaa, [12/1] bbbbbbbbbbbb
Length 13:[13/0] bbbbbbbbbbbbb, [13/1] abbbbbbbbbbbb

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

Step 2

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