正規言語と代数と論理の対応：An Introduction to Eilenberg’s Variety Theorem

1. 正規言語と代数と論理の対応 An Introduction to Eilenberg’s Variety Theorem

2. 序言正規表現やオートマトンが正規言語の表現方法であることは情報系の方々には広く知られていますが，一方で代数や論理でも正規言語が特徴づけられるということはあまり知られていません．本資料では variety という視点から眺めることで，言語・代数・論理の三つの異なる概念が非常に美しい対応を見せることを紹介していきます．本資料は正規表現やオートマトンの知識をほとんど仮定していませんので，構える必要はありません！入門者向けの資料です．あなたがもし論理や代数の素養がある人ならば，正規表現を知らなくても楽しめるはずです．本資料で紹介する全ての定理に適切な論文・書籍への参照を記しています．本資料は「難しい証明を丁寧に解説する」というより「噛み砕いた解説と多くの具体例で読者を分かった気にさせる」というものです．厳密な定義・証明は本資料末尾の参考文献リストから参照してください．

3. 作者新屋良磨 (Ryoma Sin’ya) @sinya8282 東工大博士2年．学部からずっと正規言語の研究してます．日本酒と京都が大好きです (写真は京都の建仁寺にて).

4. 導入 General Introduction

5. 正規言語の基本正規言語とは？ ! 正規表現で書ける言語 ! オートマトンで受理できる言語

6. 正規言語の基本正規言語とは？例：bの個数が偶数個の文字列 ! 正規表現で書ける言語 ! オートマトンで受理できる言語

7. 正規言語の基本正規言語とは？例：bの個数が偶数個の文字列 ! 正規表現で書ける言語 ! オートマトンで受理できる言語

8. 正規言語の基本正規言語とは？例：bの個数が偶数個の文字列 ! 正規表現で書ける言語 ! オートマトンで受理できる言語 a a b q0 q1 b

9. 正規表現以外の表現法正規言語 (文字列の集合) {ε, a, aa, bb, aaa, abb, bab, bbb, ...} 有限オートマトン (計算モデル) a 0 1 b b a 有限モノイド (代数モデル) 正規文法 (生成文法) 単項二階述語論理 (論理式) 正規表現 (表現式) a*(ba*ba*)* Profinite words 上の開閉集合 (トポロジー) 多様な特徴付け式，文法，計算モデル，代数モデル，論理式，トポロジー... 「普遍的な構造は多様な特徴付けを持つ」

10. 正規表現以外の表現法正規言語 (文字列の集合) {ε, a, aa, bb, aaa, abb, bab, bbb, ...} 有限オートマトン (計算モデル) a 0 1 b b a 有限モノイド (代数モデル) 正規文法 (生成文法) 単項二階述語論理 (論理式) 正規表現 (表現式) a*(ba*ba*)* Profinite words 上の開閉集合 (トポロジー) 多様な特徴付け式，文法，計算モデル，代数モデル，論理式，トポロジー... 本日のメインは　　表現・代数・論理の三つ．いざ魅惑のVarietyの世界へ！

11. 目録一，導入二，正規言語と代数三，正規言語族と半群集合の一対一対応四，正規言語と論理五，正規言語と代数と論理の対応六，〆

12. 正規言語と代数 Regular ⇔ Finite Monoid Recognisable

13. 半群とは，モノイドとは群を一般化した代数構造結合律単位律可逆律群モノイド半群

14. 半群とは，モノイドとは群を一般化した代数構造結合律単位律可逆律群モノイド半群「可逆律はチート」

15. 半群とは，モノイドとは群を一般化した代数構造結合律単位律可逆律群モノイド半群「可逆律はチート」「単位律は飾り」

16. 半群とは，モノイドとは群を一般化した代数構造結合律単位律可逆律群モノイド半群「うわっ… 私の要求，　高すぎ…？」「可逆律はチート」「単位律は飾り」

17. 単位元はかざり任意の半群に対して，一つの元を追加するだけでモノイドにすることができる(結果は一意)．半群の構造を含んだモノイドなので，まぁ，すごく大雑把に言うと（計算的には）半群の議論とモノイドの議論はあまり区別しなくて良い．あと半群の方が語感が良い（重要）．

18. 群・モノイド・半群（例）：(0を含まない)自然数と足し算：(0を含めた)自然数と足し算：整数と足し算

