| Back: | ⟨a, b | baa=abb, bbb=bb⟩ |
|---|
Solved by morph:2/0. (See Morphocompletion.)
Checking up to 80 rules for overlaps.
Rewriting system is not complete: arenaWorkLimit
| # | Rule |
|---|---|
| 1. | baa ⇒ abb |
| 2. | bbb ⇒ bb |
| 3. | bbabb ⇒ babb |
| 4. | bbababb ⇒ bababb |
| 5. | bbabababb ⇒ babababb |
| 6. | bbababababb ⇒ bababababb |
| 7. | bbabababababb ⇒ babababababb |
| 8. | bbababababababb ⇒ bababababababb |
| 9. | bbabababababababb ⇒ babababababababb |
| 10. | bbababababababababb ⇒ bababababababababb |
| 11. | bbabababababababababb ⇒ babababababababababb |
| 12. | bbababababababababababb ⇒ bababababababababababb |
| 13. | bbabababababababababababb ⇒ babababababababababababb |
| 14. | bbababababababababababababb ⇒ bababababababababababababb |
| 15. | bbabababababababababababababb ⇒ babababababababababababababb |
| 16. | bbababababababababababababababb ⇒ bababababababababababababababb |
| 17. | bbabababababababababababababababb ⇒ babababababababababababababababb |
| 18. | bbababababababababababababababababb ⇒ bababababababababababababababababb |
| 19. | bbabababababababababababababababababb ⇒ babababababababababababababababababb |
| 20. | bbababababababababababababababababababb ⇒ bababababababababababababababababababb |
| 21. | bbabababababababababababababababababababb ⇒ babababababababababababababababababababb |
| 22. | bbababababababababababababababababababababb ⇒ bababababababababababababababababababababb |
| 23. | bbabababababababababababababababababababababb ⇒ babababababababababababababababababababababb |
| 24. | bbababababababababababababababababababababababb ⇒ bababababababababababababababababababababababb |
| 25. | bbabababababababababababababababababababababababb ⇒ babababababababababababababababababababababababb |
| 26. | bbababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababb |
| 27. | bbabababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababb |
| 28. | bbababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababb |
| 29. | bbabababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababb |
| 30. | bbababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababb |
| 31. | bbabababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababb |
| 32. | bbababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababb |
| 33. | bbabababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababb |
| 34. | bbababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababb |
| 35. | bbabababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababb |
| 36. | bbababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababb |
| 37. | bbabababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababb |
| 38. | bbababababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababababb |
| 39. | bbabababababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababababb |
| 40. | bbababababababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababababababb |
| 41. | bbabababababababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababababababb |
| 42. | bbababababababababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababababababababb |
| 43. | bbabababababababababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababababababababb |
| 44. | bbababababababababababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababababababababababb |
| 45. | bbabababababababababababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababababababababababb |
| 46. | bbababababababababababababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababababababababababababb |
| 47. | bbabababababababababababababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababababababababababababb |
| 48. | bbababababababababababababababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababababababababababababababb |
| 49. | bbabababababababababababababababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababababababababababababababb |
| 50. | bbababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababababababababababababababababb |
| 51. | bbabababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababababababababababababababababb |
| 52. | bbababababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ bababababababababababababababababababababababababababababababababababababababababababababababababababb |
| 53. | bbabababababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ babababababababababababababababababababababababababababababababababababababababababababababababababababb |
| ... |
Collecting factors up to length 14, frequency 2:
| Length 2: | [2/0] bb, [2/1] ba |
|---|---|
| Length 3: | [3/0] bab, [3/1] aba |
| Length 4: | [4/0] baba, [4/1] babb |
| Length 5: | [5/0] babab, [5/1] ababa |
| Length 6: | [6/0] bababa, [6/1] bababb |
| Length 7: | [7/0] bababab, [7/1] abababa |
| Length 8: | [8/0] babababa, [8/1] babababb |
| Length 9: | [9/0] babababab, [9/1] ababababa |
| Length 10: | [10/0] bababababa, [10/1] bababababb |
| Length 11: | [11/0] bababababab, [11/1] abababababa |
| Length 12: | [12/0] babababababa, [12/1] babababababb |
| Length 13: | [13/0] babababababab, [13/1] ababababababa |
Considering [length 2 / frequency 0] bb=c.
Rewriting system is complete. See ⟨a, b | baa=abb, bbb=bb⟩.