regular expression 正規表現 automaton オートマトン jit 有限モデル理論 単項二階述語論理 文脈自由文法 曖昧 形式言語 数学 algebra logic プログラミング 正規言語 grass avx2 syntactic monoid simd parallel programming
See more