A.0 B.1 C.0A D.1B
A.bcadef B.beacbf C.bacebf D.beadcf
A.01(01|10)* B.(0|1)*(01|10) C.(0|1)(1*|0*) D.(01|10)(01|10)*