You are told that state machine A has one input x, and one output y, both with type {1, 2}, and that it has states {a, b, c, d}. You are told nothing further. Do you have enough information to construct a state machine B that simulates A? If so, give such a state machine, and the simulation relation.
Already registered? Login
Not Account? Sign up
Enter your email address to reset your password
Back to Login? Click here