Morphocompletion for #25251 ⟨a, b | aa=a, bbabb=abb⟩

Back:⟨a, b | aa=a, bbabb=abb⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: arenaWorkLimit

#Rule
1. aa ⇒ a
2. bbabb ⇒ abb
3. bbababb ⇒ ababb
4. bbabababb ⇒ abababb
5. bbababababb ⇒ ababababb
6. bbabababababb ⇒ abababababb
7. bbababababababb ⇒ ababababababb
8. bbabababababababb ⇒ abababababababb
9. bbababababababababb ⇒ ababababababababb
10. bbabababababababababb ⇒ abababababababababb
11. bbababababababababababb ⇒ ababababababababababb
12. bbabababababababababababb ⇒ abababababababababababb
13. bbababababababababababababb ⇒ ababababababababababababb
14. bbabababababababababababababb ⇒ abababababababababababababb
15. bbababababababababababababababb ⇒ ababababababababababababababb
16. bbabababababababababababababababb ⇒ abababababababababababababababb
17. bbababababababababababababababababb ⇒ ababababababababababababababababb
18. bbabababababababababababababababababb ⇒ abababababababababababababababababb
19. bbababababababababababababababababababb ⇒ ababababababababababababababababababb
20. bbabababababababababababababababababababb ⇒ abababababababababababababababababababb
21. bbababababababababababababababababababababb ⇒ ababababababababababababababababababababb
22. bbabababababababababababababababababababababb ⇒ abababababababababababababababababababababb
23. bbababababababababababababababababababababababb ⇒ ababababababababababababababababababababababb
24. bbabababababababababababababababababababababababb ⇒ abababababababababababababababababababababababb
25. bbababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababb
26. bbabababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababb
27. bbababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababb
28. bbabababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababb
29. bbababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababb
30. bbabababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababb
31. bbababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababb
32. bbabababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababb
33. bbababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababb
34. bbabababababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababababb
35. bbababababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababababb
36. bbabababababababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababababababb
37. bbababababababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababababababb
38. bbabababababababababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababababababababb
39. bbababababababababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababababababababb
40. bbabababababababababababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababababababababababb
41. bbababababababababababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababababababababababb
42. bbabababababababababababababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababababababababababababb
...

Collecting factors up to length 14, frequency 2:

Length 2:[2/0] bb, [2/1] ab
Length 3:[3/0] abb, [3/1] aba
Length 4:[4/0] abab, [4/1] baba
Length 5:[5/0] ababb, [5/1] ababa
Length 6:[6/0] ababab, [6/1] bababa
Length 7:[7/0] abababb, [7/1] abababa
Length 8:[8/0] abababab, [8/1] babababa
Length 9:[9/0] ababababb, [9/1] ababababa
Length 10:[10/0] ababababab, [10/1] bababababa
Length 11:[11/0] abababababb, [11/1] abababababa
Length 12:[12/0] abababababab, [12/1] babababababa
Length 13:[13/0] ababababababb, [13/1] ababababababa

Considering [length 3 / frequency 0] abb=c.

Step 2

Rewriting system is complete. See ⟨a, b | aa=a, bbabb=abb⟩.