Morphocompletion for #995 ⟨a, b | abbaaab=ba⟩

Solved by morph:4/2,2/4. (See Morphocompletion.)

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#	Rule
1.	abbaaab ⇒ ba
2.	babaaab ⇒ abbaaba
3.	abbaaaabbaaba ⇒ baabaaab
4.	baabaaabbbaaab ⇒ abbaaaabbaabba
5.	babaaaabbaaba ⇒ abbaabaabaaab
6.	baaabaaabbbaaabaab ⇒ abbaaaabbaaaabbaba
7.	ababbaaaabbaaaabbaba ⇒ baaaabbbaaabaab
8.	abbaaaabbaaaabbaabba ⇒ baaabaaabbbaaab
9.	abbaaaababbaaaabbaabba ⇒ baabaaabaabbbaaab
	...

Collecting factors up to length 7 / frequency 4:

Considering [length 4 / frequency 2] baaa=c.

Checking up to 20 rules for overlaps.

Auxiliary generators:
1. c = baaa
Reduction order:
- Left-to-right recursive path with deg(c) = 0; deg(b) = 1; deg(a) = 2

Rewriting system is not complete: lhsLimit

#	Rule
1.	ca ⇒ abcc
2.	ba ⇒ abcb
3.	aaabcbbccbcbbcbbccbccbcbbccbcbbcbbccbcbbcbbccbccbcbbccbcb ⇒ bc
4.	abcabcabcb ⇒ c
	...

Collecting factors up to length 6 / frequency 7:

Considering [length 2 / frequency 4] ab=d.

Auxiliary generators:
1. c = baaa
2. d = ab
Reduction order:
- Left-to-right recursive path with deg(c) = deg(d) = 0, c < d; deg(b) = 1; deg(a) = 2

Rewriting system is complete. See ⟨a, b | abbaaab=ba⟩.