19. 群・モノイド・半群（例）：(0を含まない)自然数と足し算これは半群．単位元も逆元もない．：(0を含めた)自然数と足し算：整数と足し算

20. 群・モノイド・半群（例）：(0を含まない)自然数と足し算これは半群．単位元も逆元もない．：(0を含めた)自然数と足し算これはモノイド．単位元は0．逆元はない．：整数と足し算

21. 群・モノイド・半群（例）：(0を含まない)自然数と足し算これは半群．単位元も逆元もない．：(0を含めた)自然数と足し算これはモノイド．単位元は0．逆元はない．：整数と足し算これは群．単位元は0での逆元は .

22. 半群とは（計算の視点）計算の視点から見ると半群とは「並列計算しやすい代数構造(結合律)」 ! この辺の話は僕が昔作った　　　　　　　　　　「AVX2時代の正規表現マッチング～半群でぐんぐん！～」という資料に色々書いてあります(割愛)． http://www.slideshare.net/sinya8282/avx2

23. 半群とは（計算の視点）計算の視点から見ると半群とは「並列計算しやすい代数構造(結合律)」 ! この辺の話は僕が昔作った　　　　　　　　　　「AVX2時代の正規表現マッチング～半群でぐんぐん！～」という資料に色々書いてあります(割愛)． http://www.slideshare.net/sinya8282/avx2

24. 文字列＝自由モノイドの元＝語有限集合(生成系と呼ぶ)　の要素を組合せて作ることができる有限長の語全体の集合をと書く．は長さが0の文字列「空文字列」も含む．空文字列はと表記する． ! 　は文字列の「連結」操作 (・) によって自然に　　　無限モノイドとなる．このモノイドを　　生成系上の自由モノイドと呼ぶ．もちろん単位元は空文字列．

25. （例）自由モノイド生成系（文字集合）

26. （例）自由モノイド生成系（文字集合）自由モノイド（文字列集合）

27. （例）自由モノイド生成系（文字集合）自由モノイド（文字列集合）二項演算（文字列の連結）

30. （例）自由モノイド生成系（文字集合）自由モノイド（文字列集合）二項演算（文字列の連結） ←結合律

31. （例）自由モノイド単位律 → 生成系（文字集合）自由モノイド（文字列集合）二項演算（文字列の連結） ←結合律

32. 自由モノイドは全てのモノイドの素となる任意のモノイドは（を生成する集合上の）自由モノイドの準同型写像の像となる．「生成系と関係式」で任意のモノイドは記述できる．表示(presentation)と呼ぶ．群も同様．「どの元をどういう順番で掛けたか」みたいな情報を全て持っている．積の情報の損失が全くない．

33. 自由モノイドは全てのモノイドの素となる（例）

34. 自由モノイドは全てのモノイドの素となる（例）

35. 自由モノイドは全てのモノイドの素となる（例）モノイドはこのような演算規則を記述した表 (積表)で記述できる．

38. 自由モノイドからの準同型はその生成系の像で一意に定まる [5]より引用

39. 自由モノイドからの準同型はその生成系の像で一意に定まるつまり，準同型のお約束「演算の整合性を保つ」という制約から，生成系の像をそのまま自然に拡張するしかないということ．自由モノイドの元 = 文字列 = 生成系の元の並び．　準同型はその元の並び通りにそのまま演算を適用するしかない．

40. 自由モノイドからの準同型はその生成系の像で一意に定まるつまり，準同型のお約束「演算の整合性を保つ」という制約から，生成系の像をそのまま自然に拡張するしかないということ．自由モノイドの元 = 文字列 = 生成系の元の並び．　準同型はその元の並び通りにそのまま演算を適用するしかない．（注）[5]ではをと書く流儀．

41. 正規言語＝有限モノイドの逆像 [Myhil-Nerode] 自由モノイドの部分集合について以下の条件は同値である．は上の正規言語ある有限モノイドと準同型　　　が存在し，のある部分集合に対して

42. 正規言語＝有限モノイドの逆像（例） [Myhil-Nerode] 自由モノイド

43. 正規言語＝有限モノイドの逆像（例） [Myhil-Nerode] 自由モノイド有限モノイドとその部分集合及び準同型．

44. 正規言語＝有限モノイドの逆像（例） [Myhil-Nerode] 自由モノイド有限モノイドとその部分集合及び準同型．

