(a ∪ b) *
(b* ∪ a*)*
(b ∪ a)*
(a ∪ b)
can
can't
may
may not
S ⊂ T
T⊂ S
S = T
S ∩ T= φ
n states
n + 1 states
n + 2 states
none of these
A⊂ B
B ⊂A
A and B are uncomparable
A=B