E (a|b|\|) | (0,1)(0,1) B \\(^ \(^ (0,3) B a*+ aa+ (0,3) B a\{2\}+ aa+ (0,3) EH \Q\t*\E \t* (0,3) EH \Q\\t*\E \\t* (0,4)