| Back: | ⟨a, b | aaa=1, bbabb=abb⟩ |
|---|
Solved by morph:3/0. (See Morphocompletion.)
Checking up to 80 rules for overlaps.
Rewriting system is not complete: rulesLimit
| # | Rule |
|---|---|
| 1. | aaa ⇒ 1 |
| 2. | bbbb ⇒ bb |
| 3. | bbabb ⇒ abb |
| 4. | bbaabb ⇒ aabb |
| 5. | bbababb ⇒ ababb |
| 6. | bbabaabb ⇒ abaabb |
| 7. | bbaababb ⇒ aababb |
| 8. | bbaabaabb ⇒ aabaabb |
| 9. | bbabababb ⇒ abababb |
| 10. | bbababaabb ⇒ ababaabb |
| 11. | bbabaababb ⇒ abaababb |
| 12. | bbabaabaabb ⇒ abaabaabb |
| 13. | bbaabababb ⇒ aabababb |
| 14. | bbaababaabb ⇒ aababaabb |
| 15. | bbaabaababb ⇒ aabaababb |
| 16. | bbaabaabaabb ⇒ aabaabaabb |
| 17. | bbababababb ⇒ ababababb |
| 18. | bbabababaabb ⇒ abababaabb |
| 19. | bbababaababb ⇒ ababaababb |
| 20. | bbababaabaabb ⇒ ababaabaabb |
| 21. | bbabaabababb ⇒ abaabababb |
| 22. | bbabaababaabb ⇒ abaababaabb |
| 23. | bbabaabaababb ⇒ abaabaababb |
| 24. | bbabaabaabaabb ⇒ abaabaabaabb |
| 25. | bbaababababb ⇒ aababababb |
| 26. | bbaabababaabb ⇒ aabababaabb |
| 27. | bbaababaababb ⇒ aababaababb |
| 28. | bbaababaabaabb ⇒ aababaabaabb |
| 29. | bbaabaabababb ⇒ aabaabababb |
| 30. | bbaabaababaabb ⇒ aabaababaabb |
| 31. | bbaabaabaababb ⇒ aabaabaababb |
| 32. | bbaabaabaabaabb ⇒ aabaabaabaabb |
| 33. | bbabababababb ⇒ abababababb |
| 34. | bbababababaabb ⇒ ababababaabb |
| 35. | bbabababaababb ⇒ abababaababb |
| 36. | bbabababaabaabb ⇒ abababaabaabb |
| 37. | bbababaabababb ⇒ ababaabababb |
| 38. | bbababaababaabb ⇒ ababaababaabb |
| 39. | bbababaabaababb ⇒ ababaabaababb |
| 40. | bbababaabaabaabb ⇒ ababaabaabaabb |
| 41. | bbabaababababb ⇒ abaababababb |
| 42. | bbabaabababaabb ⇒ abaabababaabb |
| 43. | bbabaababaababb ⇒ abaababaababb |
| 44. | bbabaababaabaabb ⇒ abaababaabaabb |
| 45. | bbabaabaabababb ⇒ abaabaabababb |
| 46. | bbabaabaababaabb ⇒ abaabaababaabb |
| 47. | bbabaabaabaababb ⇒ abaabaabaababb |
| 48. | bbaabababababb ⇒ aabababababb |
| 49. | bbaababababaabb ⇒ aababababaabb |
| 50. | bbaabababaababb ⇒ aabababaababb |
| 51. | bbaabababaabaabb ⇒ aabababaabaabb |
| 52. | bbaababaabababb ⇒ aababaabababb |
| 53. | bbaababaababaabb ⇒ aababaababaabb |
| 54. | bbaababaabaababb ⇒ aababaabaababb |
| 55. | bbaabaababababb ⇒ aabaababababb |
| 56. | bbaabaabababaabb ⇒ aabaabababaabb |
| 57. | bbababababababb ⇒ ababababababb |
| ... |
Collecting factors up to length 14, frequency 2:
| Length 2: | [2/0] bb, [2/1] ab |
|---|---|
| Length 3: | [3/0] abb, [3/1] aba |
| Length 4: | [4/0] aabb, [4/1] babb |
| Length 5: | [5/0] ababb, [5/1] baabb |
| Length 6: | [6/0] abaabb, [6/1] aababb |
| Length 7: | [7/0] abababb, [7/1] aabaabb |
| Length 8: | [8/0] ababaabb, [8/1] abaababb |
| Length 9: | [9/0] abaabaabb, [9/1] ababababb |
| Length 10: | [10/0] abababaabb, [10/1] abaabababb |
| Length 11: | [11/0] abaabaababb, [11/1] abaababaabb |
| Length 12: | [12/0] abaabaabaabb, [12/1] abaababababb |
| Length 13: | [13/0] abaabababaabb, [13/1] ababaabaababb |
Considering [length 3 / frequency 0] abb=c.
Rewriting system is complete. See ⟨a, b | aaa=1, bbabb=abb⟩.