How many reachable states does the following state machine have? input: a: pure output: b: pure a/ a/b /b H - history transition -preemptive transition -reset transition