Morphocompletion for #5768 ⟨a, b, c | aa=b, cbc=bc⟩

Back:⟨a, b, c | aa=b, cbc=bc⟩

Solved by morph:2/1. (See Morphocompletion.)

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: lhsLimit

#Rule
1. caac ⇒ aac
2. caaaac ⇒ aaaac
3. caaaaaac ⇒ aaaaaac
4. caaaaaaaac ⇒ aaaaaaaac
5. caaaaaaaaaac ⇒ aaaaaaaaaac
6. caaaaaaaaaaaac ⇒ aaaaaaaaaaaac
7. caaaaaaaaaaaaaac ⇒ aaaaaaaaaaaaaac
8. caaaaaaaaaaaaaaaac ⇒ aaaaaaaaaaaaaaaac
9. caaaaaaaaaaaaaaaaaac ⇒ aaaaaaaaaaaaaaaaaac
10. caaaaaaaaaaaaaaaaaaaac ⇒ aaaaaaaaaaaaaaaaaaaac
11. caaaaaaaaaaaaaaaaaaaaaac ⇒ aaaaaaaaaaaaaaaaaaaaaac
12. caaaaaaaaaaaaaaaaaaaaaaaac ⇒ aaaaaaaaaaaaaaaaaaaaaaaac
13. caaaaaaaaaaaaaaaaaaaaaaaaaac ⇒ aaaaaaaaaaaaaaaaaaaaaaaaaac
14. b ⇒ aa
...

Collecting factors up to length 4 / frequency 7:

[2/0]aa169lf:169,rf:170,rp:14,rs:1,re:1
[2/1]ac26lf:13,ls:13,rf:13,rs:13,lsrs:13,a:1
[2/2]ca26lf:13,lp:13,a:1
[3/0]aaa156lf:156,rf:156,rp:12,a:2
[3/1]aac26lf:13,ls:13,rf:13,rp:1,rs:13,re:1,lsrp:1,lsrs:13,a:1
[3/2]caa26lf:13,lp:13,a:1

Considering [length 2 / frequency 1] ac=d.

Step 2

Rewriting system is complete. See ⟨a, b, c | aa=b, cbc=bc⟩.