「線形時相論理」の版間の差分
削除された内容 追加された内容
62行目:
==他の論理との関係==
線形時相論理(LTL) は [[CTL*]] ([[:en:CTL*|英語版]]) の一部である。
LTLは、後者（successor、[[ペアノの公理]]参照）と「小なり」の関係についての[[一階述語論理]] FO[S,<] と等価である。また、[[クリーネ閉包|クリーネスター]]のない[[正規表現]]や loop complexity が 0 であるような[[決定性有限オートマトン]]も LTL と等価である。
| |||