2009-06-04から1日間の記事一覧
★モナMONAのこと MONA (http://www.brics.dk/mona/) は式を有限オートマトンに変換するツール。検索パターンや時相論理の属性値を持つようなリアクティブシステム(こっちからなんかすると反応が返ってくるようなシステムのこと)やパーズ木( 解析木-構文…
★モナMONAのこと MONA (http://www.brics.dk/mona/) は式を有限オートマトンに変換するツール。検索パターンや時相論理の属性値を持つようなリアクティブシステム(こっちからなんかすると反応が返ってくるようなシステムのこと)やパーズ木( 解析木-構文…