| 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:
| [2/0] | bb | 53316 | lf:104,lp:52,ls:52,rf:53,rp:1,rs:53,re:1,lprp:1,lsrp:1,lprs:52,lsrs:52 |
|---|---|---|---|
| [2/1] | ba | 2705 | lf:1327,lp:1,rf:1326,rp:51 |
| [3/0] | bab | 2703 | lf:1326,rf:1326,rp:51,a:2 |
| [3/1] | aba | 2550 | lf:1275,rf:1275,a:3 |
| [4/0] | baba | 2600 | lf:1275,rf:1275,rp:50,a:3 |
| [4/1] | abab | 2550 | lf:1275,rf:1275,a:3 |
| [5/0] | babab | 2600 | lf:1275,rf:1275,rp:50,a:3 |
| [5/1] | ababa | 2450 | lf:1225,rf:1225,a:4 |
| [6/0] | bababa | 2499 | lf:1225,rf:1225,rp:49,a:4 |
| [6/1] | ababab | 2450 | lf:1225,rf:1225,a:4 |
| [7/0] | bababab | 2499 | lf:1225,rf:1225,rp:49,a:4 |
| [7/1] | abababa | 2352 | lf:1176,rf:1176,a:5 |
| [8/0] | babababa | 2400 | lf:1176,rf:1176,rp:48,a:5 |
| [8/1] | abababab | 2352 | lf:1176,rf:1176,a:5 |
| [9/0] | babababab | 2400 | lf:1176,rf:1176,rp:48,a:5 |
| [9/1] | ababababa | 2256 | lf:1128,rf:1128,a:6 |
| [10/0] | bababababa | 2303 | lf:1128,rf:1128,rp:47,a:6 |
| [10/1] | ababababab | 2256 | lf:1128,rf:1128,a:6 |
| [11/0] | bababababab | 2303 | lf:1128,rf:1128,rp:47,a:6 |
| [11/1] | abababababa | 2162 | lf:1081,rf:1081,a:7 |
| [12/0] | babababababa | 2208 | lf:1081,rf:1081,rp:46,a:7 |
| [12/1] | abababababab | 2162 | lf:1081,rf:1081,a:7 |
| [13/0] | babababababab | 2208 | lf:1081,rf:1081,rp:46,a:7 |
| [13/1] | ababababababa | 2070 | lf:1035,rf:1035,a:8 |
Considering [length 2 / frequency 0] bb=c.
Rewriting system is complete. See ⟨a, b | baa=abb, bbb=bb⟩.