Morphocompletion for #6624 ⟨a, b | aab=a, abba=ba⟩

Back:⟨a, b | aab=a, abba=ba⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: arenaWorkLimit

#Rule
1. aab ⇒ a
2. abba ⇒ ba
3. abbba ⇒ bba
4. abbbba ⇒ bbba
5. abbbbba ⇒ bbbba
6. abbbbbba ⇒ bbbbba
7. abbbbbbba ⇒ bbbbbba
8. abbbbbbbba ⇒ bbbbbbba
9. abbbbbbbbba ⇒ bbbbbbbba
10. abbbbbbbbbba ⇒ bbbbbbbbba
11. abbbbbbbbbbba ⇒ bbbbbbbbbba
12. abbbbbbbbbbbba ⇒ bbbbbbbbbbba
13. abbbbbbbbbbbbba ⇒ bbbbbbbbbbbba
14. abbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbba
15. abbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbba
16. abbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbba
17. abbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbba
18. abbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbba
19. abbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbba
20. abbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbba
21. abbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbba
22. abbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbba
23. abbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbba
24. abbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbba
25. abbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbba
26. abbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbba
27. abbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbba
28. abbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbba
29. abbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbba
30. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbba
31. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
32. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
33. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
34. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
35. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
36. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
37. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
38. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
39. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
40. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
41. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
42. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
43. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
44. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
45. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
46. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
47. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
48. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
49. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
50. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
51. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
52. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
53. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
54. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
55. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
56. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
57. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
58. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
59. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
60. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
61. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
62. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
63. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
64. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
65. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
...

Collecting factors up to length 14 / frequency 2:

[2/0]bb4159lf:2080,rf:2016,rp:63,a:1
[2/1]ba1258lf:64,ls:64,rf:64,rp:1,rs:64,re:1,lsrp:1,lsrs:64,a:1
[3/0]bbb4031lf:2016,rf:1953,rp:62,a:2
[3/1]bba1256lf:64,ls:64,rf:63,rp:1,rs:63,re:1,lsrp:1,lsrs:63,a:1
[4/0]bbbb3905lf:1953,rf:1891,rp:61,a:3
[4/1]bbba1252lf:63,ls:63,rf:62,rp:1,rs:62,re:1,lsrp:1,lsrs:62,a:2
[5/0]bbbbb3781lf:1891,rf:1830,rp:60,a:4
[5/1]bbbba1248lf:62,ls:62,rf:61,rp:1,rs:61,re:1,lsrp:1,lsrs:61,a:3
[6/0]bbbbbb3659lf:1830,rf:1770,rp:59,a:5
[6/1]bbbbba1244lf:61,ls:61,rf:60,rp:1,rs:60,re:1,lsrp:1,lsrs:60,a:4
[7/0]bbbbbbb3539lf:1770,rf:1711,rp:58,a:6
[7/1]bbbbbba1240lf:60,ls:60,rf:59,rp:1,rs:59,re:1,lsrp:1,lsrs:59,a:5
[8/0]bbbbbbbb3421lf:1711,rf:1653,rp:57,a:7
[8/1]bbbbbbba1236lf:59,ls:59,rf:58,rp:1,rs:58,re:1,lsrp:1,lsrs:58,a:6
[9/0]bbbbbbbbb3305lf:1653,rf:1596,rp:56,a:8
[9/1]bbbbbbbba1232lf:58,ls:58,rf:57,rp:1,rs:57,re:1,lsrp:1,lsrs:57,a:7
[10/0]bbbbbbbbbb3191lf:1596,rf:1540,rp:55,a:9
[10/1]bbbbbbbbba1228lf:57,ls:57,rf:56,rp:1,rs:56,re:1,lsrp:1,lsrs:56,a:8
[11/0]bbbbbbbbbbb3079lf:1540,rf:1485,rp:54,a:10
[11/1]bbbbbbbbbba1224lf:56,ls:56,rf:55,rp:1,rs:55,re:1,lsrp:1,lsrs:55,a:9
[12/0]bbbbbbbbbbbb2969lf:1485,rf:1431,rp:53,a:11
[12/1]bbbbbbbbbbba1220lf:55,ls:55,rf:54,rp:1,rs:54,re:1,lsrp:1,lsrs:54,a:10
[13/0]bbbbbbbbbbbbb2861lf:1431,rf:1378,rp:52,a:12
[13/1]bbbbbbbbbbbba1216lf:54,ls:54,rf:53,rp:1,rs:53,re:1,lsrp:1,lsrs:53,a:11

Considering [length 3 / frequency 1] bba=c.

Step 2

Rewriting system is complete. See ⟨a, b | aab=a, abba=ba⟩.