I have this problem:
Consider the following machines M1 and M2.
M1 has initial state A and the initial state of M2 is unspecified.
Can the machines be made equivalent by the correct choice of initial state for M2? If so, which state(s) can be chosen?
I'm not sure how to show it? I broke the two machines to partitions, but I don't know if this is the right step to do. I have the tables of states of the FSMs, but I don't think you need it to help me.
The tables are:
http://imageshack.us/a/img507/604/26588241.png
Thanks