Morphocompletion for #5760 ⟨a, b, c | aa=b, cac=ac⟩

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

Step 1

Checking up to 20 rules for overlaps.

Reduction order:
- Left-to-right recursive path with deg(c) = deg(a) = 0, c < a; deg(b) = 1

Rewriting system is not complete: roundsLimit

#	Rule
1.	cac ⇒ ac
2.	caac ⇒ aac
3.	caaac ⇒ aaac
4.	caaaac ⇒ aaaac
5.	caaaaac ⇒ aaaaac
6.	caaaaaac ⇒ aaaaaac
7.	caaaaaaac ⇒ aaaaaaac
8.	caaaaaaaac ⇒ aaaaaaaac
9.	caaaaaaaaac ⇒ aaaaaaaaac
10.	caaaaaaaaaac ⇒ aaaaaaaaaac
11.	caaaaaaaaaaac ⇒ aaaaaaaaaaac
12.	caaaaaaaaaaaac ⇒ aaaaaaaaaaaac
13.	caaaaaaaaaaaaac ⇒ aaaaaaaaaaaaac
14.	caaaaaaaaaaaaaac ⇒ aaaaaaaaaaaaaac
15.	caaaaaaaaaaaaaaac ⇒ aaaaaaaaaaaaaaac
16.	caaaaaaaaaaaaaaaac ⇒ aaaaaaaaaaaaaaaac
17.	caaaaaaaaaaaaaaaaac ⇒ aaaaaaaaaaaaaaaaac
18.	caaaaaaaaaaaaaaaaaac ⇒ aaaaaaaaaaaaaaaaaac
19.	caaaaaaaaaaaaaaaaaaac ⇒ aaaaaaaaaaaaaaaaaaac
20.	b ⇒ aa
	...

Collecting factors up to length 4 / frequency 7:

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

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

Rewriting system is complete. See ⟨a, b, c | aa=b, cac=ac⟩.