Draw the algorithmic state machine (ASM) charts for the following state transitions: a) If x = 1, control goes from S to S and then to S3; if x = 0, control goes from S to S3 b) If x= 1, control goes from state S to state S; if x = 0, generate a conditional operation R R+ 2 and goes from S to S c) Start from S; then if xy = 00, go to S; if xy = 10, go to S3; and if xy = 01, go to S; otherwise, to S3.