Find an nfa with four states for L = {a^n: n greaterthanorequalto 0} union {b^n a: n greaterthanorequalto 1}