2014-05-01から1ヶ月間の記事一覧
Vaucanson を知らないとオートマトン界隈ではモグリ? 一昨年まで、形式的検証手法の研究をしていた学生だった。 形式的検証の表記をする上で、オートマトン(を構文的・意味論的・操作的に拡張した物)を使用するので、論文の1/3はオートマトンの図で占有され…
Vaucanson を知らないとオートマトン界隈ではモグリ? 一昨年まで、形式的検証手法の研究をしていた学生だった。 形式的検証の表記をする上で、オートマトン(を構文的・意味論的・操作的に拡張した物)を使用するので、論文の1/3はオートマトンの図で占有され…