Morphocompletion for #19811 ⟨a, b | aaa=a, abab=bab⟩

Back:⟨a, b | aaa=a, abab=bab⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: arenaWorkLimit

#Rule
1. aaa ⇒ a
2. abab ⇒ bab
3. abbab ⇒ bbab
4. abbbab ⇒ bbbab
5. abbbbab ⇒ bbbbab
6. abbbbbab ⇒ bbbbbab
7. abbbbbbab ⇒ bbbbbbab
8. abbbbbbbab ⇒ bbbbbbbab
9. abbbbbbbbab ⇒ bbbbbbbbab
10. abbbbbbbbbab ⇒ bbbbbbbbbab
11. abbbbbbbbbbab ⇒ bbbbbbbbbbab
12. abbbbbbbbbbbab ⇒ bbbbbbbbbbbab
13. abbbbbbbbbbbbab ⇒ bbbbbbbbbbbbab
14. abbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbab
15. abbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbab
16. abbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbab
17. abbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbab
18. abbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbab
19. abbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbab
20. abbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbab
21. abbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbab
22. abbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbab
23. abbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbab
24. abbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbab
25. abbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbab
26. abbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbab
27. abbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbab
28. abbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbab
29. abbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbab
30. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
31. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
32. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
33. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
34. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
35. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
36. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
37. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
38. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
39. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
40. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
41. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
42. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
43. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
44. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
45. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
46. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
47. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
48. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
49. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
50. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
51. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
52. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
53. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
54. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
55. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
56. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
57. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
58. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
59. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
60. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
61. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
62. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
63. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
64. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
65. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab
...

Collecting factors up to length 14, frequency 2:

Length 2:[2/0] ab, [2/1] bb
Length 3:[3/0] bbb, [3/1] bab
Length 4:[4/0] bbbb, [4/1] bbab
Length 5:[5/0] bbbbb, [5/1] bbbab
Length 6:[6/0] bbbbbb, [6/1] bbbbab
Length 7:[7/0] bbbbbbb, [7/1] bbbbbab
Length 8:[8/0] bbbbbbbb, [8/1] bbbbbbab
Length 9:[9/0] bbbbbbbbb, [9/1] bbbbbbbab
Length 10:[10/0] bbbbbbbbbb, [10/1] bbbbbbbbab
Length 11:[11/0] bbbbbbbbbbb, [11/1] bbbbbbbbbab
Length 12:[12/0] bbbbbbbbbbbb, [12/1] bbbbbbbbbbab
Length 13:[13/0] bbbbbbbbbbbbb, [13/1] bbbbbbbbbbbab

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

Step 2

Rewriting system is complete. See ⟨a, b | aaa=a, abab=bab⟩.