状態遷移機械の問題点