| Back: | ⟨a, b | ababbaba=aab⟩ |
|---|
Solved by morph:2/0. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: arenaTotalLimit
| # | Rule |
|---|---|
| 1. | ababbaba ⇒ aab |
| 2. | ababbaab ⇒ aabbbaba |
| 3. | aabbabbaba ⇒ aabab |
| 4. | aabbabbaab ⇒ aababbbaba |
| 5. | aababbabbaba ⇒ aababab |
| 6. | aababbabbaab ⇒ aabababbbaba |
| 7. | aabbbabaabbaba ⇒ ababbaaab |
| 8. | aabababbabbaba ⇒ aabababab |
| 9. | aabbbabaabbaab ⇒ ababbaaabbbaba |
| 10. | aabababbabbaab ⇒ aababababbbaba |
| 11. | aababbbabaabbaba ⇒ aabbabbaaab |
| 12. | aababababbabbaba ⇒ aababababab |
| 13. | aababbbabaabbaab ⇒ aabbabbaaabbbaba |
| 14. | aababababbabbaab ⇒ aabababababbbaba |
| 15. | aabababbbabaabbaba ⇒ aababbabbaaab |
| 16. | aabababababbabbaba ⇒ aabababababab |
| 17. | aabababbbabaabbaab ⇒ aababbabbaaabbbaba |
| 18. | aabababababbabbaab ⇒ aababababababbbaba |
| 19. | aababababbbabaabbaba ⇒ aabababbabbaaab |
| 20. | aababababababbabbaba ⇒ aababababababab |
| ... |
Collecting factors up to length 8 / frequency 7:
| [2/0] | ab | 112 | lf:101,lp:2,ls:9,rf:83,rp:2,rs:11,lsrp:1,lprs:1 |
|---|---|---|---|
| [2/1] | ba | 103 | lf:92,ls:11,rf:72,rs:9 |
| [2/2] | aa | 52 | lf:34,lp:18,rf:32,rp:18,lprp:16 |
| [2/3] | bb | 45 | lf:45,rf:30 |
| [3/0] | aba | 67 | lf:54,lp:2,ls:11,rf:51,rp:2,rs:9,lsrp:1,lprs:1 |
| [3/1] | bab | 65 | lf:65,rf:56,rs:6 |
| [3/2] | aab | 61 | lf:34,lp:18,ls:9,rf:25,rp:18,rs:5,re:1,lprp:16,lsrp:8,lprs:4 |
| [3/3] | abb | 38 | lf:38,rf:21 |
| [3/4] | bba | 38 | lf:38,rf:21 |
| [3/5] | baa | 16 | lf:16,rf:7,a:1 |
| [3/6] | bbb | 7 | lf:7,rf:9,a:1 |
| [4/0] | baba | 49 | lf:38,ls:11,rf:35,rs:9 |
| [4/1] | abab | 38 | lf:36,lp:2,rf:42,rp:2,rs:6 |
| [4/2] | abba | 31 | lf:31,rf:12 |
| [4/3] | bbab | 29 | lf:29,rf:14 |
| [4/4] | aaba | 28 | lf:14,lp:14,rf:14,rp:14,lprp:12,a:2 |
| [4/5] | babb | 27 | lf:27,rf:15 |
| [4/6] | baab | 25 | lf:16,ls:9,a:1 |
| [5/0] | bbaba | 29 | lf:18,ls:11,rf:9,rs:9 |
| [5/1] | aabab | 28 | lf:14,lp:14,rf:14,rp:14,rs:1,re:1,lprp:12,a:2 |
| [5/2] | abbab | 22 | lf:22,rf:5 |
| [5/3] | babba | 22 | lf:22,rf:10 |
| [5/4] | ababa | 20 | lf:20,rf:26,a:3 |
| [5/5] | babab | 20 | lf:20,rf:26,rs:5,a:3 |
| [5/6] | ababb | 18 | lf:16,lp:2,rf:10,rp:2 |
| [6/0] | abbaba | 22 | lf:11,ls:11 |
| [6/1] | aababa | 20 | lf:10,lp:10,rf:10,rp:10,lprp:8,a:3 |
| [6/2] | ababab | 20 | lf:20,rf:26,rs:5,a:3 |
| [6/3] | abbaab | 18 | lf:9,ls:9,a:1 |
| [6/4] | babbab | 16 | lf:16,rf:3 |
| [6/5] | ababba | 13 | lf:11,lp:2,rf:5,rp:2 |
| [6/6] | abbabb | 11 | lf:11,rf:5,a:2 |
| [7/0] | aababab | 20 | lf:10,lp:10,rf:10,rp:10,rs:1,re:1,lprp:8,a:3 |
| [7/1] | babbaba | 14 | lf:7,ls:7 |
| [7/2] | babbaab | 12 | lf:6,ls:6,a:1 |
| [7/3] | ababbab | 11 | lf:10,lp:1,rf:3 |
| [7/4] | abbabba | 11 | lf:11,rf:5,a:2 |
| [7/5] | abababa | 10 | lf:10,rf:16,a:5 |
| [7/6] | abababb | 10 | lf:10,rf:5,a:5 |
Considering [length 2 / frequency 0] ab=c.
Rewriting system is complete. See ⟨a, b | ababbaba=aab⟩.