結果 : deterministic finite state machine examples