Regexp: S(a|)E SE: Ok SxE: Fail Regexp: S(|b)E SE: Ok SxE: Fail Regexp: S(a||b)E SE: Ok SxE: Fail