45. 正規言語＝有限モノイドの逆像（例） [Myhil-Nerode] 自由モノイド有限モノイドとその部分集合及び準同型．準同型の逆像は正規言語

46. 正規言語＝有限モノイドの逆像（例） [Myhil-Nerode] 自由モノイド有限モノイドとその部分集合及び準同型．準同型の逆像は正規言語 bの個数が偶数個の文字列！：

47. Syntactic Monoid 与えられた正規言語について，を認識する有限モノイドの中で最小のモノをの syntactic monoid と呼ぶ．syntactic monoid は言語にから一意に定まるため，これを　　　と表す． Syntactic monoid は対応する言語の最小オートマトン(最小DFA)の遷移モノイドと同型である． Syntactic monoid や遷移モノイドの説明は省略． http://www.slideshare.net/sinya8282/avx2 「半群でぐんぐん！」を読もう！

48. オートマトン解る人向けの説明 (正規である必要はない)言語に対してMyhil-Nerode relation と言う次の同値関係が定義できる． ! 有名なMyhil-Nerode の定理は，この同値関係の同値類が有限個ならばかつその時に限りが正規言語であるということを述べている．その同値類が最小オートマトンの状態に対応．

49. オートマトン解る人向けの説明 Myhil-Nerode relation は文字列を「右側からの連結」で区別した同値関係．そのため右同値関係とも呼ばれる． Myhil-Nerode relation を「両側からの連結」に拡張した次の同値関係を考えることが出来る． ! 　のsyntactic monid とは，　を　で割ったモノ．

50. オートマトン解る人向けの説明 Myhil-Nerode relation は文字列を「右側からの連結」で区別した同値関係．そのため右同値関係とも呼ばれる． Myhil-Nerode relation を「両側からの連結」に拡張した次の同値関係を考えることが出来る． ! 　のsyntactic monid とは，　を　で割ったモノ．イド

51. 章まとめ

52. 章まとめ自由モノイド　　（文字列集合）から

53. 章まとめ自由モノイド　　（文字列集合）から有限モノイドの部分集合の

54. 正規言語族と半群集合の一対一対応 Eilenberg’s Variety Theorem

55. 正規言語と有限モノイドは多対多の関係一つの有限モノイドは無数の正規言語に対応する． ! 一つの正規言語は無数の有限モノイドに対応する．

56. 一つの有限モノイドは無数の正規言語に対応自由モノイドの部分集合について以下の条件は同値である．は上の正規言語ある有限モノイドと準同型　　　が存在し，のある部分集合に対して

57. 一つの有限モノイドは無数の正規言語に対応を固定した場合，単純に考えて　準同型の数 × 部分集合の数分正規言語をは受理する．さらには自由に動くため，実際は無限に相異なる正規言語を受理する．自由モノイドの部分集合について以下の条件は同値である．は上の正規言語ある有限モノイドと準同型　　　が存在し，のある部分集合に対して

58. 一つの正規言語は無数の有限モノイドに対応与えられた正規言語(正規表現やオートマトン)から，その言語を認識するような有限モノイドとその部分集合及び準同型を構成できるか？ -> できる！オートマトンから遷移モノイドを計算する．最小オートマトンの遷移モノイドを特に syntactic monoid と呼ぶ．「半群でぐんぐん！」を読めば解かりやすい！ http://www.slideshare.net/sinya8282/avx2

59. 一つの正規言語は無数の有限モノイドに対応与えられた正規言語(正規表現やオートマトン)から，その言語を認識するような有限モノイドとその部分集合及び準同型を構成できるか？ -> できる！オートマトンから遷移モノイドを計算する．最小オートマトンの遷移モノイドを特に syntactic monoid と呼ぶ．「半群でぐんぐん！」を読めば解かりやすい！ http://www.slideshare.net/sinya8282/avx2 本資料では説明を省いたが，正規言語を受理する(状態数や遷移関係が異る)オートマトンが無数に存在するため，を受理するモノイド (オートマトンの遷移モノイド)も無限に存在する．

60. 正規言語と有限モノイドの対応関係は色々ややこしい自由モノイドの部分集合Lについて以下の条件は同値である．は上の正規言語ある有限モノイドと準同型　　　が存在し，のある部分集合に対して

