| Back: | ⟨a, b | aaabb=1, aabba=1⟩ |
|---|
Solved by morph:3/0. (See Morphocompletion.)
Checking up to 80 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | bba ⇒ abb |
| 2. | baaa ⇒ aaab |
| 3. | aaabb ⇒ 1 |
| 4. | aaababb ⇒ ba |
| 5. | aaabaabb ⇒ baa |
| 6. | aaabababb ⇒ baba |
| 7. | aaabaababb ⇒ baaba |
| 8. | aaababaabb ⇒ babaa |
| 9. | aaabaabaabb ⇒ baabaa |
| 10. | aaababababb ⇒ bababa |
| 11. | aaabaabababb ⇒ baababa |
| 12. | aaababaababb ⇒ babaaba |
| 13. | aaabababaabb ⇒ bababaa |
| 14. | aaabaabaababb ⇒ baabaaba |
| 15. | aaabaababaabb ⇒ baababaa |
| 16. | aaababaabaabb ⇒ babaabaa |
| 17. | aaabababababb ⇒ babababa |
| 18. | aaabaabaabaabb ⇒ baabaabaa |
| 19. | aaabaababababb ⇒ baabababa |
| 20. | aaababaabababb ⇒ babaababa |
| 21. | aaabababaababb ⇒ bababaaba |
| 22. | aaababababaabb ⇒ babababaa |
| 23. | aaabaabaabababb ⇒ baabaababa |
| 24. | aaabaababaababb ⇒ baababaaba |
| 25. | aaabaabababaabb ⇒ baabababaa |
| 26. | aaababaabaababb ⇒ babaabaaba |
| 27. | aaababaababaabb ⇒ babaababaa |
| 28. | aaabababaabaabb ⇒ bababaabaa |
| 29. | aaababababababb ⇒ bababababa |
| 30. | aaabaabaabaababb ⇒ baabaabaaba |
| 31. | aaabaabaababaabb ⇒ baabaababaa |
| 32. | aaabaababaabaabb ⇒ baababaabaa |
| 33. | aaabaabababababb ⇒ baababababa |
| 34. | aaababaabaabaabb ⇒ babaabaabaa |
| 35. | aaababaababababb ⇒ babaabababa |
| 36. | aaabababaabababb ⇒ bababaababa |
| 37. | aaababababaababb ⇒ babababaaba |
| 38. | aaabababababaabb ⇒ bababababaa |
| 39. | aaabaabaabaabaabb ⇒ baabaabaabaa |
| 40. | aaabaabaababababb ⇒ baabaabababa |
| 41. | aaabaababaabababb ⇒ baababaababa |
| 42. | aaabaabababaababb ⇒ baabababaaba |
| 43. | aaabaababababaabb ⇒ baababababaa |
| 44. | aaababaabaabababb ⇒ babaabaababa |
| 45. | aaababaababaababb ⇒ babaababaaba |
| 46. | aaababaabababaabb ⇒ babaabababaa |
| 47. | aaabababaabaababb ⇒ bababaabaaba |
| 48. | aaabababaababaabb ⇒ bababaababaa |
| 49. | aaababababaabaabb ⇒ babababaabaa |
| 50. | aaabababababababb ⇒ babababababa |
| 51. | aaabaabaabaabababb ⇒ baabaabaababa |
| 52. | aaabaabaababaababb ⇒ baabaababaaba |
| 53. | aaabaabaabababaabb ⇒ baabaabababaa |
| 54. | aaabaababaabaababb ⇒ baababaabaaba |
| 55. | aaabaababaababaabb ⇒ baababaababaa |
| 56. | aaabaabababaabaabb ⇒ baabababaabaa |
| 57. | aaabaababababababb ⇒ baabababababa |
| 58. | aaababaabaabaababb ⇒ babaabaabaaba |
| 59. | aaababaabaababaabb ⇒ babaabaababaa |
| 60. | aaababaababaabaabb ⇒ babaababaabaa |
| 61. | aaababaabababababb ⇒ babaababababa |
| 62. | aaabababaabaabaabb ⇒ bababaabaabaa |
| 63. | aaabababaababababb ⇒ bababaabababa |
| 64. | aaababababaabababb ⇒ babababaababa |
| 65. | aaabababababaababb ⇒ bababababaaba |
| 66. | aaababababababaabb ⇒ babababababaa |
| 67. | aaabaabaabaabaababb ⇒ baabaabaabaaba |
| 68. | aaabaabaabaababaabb ⇒ baabaabaababaa |
| 69. | aaabaabaababaabaabb ⇒ baabaababaabaa |
| 70. | aaabaabaabababababb ⇒ baabaababababa |
| 71. | aaabaababaabaabaabb ⇒ baababaabaabaa |
| 72. | aaabaababaababababb ⇒ baababaabababa |
| 73. | aaabaabababaabababb ⇒ baabababaababa |
| 74. | aaabaababababaababb ⇒ baababababaaba |
| 75. | aaabaabababababaabb ⇒ baabababababaa |
| 76. | aaababaabaabaabaabb ⇒ babaabaabaabaa |
| 77. | aaababaabaababababb ⇒ babaabaabababa |
| 78. | aaababaababaabababb ⇒ babaababaababa |
| ... |
Collecting factors up to length 14, frequency 2:
| Length 2: | [2/0] aa, [2/1] bb |
|---|---|
| Length 3: | [3/0] aaa, [3/1] aba |
| Length 4: | [4/0] baba, [4/1] aaab |
| Length 5: | [5/0] aaaba, [5/1] baaba |
| Length 6: | [6/0] bababa, [6/1] aaabab |
| Length 7: | [7/0] aaababa, [7/1] baababa |
| Length 8: | [8/0] aaabaaba, [8/1] baabaaba |
| Length 9: | [9/0] aaabaabab, [9/1] aaabababa |
| Length 10: | [10/0] aaabaababa, [10/1] aaababaaba |
| Length 11: | [11/0] aaabaabaaba, [11/1] aaabaababab |
| Length 12: | [12/0] aaabaabababa, [12/1] aaababaababa |
| Length 13: | [13/0] aaababaabaaba, [13/1] aaabaababaaba |
Considering [length 3 / frequency 0] aaa=c.
Rewriting system is complete. See ⟨a, b | aaabb=1, aabba=1⟩.