Morphocompletion for #20133 ⟨a, b | aab=b, baba=bab⟩

Back:⟨a, b | aab=b, baba=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. aab ⇒ b
2. baba ⇒ bab
3. babba ⇒ babb
4. babbba ⇒ babbb
5. babbbba ⇒ babbbb
6. babbbbba ⇒ babbbbb
7. babbbbbba ⇒ babbbbbb
8. babbbbbbba ⇒ babbbbbbb
9. babbbbbbbba ⇒ babbbbbbbb
10. babbbbbbbbba ⇒ babbbbbbbbb
11. babbbbbbbbbba ⇒ babbbbbbbbbb
12. babbbbbbbbbbba ⇒ babbbbbbbbbbb
13. babbbbbbbbbbbba ⇒ babbbbbbbbbbbb
14. babbbbbbbbbbbbba ⇒ babbbbbbbbbbbbb
15. babbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbb
16. babbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbb
17. babbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbb
18. babbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbb
19. babbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbb
20. babbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbb
21. babbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbb
22. babbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbb
23. babbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbb
24. babbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbb
25. babbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbb
26. babbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbb
27. babbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbb
28. babbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbb
29. babbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbb
30. babbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbb
31. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
32. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
33. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
34. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
35. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
36. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
37. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
38. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
39. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
40. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
41. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
42. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
43. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
44. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
45. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
46. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
47. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
48. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
49. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
50. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
51. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
52. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
53. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
54. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
55. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
56. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
57. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
58. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
59. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
60. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
61. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
62. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
63. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
64. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
65. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
...

Collecting factors up to length 14, frequency 2:

Length 2:[2/0] ba, [2/1] bb
Length 3:[3/0] bbb, [3/1] bab
Length 4:[4/0] bbbb, [4/1] babb
Length 5:[5/0] bbbbb, [5/1] babbb
Length 6:[6/0] bbbbbb, [6/1] babbbb
Length 7:[7/0] bbbbbbb, [7/1] babbbbb
Length 8:[8/0] bbbbbbbb, [8/1] babbbbbb
Length 9:[9/0] bbbbbbbbb, [9/1] babbbbbbb
Length 10:[10/0] bbbbbbbbbb, [10/1] babbbbbbbb
Length 11:[11/0] bbbbbbbbbbb, [11/1] babbbbbbbbb
Length 12:[12/0] bbbbbbbbbbbb, [12/1] babbbbbbbbbb
Length 13:[13/0] bbbbbbbbbbbbb, [13/1] babbbbbbbbbbb

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

Step 2

Rewriting system is complete. See ⟨a, b | aab=b, baba=bab⟩.