61. 正規言語と有限モノイドの対応関係は色々ややこしい自由モノイドの部分集合Lについて以下の条件は同値である．準同型とか部分集合とか逆像とか五月蝿い(極端な意見) は上の正規言語ある有限モノイドと準同型　　　が存在し，のある部分集合に対して

62. 正規言語と有限モノイドの対応関係は色々ややこしい相異なるオートマトンの数以上に相異なるモノイドがあるのも五月蝿い(極端な意見)．自由モノイドの部分集合Lについて以下の条件は同値である．準同型とか部分集合とか逆像とか五月蝿い(極端な意見) は上の正規言語ある有限モノイドと準同型　　　が存在し，のある部分集合に対して

63. 正規言語と有限モノイドの素直な対応関係が知りたい多対多よりも素直な一対一対応が欲しい．モノイドの準同型や部分集合の取り方をいちいち気にしたくない．同様に，同じ正規言語を受理するオートマトンの違い(遷移モノイドの違い)をいちいち気にしたくない．

64. 正規言語と有限モノイドの素直な対応関係が知りたい多対多よりも素直な一対一対応が欲しい．モノイドの準同型や部分集合の取り方をいちいち気にしたくない．同様に，同じ正規言語を受理するオートマトンの違い(遷移モノイドの違い)をいちいち気にしたくない．そんな綺麗な対応ってあるの？

65. 個々の対応から集合の対応へ「個々の正規言語」と「個々の有限モノイド」は多対多の対応． ! ある「正規言語の族」と「有限モノイドの集合」には綺麗な一対一の対応が存在する！ ! もちろん，ここでいう「族」「集合」はある特別な性質(いくつかの演算に対する閉包性)を持つ．

66. 個々の対応から集合の対応へ「個々の正規言語」と「個々の有限モノイド」は多対多の対応．正規言語のVariety ! ある「正規言語の族」と「有限モノイドの集合」には綺麗な一対一の対応が存在する！ ! もちろん，ここでいう「族」「集合」はある特別な性質(いくつかの演算に対する閉包性)を持つ．

67. 個々の対応から集合の対応へ「個々の正規言語」と「個々の有限モノイド」は多対多の対応．正規言語のVariety 有限モノイドの(pseudo-)Variety ! ある「正規言語の族」と「有限モノイドの集合」には綺麗な一対一の対応が存在する！ ! もちろん，ここでいう「族」「集合」はある特別な性質(いくつかの演算に対する閉包性)を持つ．

68. 正規言語のVariety 正規言語の族　　　　　　ここでは上の正規言語の集合，が以下の閉包性を満たす時，を varietyと呼ぶ．

69. 正規言語のVariety 正規言語の族　　　　　　ここでは上の正規言語の集合，が以下の閉包性を満たす時，を varietyと呼ぶ．任意の有限文字集合　について，を構成する　が和集合・積集合・補集合について閉じている．任意の有限文字集合　について，を構成する　に属する任意の言語　が，　に属する任意の文字　での左右両方の quotient について閉じている．任意のモノイド準同型　　　　　　と言語　　　について，　　　　　　となる．

70. 正規言語のVariety 正規言語の族　　　　　　ここでは上の正規言語の集合，が以下の閉包性を満たす時，を複variety雑？とこ呼こぶろ．は後で説明します！任意の有限文字集合　について，を構成する　が和集合・積集合・補集合について閉じている．任意の有限文字集合　について，を構成する　に属する任意の言語　が，　に属する任意の文字　での左右両方の quotient について閉じている．任意のモノイド準同型　　　　　　と言語　　　について，　　　　　　となる．

71. 正規言語のQuotient Quotient とは言語に属する全ての文字列から指定した接頭辞(接尾辞)を消す操作．対象文字列が指定された接頭辞(接尾辞)を持たない場合は，文字列そのものを消してしまう．接頭辞を消す場合は左側quotient，接尾辞を消す場合は右側quotientと呼ぶ．

72. 正規言語のQuotient （例）による左側 quotient :

73. 正規言語のQuotient （例）による左側 quotient : による右側 quotient :

74. 有限モノイドのPseudovariety 有限モノイドの空でない集合　が以下の閉包性を満たす時，　を pseudovariety と呼ぶ．

75. 有限モノイドのPseudovariety 有限モノイドの空でない集合　が以下の閉包性を満たす時，　を pseudovariety と呼ぶ．部分モノイドについて閉じている．準同型(の像)について閉じている． (有限個の)直積について閉じている．

