Morphocompletion for #12637 ⟨a, b | babb=ba, bbbb=b⟩

Back:⟨a, b | babb=ba, bbbb=b⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: arenaWorkLimit

#Rule
1. bab ⇒ ba
2. baab ⇒ baa
3. bbbb ⇒ b
4. baaab ⇒ baaa
5. baaaab ⇒ baaaa
6. baaaaab ⇒ baaaaa
7. baaaaaab ⇒ baaaaaa
8. baaaaaaab ⇒ baaaaaaa
9. baaaaaaaab ⇒ baaaaaaaa
10. baaaaaaaaab ⇒ baaaaaaaaa
11. baaaaaaaaaab ⇒ baaaaaaaaaa
12. baaaaaaaaaaab ⇒ baaaaaaaaaaa
13. baaaaaaaaaaaab ⇒ baaaaaaaaaaaa
14. baaaaaaaaaaaaab ⇒ baaaaaaaaaaaaa
15. baaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaa
16. baaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaa
17. baaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaa
18. baaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaa
19. baaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaa
20. baaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaa
21. baaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaa
22. baaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaa
23. baaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaa
24. baaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaa
25. baaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaa
26. baaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaa
27. baaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaa
28. baaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaa
29. baaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaa
30. baaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaa
31. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
32. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
33. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
34. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
35. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
36. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
37. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
38. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
39. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
40. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
41. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
42. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
43. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
44. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
45. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
46. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
47. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
48. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
49. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
50. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
51. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
52. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
53. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
54. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
55. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
56. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
57. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
58. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
59. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
60. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
61. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
62. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
63. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
64. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
65. baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab ⇒ baaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
...

Collecting factors up to length 14, frequency 2:

Length 2:[2/0] aa, [2/1] ba
Length 3:[3/0] aaa, [3/1] baa
Length 4:[4/0] aaaa, [4/1] baaa
Length 5:[5/0] aaaaa, [5/1] baaaa
Length 6:[6/0] aaaaaa, [6/1] baaaaa
Length 7:[7/0] aaaaaaa, [7/1] baaaaaa
Length 8:[8/0] aaaaaaaa, [8/1] baaaaaaa
Length 9:[9/0] aaaaaaaaa, [9/1] baaaaaaaa
Length 10:[10/0] aaaaaaaaaa, [10/1] baaaaaaaaa
Length 11:[11/0] aaaaaaaaaaa, [11/1] baaaaaaaaaa
Length 12:[12/0] aaaaaaaaaaaa, [12/1] baaaaaaaaaaa
Length 13:[13/0] aaaaaaaaaaaaa, [13/1] baaaaaaaaaaaa

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

Step 2

Rewriting system is complete. See ⟨a, b | babb=ba, bbbb=b⟩.