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. bbabb ⇒ abb
2. aa ⇒ a
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:

[2/0]bb41246lf:82,lp:41,ls:41,rf:41,rs:41,lprs:41,lsrs:41,a:1
[2/1]ab1763lf:861,rf:861,rp:41,a:1
[3/0]bab1681lf:861,rf:820,a:1
[3/1]aba1680lf:820,rf:820,rp:40,a:2
[4/0]abab1680lf:820,rf:820,rp:40,a:2
[4/1]baba1600lf:820,rf:780,a:2
[5/0]babab1600lf:820,rf:780,a:2
[5/1]ababa1599lf:780,rf:780,rp:39,a:3
[6/0]ababab1599lf:780,rf:780,rp:39,a:3
[6/1]bababa1521lf:780,rf:741,a:3
[7/0]bababab1521lf:780,rf:741,a:3
[7/1]abababa1520lf:741,rf:741,rp:38,a:4
[8/0]abababab1520lf:741,rf:741,rp:38,a:4
[8/1]babababa1444lf:741,rf:703,a:4
[9/0]babababab1444lf:741,rf:703,a:4
[9/1]ababababa1443lf:703,rf:703,rp:37,a:5
[10/0]ababababab1443lf:703,rf:703,rp:37,a:5
[10/1]bababababa1369lf:703,rf:666,a:5
[11/0]bababababab1369lf:703,rf:666,a:5
[11/1]abababababa1368lf:666,rf:666,rp:36,a:6
[12/0]abababababab1368lf:666,rf:666,rp:36,a:6
[12/1]babababababa1296lf:666,rf:630,a:6
[13/0]babababababab1296lf:666,rf:630,a:6
[13/1]ababababababa1295lf:630,rf:630,rp:35,a:7

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

Step 2

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