76. Eilenberg’s Variety Theorem 正規言語の全てのvarietyの集合と有限モノイドの全てのpseudovarietyの集合の間には全単射が存在する．　　　(S. Eillenberg, 1976 [6]) 「Varietyからそれに属す言語のsyntactic monid達で生成されるpseudovarietyに写す写像」と「Pseudovariety からsyntactic monoidがそれに属す全ての正規言語を集めたvarietyに写す写像」という写像がそれぞれの逆写像になっている．証明は [1] の12章を参照．

77. 一対一対応のこゝろ個々の正規言語と個々の有限モノイドはそれぞれ多対多の関係．一対一対応を作るためにはこの多対多の関係を含む程に正規言語・有限モノイドの集合をそれぞれ大きくする必要がある．凄く大雑把に言うと，(pseudo)varietyに求められている演算は適切に集合を大きくする演算．この程度の説明で納得するにはオートマトンと有限モノイドをきちんと理解している必要がある．　納得したければ[1]読みましょう！

78. Varietyの例：Star-free 言語 Star-free 言語とは，Kleene閉包（スター演算,*）が使えない代わりに補集合演算が使える正規表現で表現することの出来る言語クラスのこと． ! Star-free 言語が variety となる(閉包性を満たす)ことを確認するのは良い練習問題になるはず(宿題)． ! Star-free言語については「正規表現入門星の高さを求めて」を読もう！ http://www.slideshare.net/sinya8282/ss-32629428

79. Varietyの例：Star-free 言語 Star-free 言語とは，Kleene閉包（スター演算,*）が使えない代わりに補集合演算が使える正規表現で表現することの出来る言語クラスのこと． ! Star-free 言語が variety となる(閉包性を満たす)ことを確認するのは良い練習問題になるはず(宿題)． ! Star-free言語については「正規表現入門星の高さを求めて」を読もう！ http://www.slideshare.net/sinya8282/ss-32629428

80. Star-free 言語に対応する Pseudovariety 言語がstar-free言語である ⇔ の syntactic monoid が aperiodic. (M.P. Schützenberger, 1965 [7]) モノイド　が　　　　　　　　　　　　という条件を満たす時　を aperiodic と呼ぶ．「nontrivialな部分群が存在しない」と言う同値な言い換えも．「全てのaperiodicなモノイドの集合」が pseudovarietyとなる(閉包性を満たす)ことを確認するのはたやすい(宿題)．

81. Star-free 言語に対応する Pseudovariety 言語がstar-free言語である ⇔ の syntactic monoid が aperiodic. (M.P. Schützenberger, 1965 [7]) いわゆるSchützenberge’s theorem．証明は難しい　 (証明はいくつか存在する． [1] を読むのを薦める)． Star-free ⇒ Aperiodicを示すのに比べて，Aperiodic ⇒ Star-freeを示すのが難しい．

82. Star-free 言語（例）例えばは star-free 言語．なぜならと書けるため．ここで　は和集合(正規表現でいう所の | )．　は「空集合の補集合」と考えればスターは不要だし，差集合演算　も補集合と和集合演算のみで表現することができるため，この正規表現は実質スター演算を一切使わない形で書かれている．

83. Star-free 言語（例）例えばは star-free 言語．なぜならと書けるため．ここで　は和集合(正規表現でいう所の | )．　は「空集合の補集合」と考えればスターは不要だし，差集合演算　も補集合と和集合演算のみで表現することができるため，この正規表現は実質スター演算を一切使わない形で書かれている．一方，良く似た言語　　はstar-freeでない．証明には Schützenberge’s theorem を使う必要がある．

84. 章まとめ一対一対応正規言語の variety とは和集合・積集合・補集合(ブール代数) quotient 自由モノイドの準同型の逆像に閉じた言語族のこと．有限モノイドの pseudovariety とは部分モノイド準同型の像 (有限個の)直積に閉じた有限モノイドの集合のこと． Eilenberg’s Variety Theorem

85. 正規言語と論理 Regular ⇔ Monadic Second Order Definable

86. 文字列とはモデルであ�る有限長の文字列は有限モデルとして見ることが出来る． Universe は文字列のインデックス集合(自然数要素)． Vocabulary はインデックスに対応する文字が　である時のみ真となる述語　とインデックスの大小比較を行う二項関係＜．

