翻訳と辞書 Words near each other ・ 計算図表 ・ 計算尺 ・ 計算尺式露出計 ・ 計算平均生物 ・ 計算幾何学 ・ 計算手 ・ 計算技術検定 ・ 計算書 ・ 計算書類 ・ 計算木 ・ 計算木論理 ・ 計算格子 ・ 計算模型 ・ 計算機 ・ 計算機 (ソフトウェア) ・ 計算機の歴史 ・ 計算機の歴史 (1960年代以降) ・ 計算機イプシロン ・ 計算機プログラム ・ 計算機プログラムの構造と解釈 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 計算木論理 ： ウィキペディア日本語版 計算木論理[けいさんきろんり] 計算木論理（けいさんきろんり、Computational Tree Logic、CTL）は、分岐時相論理の一種である。その時間モデルでは未来は決定されておらず木構造のように分岐している。未来の複数の経路のうちの1つが実際に現実の経路となる。 == 文法 == $\backslash phi::=F|T|p|(\backslash neg\backslash phi)|(\backslash phi\backslash and\backslash phi)|(\backslash phi\backslash or\backslash phi)|$ (\phi\rightarrow\phi)|AX\phi|EX\phi|AF\phi|EF\phi|AG\phi|EG\phi| AU \phi |EU \phi ここで、p は原子項である。A は「すべての経路について; along All Paths」（必然的に）を表し、E は「少なくとも1つの経路が存在し; along at least there Exists one path」（時には）を表す。例えば、以下はCTLの整論理式である。 $EF\; EG\; p\; \backslash rightarrow\; AF\; r$ しかし、以下はCTLの整論理式ではない。 $EF\; (r\; U\; q)$ この文字列の問題点は、U に前置されるのが必ず A か E でなければならないという構文規則を守っていない点である。 CTL は一階述語論理の語彙を構成要素として利用し、それにさらに時相の様相作用素を交えた論理式を生成する。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「計算木論理」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.