W[ac]={w∈W:wac∈W(e)}=W(e)
W[ab]={w∈W:wab∈W(e)}=W(dc)=W(e)dW(e)cW(e)
W[aa]={w∈W:waa∈W(e)}=W(cc)=W(e)cW(e)cW(e)