87. 文字列とはモデルであ�る（例）文字列

88. 文字列とはモデルであ�る（例）文字列モデル

89. 文字列とはモデルであ�る（例）文字列文字列の長さが6なので， universeは1~6までの集合．モデル

90. 文字列とはモデルであ�る（例）文字列文字列の長さが6なので， universeは1~6までの集合．モデルインデックスと文字を紐付ける述語．

91. 文字列とはモデルであ�る（例）文字列文字列の長さが6なので， universeは1~6までの集合．モデルインデックスと文字を紐付ける述語． Vocabularyを固定すれば文字列からモデルが一意に定まる．逆方向も述語　がそれぞれuniverseの分割(partition)になっていれば一意に定まる．以降，文字列　に対応するモデルを　と書く．

92. 論理式で言語を記述する正規表現が文字列の集合を記述するように，論理式は(自身を充足する)モデルの集合を記述する． ! つまり，文字列をモデルと見なす先ほどのような vocabularyを考えれば，論理式は言語の記述に他ならない． ! 論理式　を満たす文字列の集合を　　と記述する：

93. 論理式で言語を記述する（例）

94. 論理式で言語を記述する（例）　の後ろに　が来ないという論理式．

95. 論理式で言語を記述する（例）　の後ろに　が来ないという論理式．とすると　　　　なので

96. 論理式で言語を記述する（例）　の後ろに　が来ないという論理式．とすると　　　　なので

97. 論理式で言語を記述する（例）　の後ろに　が来ないという論理式．とすると　　　　なのでつまりは正規表現でいう所の　に他ならない！

98. 正規言語＝一階論理？　　という正規表現は一階論理の範囲で記述することが出来た： ! では全ての正規表現は一階論理の範囲で記述できるのか？またその逆はどうなのか？

99. 正規言語＝一階論理？　　という正規表現は一階論理の範囲で記述することが出来た： ! では全ての正規表現は一階論理の範囲で記述できるのか？またその逆はどうなのか？実は，一階論理で記述できる言語のクラスは正規言語のサブクラスにしかならない．つまり　　　　　正規言語を記述するのに一階論理では弱すぎる！

100. 正規言語＝二階論理？では単純に二階に上がってみるとどうか？実際，一階で記述できる範囲よりはるかに広い範囲で言語の記述できる．

101. 正規言語＝二階論理？では単純に二階に上がってみるとどうか？実際，一階で記述できる範囲よりはるかに広い範囲で言語の記述できる．しかし，実は，二階論理は正規言語より真に広い言語クラスを記述できる能力を持つ．つまり，　　　　　正規言語を記述するのに二階論理では強すぎる！

102. 正規言語＝二階論理？では単純に二階に上がってみるとどうか？実際，一階で記述できる範囲よりはるかに広い範囲で言語の記述できる．しかし，実は，二階論理は正規言語より真に広い言語クラスを記述できる能力を持つ．つまり，　　　　　正規言語を記述するのに二階論理では強すぎる！例えば，以下の論理式は非正規言語「との出現回数が等しい文字列の集合」を記述している．

103. 正規言語＝二階論理？では単純に二階に上がってみるとどうか？実際，一階で記述できる範囲よりはるかに広い範囲で言語の記述できる．しかし，実は，二階論理は正規言語より真に広い言語クラスを記述できる能力を持つ．つまり，　　　　　正規言語を記述するのに二階論理では強すぎる！例えば，以下の論理式は非正規言語「との出現回数が等しい文字列の集合」を記述している．二項関係を量化できるぐらい強いと「全単射の存在」まで記述できる．そのため「集合の元の個数が等しい」のようなモノが書けて正規言語の範囲を超えてしまう．

104. 正規言語＝二階論理？なら単項関係，つまり集合の量化のみに制限した二階論理ならばいけるのでは（直感）？では単純に二階に上がってみるとどうか？実際，一階で記述できる範囲よりはるかに広い範囲で言語の記述できる．しかし，実は，二階論理は正規言語より真に広い言語クラスを記述できる能力を持つ．つまり，　　　　　正規言語を記述するのに二階論理では強すぎる！例えば，以下の論理式は非正規言語「との出現回数が等しい文字列の集合」を記述している．二項関係を量化できるぐらい強いと「全単射の存在」まで記述できる．そのため「集合の元の個数が等しい」のようなモノが書けて正規言語の範囲を超えてしまう．

