Finite Automaton equivalents to Regular Expression

数物セミナー冬の大談話会2015 in 岡山での発表資料

Transcript

2. • • •
3. • • • • • • •
4. • : → • ∈ , ⊂ , ∀ , ∃ •
5. • •
6. • • •
7. • • • •
9. •
10. $ perl -i -pe 's/foo/bar/g' input foo oaaahhhhhhhh! -> bar oaaahhhhhhhh! $ perl -i'*.bak' -pe 's/foo/bar/g' input
11. • HT 0x09 ¥t LF 0x0a ¥n CR 0x0d ¥r LF ¥n CR ¥r CR+LF ¥r¥n
12. $ perl -i -pe 's/^¥t*//g' input
13. <A>B</C> -> B $ perl -i -pe 's/<(.*)>(.*)</(.*)>/$2/g' input <saflijlsa>BBBBBBBIAA</fjsaljfoa> -> BBBBBBBIAA ¥1
14. • http://www.rexv.org/ • https://jex.im/regulex/
15. • • https://speakerdeck.com/spark6251/
16. • • • •
17. • 0 ∈ ℕ
19. •
22. 1 1 2
23. • 1 1 1 1 1 2 2 2 1 2
24. • ≠ Σ • • Σ • • • Σ Σ5 ∋ = = 5 • = 0 • Σ = , , , , , , , , ⋯
25. def = , Σ, , 0 , Σ : × Σ → 0 ∈ ⊂
26. 1 = {1 , 2 } Σ = 0,1 : × Σ → 1 ∈ 2 ⊂ 0 1 1 2 1 2 2 2 1 2
27. def =
28. 1 = 0 1 (.*)0(.*) 1 2
29. 1 2 1 2 2
30. Σ = < RESET >, 0,1, ⋯ , • • < RESET >
31. • = , Σ, , 0 , • Σ ∋ = 1 2 ⋯ ∀ ∈ Σ def ∃ ∈ s. t. 0 = 0 , +1 = +1 ∈
32. def ∃: NFA s. t. recognize
33. • , • ∪ ≔ ∈ or ∈ • ∘ ≔ ∈ and ∈ • ∗ ≔ 1 2 ⋯ ∈ ℕ, ∈ •
34. • Σ ≔ , , ⋯ , • ≔ good, bad • ≔ start, end • ∪ = good, bad, start, end • ∘ = goodstart, goodend, badstart, badend • ∗ = , good, bad, goodgood, goodbad, badbad, ⋯
35. 1 , 2 : Reg. Lang. ⇒ 1 ∪ 2 : Reg. Lang. 1 , 2 : Reg. Lang. ⇒ 1 ∘ 2 : Reg. Lang. : Reg. Lang. ⇒ ∗: Reg. Lang.
36. • 1 , 2 1 , 2 • 1 ∪ 2 • 1 , 2 • 1 or 2 • • 1 2 •
37. • 1 = 1 , Σ, 1 , 1 , 1 1 • 2 = 2 , Σ, 2 , 2 , 2 2 1. ≔ 1 , 2 1 ∈ 1 and 2 ∈ 2 2. ∀ 1 , 2 ∈ : ∀ ∈ Σ: 1 , 2 , = 1 1 , , 2 2 , 3. 0 ≔ 1 , 2 4. ≔ 1 , 2 1 ∈ 1 or 2 ∈ 2 = 1 × 2 ∪ 2 × 1 = , Σ, , 0 ,
38. 1 1 2 1 2 1 2
39. • = , Σ, , 0 , = 1 , 2 , 1 , 1 , 1 , 2 , 1 , 2 , 1 , 1 , 1 , 2 : 1 × 2 × Σ → 1 × 2 0 = 1 , 2 = 1 , 2 , 1 , 1 , 1 , 2 , 1 , 1 1 1 2 1 2 1 2
40. • • •
41. • • • • •
42. • 2 1 3 4
43. 2 1 1 1 2 1 3 3 3 4 2 1 3 4
44. def = , Σ, , 0 , Σ : × Σ → Σ ≔ Σ ∪ 0 ∈ ⊂
45. = {1 , 2 , 3 , 4 } Σ = 0,1 : × Σ → 1 ∈ 2 ⊂ 0 1 ε 1 1 1 , 2 ∅ 2 3 ∅ 3 3 4 ∅ ∅ 4 ∅ ∅ ∅ 2 1 3 4
46. • = , Σ, , 0 , • Σ ∋ = 1 2 ⋯ ∀ ∈ Σ def ∃ ∈ s. t. 0 = 0 ∀ ∈ ℕ, ≤ − 1: +1 ∈ , +1 ∈
47. iff ∀1 : NFA: ∃2 : DFA s. t. 1 ≡ 2 ∀1 , 2 : FA 1 ≡ 2 def 1 2
48. • = , Σ, , 0 , • ′ = ′, Σ, ′, 0 ′ , ′ • ′ • • • • card = ⇒ card = 2
49. • = , Σ, , 0 , • ′ = ′, Σ, ′, 0 ′ , ′ 1. ′ ≔ 2. ∀ ∈ ′: ∀ ∈ Σ: ′ , = ∈ ∈ , , ∈ = , ∈ 3. 0 ′ ≔ 0 4. ′ ≔ ∈ ′ ⊂
50. • ⊂ ′ ∈ ′ ∗ → • ⊂ ≔ ∗ → ′ , = , = ∈ ∈ , , ∈ 0 ′ = 0 ///
51. ∃: DFA s. t. recognize
52. • • • ′ = ′ ′ 2 1 3
53. • = , Σ, , 0 , • ′ = ′, Σ, ′, 0 ′ , ′ • 0 ′ = 0 = 1 , 2 • ′ = 3 , 1 , 3 , 2 , 3 , 1 , 2 , 3 2 1 3
54. 0 1 ε 1 1 1 , 2 ∅ 2 3 ∅ 3 3 ∅ ∅ ∅ ′ 0 1 1 1 , 2 , 3 1 , 2 2 3 ∅ 3 ∅ ∅ 2 1 3
55. ′ 0 1 1 1 , 2 , 3 1 , 2 2 3 ∅ 3 ∅ ∅ ′ 0 1 1 1 , 2 , 3 1 , 2 2 3 ∅ 3 ∅ ∅ 1 , 2 1 , 2 , 3 1 , 2 1 , 2 , 3 1 , 2 , 3 1 , 2 2 1 3
56. 1 , 2 , 3 1 , 2 3 2 1
57. 1 , 2 , 3 1 , 2
58. ′ = 1 , 2 , 1 , 2 , 3 0 ′ = 1 , 2 ′ = 1 , 2 , 3 1 , 2 , 3 1 , 2 ′ 0 1 1 , 2 1 , 2 , 3 1 , 2 1 , 2 , 3 1 , 2 , 3 1 , 2
59. 1 , 2 : Reg. Lang. ⇒ 1 ∪ 2 : Reg. Lang. 1 , 2 : Reg. Lang. ⇒ 1 ∘ 2 : Reg. Lang. : Reg. Lang. ⇒ ∗: Reg. Lang.
60. 1. ≔ 0 ∪ 1 ∪ 2 2. ∀ ∈ : ∀ ∈ Σ : , = 1 , ∈ 1 2 , ∈ 2 1 , 2 = 0 and = ∅ = 0 and ≠ 3. ≔ 1 ∪ 2 • = 0 and = • 1 ∘ 2 , ∗
61. • • •
62. • Σ = 0,1 • 0 ∪ 1 ∗ • 0 ∪ 1 ∗0 0 ∪ 1 ∗ ∘ 0 • 0Σ∗ ∪ 1Σ∗ ΣΣ∗
63. • ∗, 1 ∘ 2 , 1 ∪ 2 • 1 ∗ ∪ 2 ∘ 3 ∪ 4 ∗ 1 ∗ ∪ 2 ∘ 3 ∪ 4 ∗
64. def 1. ∈ Σ 2. 3. ∅ 4. 1 ∪ 2 5. 1 ∘ 2 6. 1 ∗ 1 , 2
65. • + ≔ ∗ • + = ∪ • ≔ ⋯ ∈ ℕ • 1∗∅ ≔ ∅ • ∅∗ ≔ • ∗
66. +∪−∪ + ∪ +. ∗ ∪ ∗. + +72, −5.2, 2. , −.6
67. •
68. • NFA DFA def ∃: NFA s. t. recognize
69. ⇐ ⇒ ⇒
70. ⇐ 1. ∈ Σ = = = 1 , 2 , Σ, , 1 , 2 2. = = = 1 , Σ, , 1 , 1 a 1 2 1
71. ⇐ 3. = ∅ = ∅ = 1 , Σ, , 1 , ∅ 4. = 1 ∪ 2 5. = 1 ∘ 2 6. = 1 ∗ 1
72. ⇒
73. • • • • •
74. • = , Σ, , 0 , • ′ = ′, Σ, ′, , • → ′ 1. 0 → 2. ∈ : → ∅
75. + 2 + 1 2
76. 1 2 2 3 3 1 1 3 1 2 ∗3
77. def = , Σ, , , Σ : − × − → ℛ ℛ ∈ ∈ 1 , 2 = 1 2
78. • = , Σ, , , • Σ ∋ = 1 2 ⋯ ∀ ∈ Σ∗ def ∃ ∈ s. t. 0 = = ∀ ∈ ℕ: = −1 , ⇒ ∈
79. ⇒ • CONVERT
80. ⇒ CONVERT 5. 6. = 2 →
81. ⇒ CONVERT 7. > 2 , ≠ rip ∈ ′ = ′, Σ, ′, , ′ = − rip ∀ ∈ ′ − , ∀ ∈ ′ − : ′ , = 1 2 ∗ 3 ∪ 4 1 = , rip , 2 = rip , rip , 3 = rip , , 4 = , 8. CONVERT ′ = 2
82. ⇒ CONVERT CONVERT CONVERT CONVERT G′ CONVERT ′ CONVERT ′′ CONVERT −2
83. ⇒ ∀: GNFA: CONVERT ≡ ′ = CONVERT ∀1 , 2 : FA 1 ≡ 2 def 1 2
84. ⇒ ⇒ = 2 • •
85. ⇒ ⇒ − 1 ′ , 1 , 2 , ⋯ , ≠ rip ∀ ′
86. ⇒ ⇒ rip → rip → ′
87. ⇒ ⇐ ′ rip ′
88. ⇒ ′ − 1 ′ ≡ ≡
89. 2 1 3
90. 1 ∪ 0 ∪ 1 2 1 3 0
91. 1 ∪ 0 ∪ 1 2 1 0
92. 1 ∪ 0 0 ∪ 1 1
93. 0 ∪ 1 ∗ 1 ∪ 0 [01]*1?0
94. • 0∗1∗ • 01 • • •
95. •
96. • •