Morphocompletion for #6342 ⟨a, b | aab=a, abbaa=a⟩

Back:⟨a, b | aab=a, abbaa=a⟩

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. aba ⇒ a
3. abba ⇒ ab
4. abbba ⇒ abb
5. abbbba ⇒ abbb
6. abbbbba ⇒ abbbb
7. abbbbbba ⇒ abbbbb
8. abbbbbbba ⇒ abbbbbb
9. abbbbbbbba ⇒ abbbbbbb
10. abbbbbbbbba ⇒ abbbbbbbb
11. abbbbbbbbbba ⇒ abbbbbbbbb
12. abbbbbbbbbbba ⇒ abbbbbbbbbb
13. abbbbbbbbbbbba ⇒ abbbbbbbbbbb
14. abbbbbbbbbbbbba ⇒ abbbbbbbbbbbb
15. abbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbb
16. abbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbb
17. abbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbb
18. abbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbb
19. abbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbb
20. abbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbb
21. abbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbb
22. abbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbb
23. abbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbb
24. abbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbb
25. abbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbb
26. abbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbb
27. abbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbb
28. abbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbb
29. abbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbb
30. abbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbb
31. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbb
32. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
33. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
34. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
35. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
36. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
37. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
38. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
39. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
40. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
41. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
42. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
43. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
44. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
45. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
46. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
47. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
48. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
49. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
50. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
51. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
52. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
53. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
54. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
55. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
56. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
57. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
58. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
59. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
60. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
61. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
62. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
63. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
64. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
65. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
66. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
...

Collecting factors up to length 14, frequency 2:

Length 2:[2/0] bb, [2/1] ab
Length 3:[3/0] bbb, [3/1] abb
Length 4:[4/0] bbbb, [4/1] abbb
Length 5:[5/0] bbbbb, [5/1] abbbb
Length 6:[6/0] bbbbbb, [6/1] abbbbb
Length 7:[7/0] bbbbbbb, [7/1] abbbbbb
Length 8:[8/0] bbbbbbbb, [8/1] abbbbbbb
Length 9:[9/0] bbbbbbbbb, [9/1] abbbbbbbb
Length 10:[10/0] bbbbbbbbbb, [10/1] abbbbbbbbb
Length 11:[11/0] bbbbbbbbbbb, [11/1] abbbbbbbbbb
Length 12:[12/0] bbbbbbbbbbbb, [12/1] abbbbbbbbbbb
Length 13:[13/0] bbbbbbbbbbbbb, [13/1] abbbbbbbbbbbb

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

Step 2

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