2006-12-20から1日間の記事一覧
最近Kripke Structureにはまっている。原子命題AP上のKripke Structure Mとは4タプルである。 は有限の状態の集合 は初期状態の集合 は全象の遷移関係 は個々の状態で成立する命題の集合への写像関数 これは、Reactive Systemの基本モデル言語ともされるし…
最近Kripke Structureにはまっている。原子命題AP上のKripke Structure Mとは4タプルである。 は有限の状態の集合 は初期状態の集合 は全象の遷移関係 は個々の状態で成立する命題の集合への写像関数 これは、Reactive Systemの基本モデル言語ともされるし…