Morphocompletion for #25678 ⟨a, b | aa=a, abba=abab⟩

Back:⟨a, b | aa=a, abba=abab⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: arenaWorkLimit

#Rule
1. aa ⇒ a
2. abba ⇒ abab
3. ababa ⇒ abab
4. ababbba ⇒ ababbb
5. ababbbba ⇒ ababbbb
6. ababbbbba ⇒ ababbbbb
7. ababbbbbba ⇒ ababbbbbb
8. ababbbbbbba ⇒ ababbbbbbb
9. ababbbbbbbba ⇒ ababbbbbbbb
10. ababbbbbbbbba ⇒ ababbbbbbbbb
11. ababbbbbbbbbba ⇒ ababbbbbbbbbb
12. ababbbbbbbbbbba ⇒ ababbbbbbbbbbb
13. ababbbbbbbbbbbba ⇒ ababbbbbbbbbbbb
14. ababbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbb
15. ababbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbb
16. ababbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbb
17. ababbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbb
18. ababbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbb
19. ababbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbb
20. ababbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbb
21. ababbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbb
22. ababbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbb
23. ababbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbb
24. ababbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbb
25. ababbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbb
26. ababbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbb
27. ababbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbb
28. ababbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbb
29. ababbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbb
30. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbb
31. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
32. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
33. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
34. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
35. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
36. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
37. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
38. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
39. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
40. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
41. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
42. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
43. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
44. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
45. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
46. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
47. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
48. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
49. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
50. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
51. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
52. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
53. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
54. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
55. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
56. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
57. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
58. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
59. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
60. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
61. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
62. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
63. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
64. ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
...

Collecting factors up to length 14 / frequency 2:

[2/0]bb3966lf:1953,rf:1952,rs:61,a:1
[2/1]ab2379lf:125,lp:63,rf:126,rp:63,rs:2,lprp:63,lprs:2,a:1
[3/0]bbb3843lf:1891,rf:1891,rs:61,a:3
[3/1]aba1252lf:63,lp:62,ls:1,rf:63,rp:63,lprp:62,lsrp:1,a:1
[4/0]bbbb3720lf:1830,rf:1830,rs:60,a:4
[4/1]abab1254lf:62,lp:62,rf:63,rp:63,rs:2,re:2,lprp:62,lprs:1,a:1
[5/0]bbbbb3599lf:1770,rf:1770,rs:59,a:4
[5/1]ababb244lf:61,lp:61,rf:61,rp:61,lprp:61,a:3
[6/0]bbbbbb3480lf:1711,rf:1711,rs:58,a:6
[6/1]ababbb1246lf:61,lp:61,rf:61,rp:61,rs:1,re:1,lprp:61,lprs:1,a:3
[7/0]bbbbbbb3363lf:1653,rf:1653,rs:57,a:6
[7/1]ababbbb1242lf:60,lp:60,rf:60,rp:60,rs:1,re:1,lprp:60,lprs:1,a:4
[8/0]bbbbbbbb3248lf:1596,rf:1596,rs:56,a:8
[8/1]ababbbbb1238lf:59,lp:59,rf:59,rp:59,rs:1,re:1,lprp:59,lprs:1,a:4
[9/0]bbbbbbbbb3135lf:1540,rf:1540,rs:55,a:9
[9/1]ababbbbbb1234lf:58,lp:58,rf:58,rp:58,rs:1,re:1,lprp:58,lprs:1,a:6
[10/0]bbbbbbbbbb3024lf:1485,rf:1485,rs:54,a:10
[10/1]ababbbbbbb1230lf:57,lp:57,rf:57,rp:57,rs:1,re:1,lprp:57,lprs:1,a:6
[11/0]bbbbbbbbbbb2915lf:1431,rf:1431,rs:53,a:10
[11/1]ababbbbbbbb1226lf:56,lp:56,rf:56,rp:56,rs:1,re:1,lprp:56,lprs:1,a:8
[12/0]bbbbbbbbbbbb2808lf:1378,rf:1378,rs:52,a:12
[12/1]ababbbbbbbbb1222lf:55,lp:55,rf:55,rp:55,rs:1,re:1,lprp:55,lprs:1,a:9
[13/0]bbbbbbbbbbbbb2703lf:1326,rf:1326,rs:51,a:13
[13/1]ababbbbbbbbbb1218lf:54,lp:54,rf:54,rp:54,rs:1,re:1,lprp:54,lprs:1,a:10

Considering [length 2 / frequency 1] ab=c.

Step 2

Rewriting system is complete. See ⟨a, b | aa=a, abba=abab⟩.