高次可到達性ゲームと可到達性【JST・京大機械翻訳】

Asada Kazuyuki; Katsura Hiroyuki; Kobayashi Naoki

プレプリント

J-GLOBAL ID：202202211874380666 整理番号：22P0305066

高次可到達性ゲームと可到達性【JST・京大機械翻訳】

On Higher-Order Reachability Games vs May Reachability

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (3件)： , ,
資料名：
発行年： 2022年03月16日プレプリントサーバーでの情報更新日： 2022年03月16日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

高次関数プログラムに対する可到達性問題を考察し,到達性ゲーム(すなわち,アンジェニックおよびデモニック非決定者によるプログラムに対する到達可能性問題)および到達可能性(すなわち,非決定性非決定者のみによるプログラムに対する到達可能性問題)の間の関係を検討した。。”その可能性問題”は,可到達性ゲーム(すなわち,アジェニックおよびデモニック非決定者によるプログラムに対する到達可能性問題),および到達可能性(すなわち,アジェニック非決定者のみによるプログラムに対する到達可能性問題)の間の関係を検討した。次数-nプログラムのための可到達性ゲームは,次数-(n+1)プログラムの可到達性に低減でき,その逆も同様であることを示した。高次不動点論理を用いて低減を定式化し,それらの正当性を証明した。また,高次プログラム検証への低減の応用を論じた。【JST・京大機械翻訳】

, , , , ,

計算機システム開発 , 計算理論 , システム・制御理論一般

前のページに戻る