Morphocompletion for #4084 ⟨a, b | baa=aab, abab=1⟩

Back:⟨a, b | baa=aab, abab=1⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aab ⇒ baa
2. baba ⇒ 1
3. abab ⇒ 1
4. babbaa ⇒ ab
5. abbab ⇒ babba
6. babbbaa ⇒ abb
7. abbbab ⇒ babbba
8. babbbbaa ⇒ abbb
9. abbbbab ⇒ babbbba
10. babbbbbaa ⇒ abbbb
11. abbbbbab ⇒ babbbbba
12. babbbbbbaa ⇒ abbbbb
13. abbbbbbab ⇒ babbbbbba
14. babbbbbbbaa ⇒ abbbbbb
15. abbbbbbbab ⇒ babbbbbbba
16. babbbbbbbbaa ⇒ abbbbbbb
17. abbbbbbbbab ⇒ babbbbbbbba
18. babbbbbbbbbaa ⇒ abbbbbbbb
19. abbbbbbbbbab ⇒ babbbbbbbbba
20. babbbbbbbbbbaa ⇒ abbbbbbbbb
21. abbbbbbbbbbab ⇒ babbbbbbbbbba
22. babbbbbbbbbbbaa ⇒ abbbbbbbbbb
23. abbbbbbbbbbbab ⇒ babbbbbbbbbbba
24. babbbbbbbbbbbbaa ⇒ abbbbbbbbbbb
25. abbbbbbbbbbbbab ⇒ babbbbbbbbbbbba
26. babbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbb
27. abbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbba
28. babbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbb
29. abbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbba
30. babbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbb
31. abbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbba
32. babbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbb
33. abbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbba
34. babbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbb
35. abbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbba
36. babbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbb
37. abbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbba
38. babbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbb
39. abbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbba
40. babbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbb
41. abbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbba
42. babbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbb
43. abbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbba
44. babbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbb
45. abbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbba
46. babbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbb
47. abbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbba
48. babbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbb
49. abbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbba
50. babbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbb
51. abbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbba
52. babbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbb
53. abbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbba
54. babbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbb
55. abbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbba
56. babbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbb
57. abbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbba
58. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbb
59. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbba
60. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbb
61. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
62. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
63. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
64. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
65. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
66. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
67. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
68. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
69. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
70. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
71. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
72. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
73. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
74. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
75. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
76. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
77. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
78. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
79. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
...

Collecting factors up to length 14 / frequency 2:

[2/0]aa10082lf:40,lp:1,ls:39,rf:1,rs:1,lprs:10
[2/1]bb2965lf:1483,rf:1444,rs:38,a:3
[3/0]bab37230lf:78,lp:40,ls:38,rf:37,rp:37,lsrp:37,a:1
[3/1]bbb2813lf:1407,rf:1369,rs:37,a:4
[4/0]abba10005lf:2,lp:1,rf:1,rs:1,lprs:10,a:3
[4/1]bbbb2665lf:1333,rf:1296,rs:36,a:6
[5/0]abbba10005lf:2,lp:1,rf:1,rs:1,lprs:10,a:4
[5/1]bbbbb2521lf:1261,rf:1225,rs:35,a:9
[6/0]abbbba10005lf:2,lp:1,rf:1,rs:1,lprs:10,a:6
[6/1]bbbbbb2381lf:1191,rf:1156,rs:34,a:13
[7/0]abbbbba10005lf:2,lp:1,rf:1,rs:1,lprs:10,a:9
[7/1]bbbbbbb2245lf:1123,rf:1089,rs:33,a:18
[8/0]abbbbbba10005lf:2,lp:1,rf:1,rs:1,lprs:10,a:13
[8/1]bbbbbbbb2113lf:1057,rf:1024,rs:32,a:24
[9/0]abbbbbbba10005lf:2,lp:1,rf:1,rs:1,lprs:10,a:18
[9/1]bbbbbbbbb1985lf:993,rf:961,rs:31,a:31
[10/0]abbbbbbbba10005lf:2,lp:1,rf:1,rs:1,lprs:10,a:24
[10/1]bbbbbbbbbb1861lf:931,rf:900,rs:30,a:39
[11/0]abbbbbbbbba10005lf:2,lp:1,rf:1,rs:1,lprs:10,a:31
[11/1]bbbbbbbbbbb1741lf:871,rf:841,rs:29,a:48
[12/0]abbbbbbbbbba10005lf:2,lp:1,rf:1,rs:1,lprs:10,a:39
[12/1]bbbbbbbbbbbb1625lf:813,rf:784,rs:28,a:58
[13/0]abbbbbbbbbbba10005lf:2,lp:1,rf:1,rs:1,lprs:10,a:48
[13/1]bbbbbbbbbbbbb1513lf:757,rf:729,rs:27,a:69

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

Step 2

Rewriting system is complete. See ⟨a, b | baa=aab, abab=1⟩.