5.2 正規表現によるパターンマッチング KMPのアルゴリズムを良くみると、入力が戻らない（1方向）である。 ⇒決定性有限オートマトンができるんじゃない？ マッチングオートマトンという。 本質的にはKMPアルゴリズムと同じもの マッチングオートマトンは正規…

6.1 シークェント 定義 A1,A2,...,An ⇒ B1,B2,...,Bm 論理式の多重集合同士の関係 解釈Iに対して、I |= A1,A2,...,An ⇒ B1,B2,...,Bm (Iはシークェントを満たす） iff あるiが存在してI［[Ai]］=falseまたはあるjが存在してI［[Aj]］=true iff I |= A1,A2,..…