105. 正規言語＝単項二階論理！言語が正規言語である ⇔ は単項二階論理 (Monadic Second Order Logic, MSO)で記述可能である． ( J.R. Büchi, 1960 [8]) 「正規言語 ⇒ MSO記述可能」は簡単．オートマトンをシミュレートする論理式が素直にMSO で記述することが出来る．その逆「MSO記述可能⇒正規言語」がやや難しい．MSOとオートマトンの対応がとても面白いので是非[3]の7章の証明を参照されたし．

106. FO vs. MSO FO(一階論理)で記述できなくてMSOで記述できる言語，すなわちFOで記述できないとはどういうものか？ ! 例えば　　はFOで記述できるが，　　はMSOでなければ記述できない！

107. FO vs. MSO FO(一階論理)で記述できなくてMSOで記述できる言語，すなわちFOで記述できないとはどういうものか？ Star-free 言語 ! 例えば　　はFOで記述できるが，　　はMSOでなければ記述できない！

108. FO vs. MSO FO(一階論理)で記述できなくてMSOで記述できる言語，すなわちFOで記述できないとはどういうものか？ Star-free 言語非 star-free 言語 ! 例えば　　はFOで記述できるが，　　はMSOでなければ記述できない！

109. Star-free言語＝一階論理！言語がstar-free言語である ⇔ は一階論理で記述可能である． (R. McNaughton and S. Papert, 1971 [9]) これも正規言語⇔MSOと同様に「star-free言語 ⇒ FO記述可能」が簡単でその逆を示すのがやや難しい．証明は[3]の7章を参照．

110. 章まとめ論理言語Büchi’s theorem Regular MSO Star-free FO McNaughton-Papert’s theorem

111. 正規言語と代数と論理の対応 On Small Fragments of First-Order Logic

112. 言語と論理の対応 Regular MSO Star-free FO

113. 言語と論理の対応 Regular MSO Star-free FO 言語がstar-free言語である ⇔ の syntactic monoid が aperiodic. (M.P. Schützenberger, 1965 [7])

114. 言語と代数と論理の対応 Regular mFoinnoitied s MSO Star-free Aperiodic FO

115. 一階論理の階層一階論理は二階論理の真の部分クラスである．一階論理の中にも無限に多くの部分クラスが存在する(論理の階層)．論理の階層の研究は古くから盛んに行われており，様々な成果がある．論理式自体が「命題を記述するためのもの」という純粋なものであるし，一階論理の階層はとても systematic に定められているものが多く，言語の階層等に比べて「その階層がなにを表しているのか」の感覚が掴みやすい(と僕は思っています)．

116. 一階論理の階層（例）一階論理の中にも無限に多くの論理の部分クラスがある．

117. 一階論理の階層（例）一階論理の中にも無限に多くの論理の部分クラスがある．使える変数を個以下に限定したクラス：

118. 一階論理の階層（例）一階論理の中にも無限に多くの論理の部分クラスがある．使える変数を個以下に限定したクラス：

119. 一階論理の階層（例）一階論理の中にも無限に多くの論理の部分クラスがある．使える変数を個以下に限定したクラス：存在量化　と全称量化　がたかだか回しか交代しないクラス：　 (存在から始まる場合)と　 (全称から始まる場合)，さらに

120. 一階論理の階層（例）一階論理の中にも無限に多くの論理の部分クラスがある．使える変数を個以下に限定したクラス：存在量化　と全称量化　がたかだか回しか交代しないクラス：　 (存在から始まる場合)と　 (全称から始まる場合)，さらに

121. 一階論理の階層（例）一階論理の中にも無限に多くの論理の部分クラスがある．使える変数を個以下に限定したクラス：存在量化　と全称量化　がたかだか回しか交代しないクラス：　 (存在から始まる場合)と　 (全称から始まる場合)，さらに　のブール演算による閉包：

122. 論理階層からVarietyを眺める見事なことに，これら一階論理の階層は正規言語と有限モノイドの(pseudo)varietyに綺麗に対応する．正規言語と有限モノイドの(pseudo)varietyを感覚的に理解するのはなかなか大変であるが，論理の視点から見ると非常に素直に特徴づけされていると感じるかもしれない．

