2009-06-03から1日間の記事一覧
クリプキ構造とは ブール値でラベル付けされた遷移状態中の式で評価される非決定性有限オートマトン。公平性制約 (訳者註:あるイベントが必ず起きてくれることを保証するようなこと)で拡張することが出来る(Webster's Online Dictionary)。。。なんのこ…
クリプキ構造とは ブール値でラベル付けされた遷移状態中の式で評価される非決定性有限オートマトン。公平性制約 (訳者註:あるイベントが必ず起きてくれることを保証するようなこと)で拡張することが出来る(Webster's Online Dictionary)。。。なんのこ…