論理学やオートマトン理論との関係
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2017/11/21 13:23 UTC 版)
「パリティゲーム」の記事における「論理学やオートマトン理論との関係」の解説
パリティゲームは計算複雑性理論の観点からも興味深い一方、パリティゲーム問題を自動検証やコントローラ合成などのバックエンドと位置付けることもできる。 たとえば、様相μ計算に対するモデル検査問題はパリティゲーム問題と同値であることが知られている。様相論理式の妥当性や充足可能性などを決定する問題もまた、パリティゲームに帰着することができる。
※この「論理学やオートマトン理論との関係」の解説は、「パリティゲーム」の解説の一部です。
「論理学やオートマトン理論との関係」を含む「パリティゲーム」の記事については、「パリティゲーム」の概要を参照ください。
- 論理学やオートマトン理論との関係のページへのリンク