Status List for Library Proposals

C++

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2012/n3371.html C++11の次の改訂に向けたライブラリの提案を読んでみた．C++11もろくに知らないのでいろいろ読み間違いがあるかもしれない． A minimal std::range http://www.open-std.org/jtc1/sc22/…

2011-12-06

LTL式からBuchiオートマトンへの変換

読んだ論文についてメモ． 1.Fast LTL to Buchi Automata Translation LTL -> Alternating Buchi Automata -> Generalized Buchi Automata -> Buchi Automata ABAからGBAへの変換はABAがvery weakという性質を持つために可能らしい．各ステップでオートマト…