曖昧検索状態遷移機械の例