結果 : finite state machine vs pushdown automata