| Back: | ⟨a, b | aba=aab, baa=ba⟩ |
|---|
Solved by morph:2/0. (See Morphocompletion.)
Checking up to 80 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | aba ⇒ aab |
| 2. | baa ⇒ ba |
| 3. | aaab ⇒ aab |
| 4. | aabba ⇒ aabb |
| 5. | babba ⇒ babb |
| 6. | aabbba ⇒ aabbb |
| 7. | babbba ⇒ babbb |
| 8. | aabbbba ⇒ aabbbb |
| 9. | babbbba ⇒ babbbb |
| 10. | aabbbbba ⇒ aabbbbb |
| 11. | babbbbba ⇒ babbbbb |
| 12. | aabbbbbba ⇒ aabbbbbb |
| 13. | babbbbbba ⇒ babbbbbb |
| 14. | aabbbbbbba ⇒ aabbbbbbb |
| 15. | babbbbbbba ⇒ babbbbbbb |
| 16. | aabbbbbbbba ⇒ aabbbbbbbb |
| 17. | babbbbbbbba ⇒ babbbbbbbb |
| 18. | aabbbbbbbbba ⇒ aabbbbbbbbb |
| 19. | babbbbbbbbba ⇒ babbbbbbbbb |
| 20. | aabbbbbbbbbba ⇒ aabbbbbbbbbb |
| 21. | babbbbbbbbbba ⇒ babbbbbbbbbb |
| 22. | aabbbbbbbbbbba ⇒ aabbbbbbbbbbb |
| 23. | babbbbbbbbbbba ⇒ babbbbbbbbbbb |
| 24. | aabbbbbbbbbbbba ⇒ aabbbbbbbbbbbb |
| 25. | babbbbbbbbbbbba ⇒ babbbbbbbbbbbb |
| 26. | aabbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbb |
| 27. | babbbbbbbbbbbbba ⇒ babbbbbbbbbbbbb |
| 28. | aabbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbb |
| 29. | babbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbb |
| 30. | aabbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbb |
| 31. | babbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbb |
| 32. | aabbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbb |
| 33. | babbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbb |
| 34. | aabbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbb |
| 35. | babbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbb |
| 36. | aabbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbb |
| 37. | babbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbb |
| 38. | aabbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbb |
| 39. | babbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbb |
| 40. | aabbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbb |
| 41. | babbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbb |
| 42. | aabbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbb |
| 43. | babbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbb |
| 44. | aabbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbb |
| 45. | babbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbb |
| 46. | aabbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbb |
| 47. | babbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbb |
| 48. | aabbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbb |
| 49. | babbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbb |
| 50. | aabbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbb |
| 51. | babbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbb |
| 52. | aabbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbb |
| 53. | babbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbb |
| 54. | aabbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 55. | babbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 56. | aabbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 57. | babbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 58. | aabbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 59. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 60. | aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 61. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 62. | aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 63. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 64. | aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 65. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 66. | aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 67. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 68. | aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 69. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 70. | aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 71. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 72. | aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 73. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 74. | aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 75. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 76. | aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 77. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 78. | aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 79. | babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| 80. | aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| ... |
Collecting factors up to length 14, frequency 2:
| Length 2: | [2/0] ba, [2/1] ab |
|---|---|
| Length 3: | [3/0] bbb, [3/1] aab |
| Length 4: | [4/0] bbbb, [4/1] aabb |
| Length 5: | [5/0] bbbbb, [5/1] aabbb |
| Length 6: | [6/0] bbbbbb, [6/1] aabbbb |
| Length 7: | [7/0] bbbbbbb, [7/1] aabbbbb |
| Length 8: | [8/0] bbbbbbbb, [8/1] aabbbbbb |
| Length 9: | [9/0] bbbbbbbbb, [9/1] aabbbbbbb |
| Length 10: | [10/0] bbbbbbbbbb, [10/1] aabbbbbbbb |
| Length 11: | [11/0] bbbbbbbbbbb, [11/1] aabbbbbbbbb |
| Length 12: | [12/0] bbbbbbbbbbbb, [12/1] aabbbbbbbbbb |
| Length 13: | [13/0] bbbbbbbbbbbbb, [13/1] aabbbbbbbbbbb |
Considering [length 2 / frequency 0] ba=c.
Rewriting system is complete. See ⟨a, b | aba=aab, baa=ba⟩.