a) Consider the following FSM. The inputs are A and B and the output is out. Note that the arrow labels mean if that expression evaluates to 1, then follow that arrow. All arrows out of a state are mutually exclusive. For example, if current state is S2 and you see that A=1 or that B=1 then go to S3, otherwise go to S0.

Describe in 1-2 sentences what the machine does. You should give the answer in terms of i n p u ts and o u tp u ts not in terms of internal states S0,S1,S2,S3

so out: 00 S1 out: 0 A ~B A ~B S2 out: 0 A+B S3 out: 1 A+B