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