プログラムが停止するかどうかの実践的アプローチ

特定のプログラム$ P $を受け入れ、 “プログラムが終了する”か
“プログラムが終了しない”と判断して、どちらかの証明を出力しようとするシステムの種類はありますか?

ベストアンサー

はい、このタスクを実行するシステムの例はT2です。それは停止問題を解決するのではなく、特定の特殊なケースを解決しようと試みます。概要は、
https://en.wikipedia.org/wiki/Microsoft_Terminator
を参照してください。このシステムの最新バージョンは、 https://mmjb.github.io/T2/ にあります。

返信を残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です