123. 論理階層からVarietyを眺める見事なことに，これら一階論理の階層は正規言語と有限モノイドの(pseudo)varietyに綺麗に対応する．正規言語と有限モノイドの(pseudo)varietyを感覚的に理解するのはなかなか大変であるが，論理の視点から見ると非常に素直に特徴づけされていると感じるかもしれない．それでは，言語・代数・論理の美しい対応を観て本講義を終わりにしよう．

124. 言語と代数と論理の対応[4] Varieties Pseudovarieties Logical fragments Regular Finite monoids

125. 言語と代数と論理の対応[4] Varieties Pseudovarieties Logical fragments Regular Finite monoids Star-free Aperiodic

126. 言語と代数と論理の対応 Regular Finite monoids Star-free Aperiodic Polynomial [4] Varieties Pseudovarieties Logical fragments

127. 言語と代数と論理の対応 Regular Finite monoids Star-free Aperiodic Polynomial Unambiguous polynomial DA [4] Varieties Pseudovarieties Logical fragments

128. 言語と代数と論理の対応 Regular Finite monoids Star-free Aperiodic Polynomial Unambiguous polynomial DA Piecewise testable -trivial [4] Varieties Pseudovarieties Logical fragments

129. 言語と代数と論理の対応 Regular Finite monoids Star-free Aperiodic Polynomial Unambiguous polynomial DA Piecewise testable -trivial Simple polynomial [4] Varieties Pseudovarieties Logical fragments

130. 言語と代数と論理の対応 Regular Finite monoids Star-free Aperiodic Polynomial Unambiguous polynomial DA Piecewise testable -trivial Simple polynomial Commutative and idempotent [4] Varieties Pseudovarieties Logical fragments

131. 〆 Conclusion

132. 結言正規言語と有限モノイドと単項二階論理の等価な関係を眺めてきました． Variety というモノを考えることで，言語と代数と論理が非常に綺麗な対応を見せることをが上手く伝えられたでしょうか？言語・代数・論理の階層を variety を通して紐付ける研究は現在も盛んに行われています[10]．本資料は variety theory のほんの導入にしかすぎません．証明の詳細や理論のより深い部分に興味が有る方は是非本資料で引用していた文献を参照してください(次ページから紹介)．Enjoy 正規言語！

133. 参考資料 References

134. [1] Lawson先生の教科書オートマトンとモノイドの関係がしっかり書かかれている入門書．半群の研究者が書いた本．最終章に Eilenberg’s Variety Theorem の証明が載っている．全体的に丁寧で読みやすくVariety theory の入門に最適．

135. [2] Pin先生の教科書 Variety theory でいくつも成果を出されている先生の本． [1] を読み終えて進むのが良い，らしい．僕も読み始めたばかり．

136. [3] Libkin先生の教科書有限モデル理論の標準的入門書．モデル理論とかロジックの知識がない人でも読み始められるはず．とても読みやすい．正規言語とMSO，star-free 言語とFOの対応の証明が載ってる．

137. A Survey on Small Fragments of First-Order Logic over Finite Words Volker Diekert1, Paul Gastin2, Manfred Kufleitner1,3 1 FMI, Universität Stuttgart Universitätsstr. 38, D-70569 Stuttgart, Germany {diekert,kufleitner}@fmi.uni-stuttgart.de 2 LSV, ENS Cachan, CNRS 61, Av. du Président Wilson, F-94230 Cachan, France Paul.Gastin@lsv.ens-cachan.fr 3 LaBRI, Université de Bordeaux & CNRS 351, Cours de la Libération, F-33405 Talence Cedex, France Abstract We consider fragments of first-order logic over finite words. In particu-lar, we deal with first-order logic with a restricted number of variables and with the lower levels of the alternation hierarchy. We use the algebraic ap-proach to show decidability of expressibility within these fragments. As a byproduct, we survey several characterizations of the respective frag-ments. We give complete proofs for all characterizations and we provide all necessary background. Some of the proofs seem to be new and simpler than those which can be found elsewhere. We also give a proof of Simon’s theorem on factorization forests restricted to aperiodic monoids because this is simpler and su

正規言語と代数と論理の対応：An Introduction to Eilenberg’s Variety Theorem

You are reading a preview.

Check these out next

正規言語と代数と論理の対応：An Introduction to Eilenberg’s Variety Theorem

More Related Content

Slideshows for you (20)

More from Ryoma Sin'ya (11)

Recently uploaded (20)