非決定性状態遷移機械の例