Answer: Finite automata

Question: What is the finite state automaton for the GameChannel class of Assignment 5? The automaton has 6 states.

A. CHANNEL_CLOSED
B. AWAITING_I_AM_MESSAGE
C. AWAITING_OPPONENT_MOVE
D. OPPONENT_MOVE_RECEIVED
E. AWAITING_MY_MOVE
F. TIMEOUT_WARNING_RECEIVED

It can receive 8 possible signals.

openConnection() called
gameStatus() called
receiveMove() called
sendMove() called
TIMEOUT received from server
opponent's move received from server
final game status received from server
I_AM_X received from server
I_AM_O received from server
Don't worry about the outputs.

Answer: The start state is CHANNEL_CLOSED. The notion of accepting state doesn't apply here. I've placed dashes in many places where behavior would not need to be defined.

            input
state  1 2 3 4 5 6 7 8 9
  A    B - - - - - - - -
  B    - - - - - - A E C
  C    - A E - - D A - -
  D    - A E - - - A - -
  E    - A - C F - A - -
  F    - A - C - - A - -

Answer / Finite automata / Review questions / 15-211 A, B