Wojciech Różowski

正規表現を使ってDFAの動作の違いを定量化する体系的アプローチ。

システムの動作をいろんな技術を使ってどう比較して分析するかを見てみよう。