1. 有限モデル理論入門:
MSOとオートマトン
RYOMA SIN’YA
AUTOMATA & LOGIC WORKSHOP @ AKITA-U. 27 MAR 2019
q0
q1
q2
q3
q4
q5
A
K
I
T
A
U
9A9B9C
0
B
B
B
B
B
B
B
B
@
8x
2
4
(A(x) ^ ¬B(X) ^ ¬C(x))
_(A(x) ^ ¬B(X) ^ ¬C(x))
_(A(x) ^ ¬B(X) ^ ¬C(x))
3
5
^
8x, y E(x, y) ! ¬
2
4
(A(x) ^ A(y))
_(B(x) ^ B(y))
_(C(x) ^ C(y))
3
5
1
C
C
C
C
C
C
C
C
A
2. 有限モデル理論入門:
MSOとオートマトン
RYOMA SIN’YA
AUTOMATA & LOGIC WORKSHOP @ AKITA-U. 27 MAR 2019
q0
q1
q2
q3
q4
q5
A
K
I
T
A
U
9A9B9C
0
B
B
B
B
B
B
B
B
@
8x
2
4
(A(x) ^ ¬B(X) ^ ¬C(x))
_(A(x) ^ ¬B(X) ^ ¬C(x))
_(A(x) ^ ¬B(X) ^ ¬C(x))
3
5
^
8x, y E(x, y) ! ¬
2
4
(A(x) ^ A(y))
_(B(x) ^ B(y))
_(C(x) ^ C(y))
3
5
1
C
C
C
C
C
C
C
C
A
の「ただならぬ関係」!
109. 有限モデル理論入門:
MSOとオートマトン
RYOMA SIN’YA
AUTOMATA & LOGIC WORKSHOP @ AKITA-U. 27 MAR 2019
q0
q1
q2
q3
q4
q5
A
K
I
T
A
U
9A9B9C
0
B
B
B
B
B
B
B
B
@
8x
2
4
(A(x) ^ ¬B(X) ^ ¬C(x))
_(A(x) ^ ¬B(X) ^ ¬C(x))
_(A(x) ^ ¬B(X) ^ ¬C(x))
3
5
^
8x, y E(x, y) ! ¬
2
4
(A(x) ^ A(y))
_(B(x) ^ B(y))
_(C(x) ^ C(y))
3
5
1
C
C
C
C
C
C
C
C
A
の「ただならぬ関係」!
110. おまけ
正規言語は多様な特徴づけを持つ
正規言語
(文字列の集合)
{ε, a, aa, bb, aaa, abb, bab, bbb, ...}
0
a
1
b
b
a
有限オートマトン
(計算モデル)
有限モノイド
(代数モデル)
単項二階述語論理
(論理式)
正規文法
(生成文法)
正規表現
(表現式)
a*(ba*ba*)*
Profinite words
上の開閉集合
(トポロジー)
▸ 非自明だが同値な定義
▸ 式,文法,計算モデル,
代数,論理式,トポロ
ジー, etc….
▸ 本資料では解説しなかった
が,多様体(variety)の概念
を通じて言語と論理と代数
は美しい対応を見せる.
111. おまけ
正規言語は多様な特徴づけを持つ
正規言語
(文字列の集合)
{ε, a, aa, bb, aaa, abb, bab, bbb, ...}
0
a
1
b
b
a
有限オートマトン
(計算モデル)
有限モノイド
(代数モデル)
単項二階述語論理
(論理式)
正規文法
(生成文法)
正規表現
(表現式)
a*(ba*ba*)*
Profinite words
上の開閉集合
(トポロジー)
▸ 非自明だが同値な定義
▸ 式,文法,計算モデル,
代数,論理式,トポロ
ジー, etc….
▸ 本資料では解説しなかった
が,多様体(variety)の概念
を通じて言語と論理と代数
は美しい対応を見せる.