Bài giảng môn lý thuyết ôtômát và ngôn ngữ hình thức - Chương 3

Tham khảo bài thuyết trình ''bài giảng môn lý thuyết ôtômát và ngôn ngữ hình thức - chương 3'', kỹ thuật - công nghệ, điện - điện tử phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả

Χη νγ Νγν νγ χηνη θυι ϖ◊ ϖ ν πη m χηνη θυι 3.1 Βι υ τη χ χηνη θυι (Ρεγυλαρ Εξπρεσσιον) 3.2 Μ ι θυαν η γι α ΒΤΧΘ ϖ◊ νγν νγ χηνη θυι 3.3 ς ν πη m χηνη θυι (Ρεγυλαρ Γραmmαρ) Τρανγ 97 Λ τηυψ τ τm〈τ & ΝΝΗΤ − Κηοα Χνγ Νγη Τηνγ Τιν Βι υ τη χ χηνη θυι Βι υ τη χ χηνη θυι (ΒΤΧΘ) λ◊ γ? Λ◊ m τ σ κ τ η π χ〈χ χηυ ι κ ηι υ χ α m τ β νγ χη χ〈ι ∑ ν◊ο đ⌠, χ〈χ δ υ νγο χ, ϖ◊ χ〈χ πηπ το〈ν +, , ϖ◊ ∗ τρονγ đ⌠ πηπ + βι υ τη χηο πηπ η ι, πηπ βι υ τη χηο πηπ κ τ ν ι, πηπ ∗ βι υ τη χηο πηπ βαο đ⌠νγ σαο ς δ Νγν νγ {a} đ χ βι υ τη β ι ΒΤΧΘ a Νγν νγ {a, b, c} đ χ βι υ τη β ι ΒΤΧΘ a + b + c Νγ χ λ ι ΒΤΧΘ (a + b.c)∗ βι υ τη χηο νγν νγ {λ, a, bc, aa, abc, bca, bcbc, aaa, aabc, } Τρανγ 98 Λ τηυψ τ τm〈τ & ΝΝΗΤ − Κηοα Χνγ Νγη Τηνγ Τιν νη νγη α ηνη τη χ ΒΤΧΘ νη νγη α 3.1 Χηο ∑ λ◊ m τ β νγ χη χ〈ι, τη ∅, λ, ϖ◊ α ∈ ∑ τ τ χ đ υ λ◊ νη νγ ΒΤΧΘ η ν ν α χηνγ đ χ γ ι λ◊ νη νγ ΒΤΧΘ νγυψν τη ψ Ν υ ρ1 ϖ◊ ρ2 λ◊ νη νγ ΒΤΧΘ, τη ρ1 + ρ2, ρ1 ρ2, ρ1∗, ϖ◊ (ρ1) χ νγ ϖ ψ Μ τ χηυ ι λ◊ m τ ΒΤΧΘ ν υ ϖ◊ χη ν υ ν⌠ χ⌠ τη đ χ δ ν ξυ τ τ χ〈χ ΒΤΧΘ νγυψν τη ψ β νγ m τ σ λ ν η υ η ν 〈π δ νγ χ〈χ θυψ τ χ τρονγ (2) ς δ Χηο ∑ = {α, β, χ}, τη χηυ ι (α + β.χ)∗.(χ + ∅) λ◊ ΒΤΧΘ, ϖ ν⌠ đ χ ξψ δ νγ β νγ χ〈χη 〈π δ νγ χ〈χ θυι τ χ τρν Χ∫ν (α + β +) κηνγ πη ι λ◊ ΒΤΧΘ Τρανγ 99 Λ τηυψ τ τm〈τ & ΝΝΗΤ − Κηοα Χνγ Νγη Τηνγ Τιν Νγν νγ τ νγ νγ ϖ ι ΒΤΧΘ νη νγη α 3.2 Νγν νγ Λ(ρ) đ χ βι υ τη β ι ΒΤΧΘ β τ κ λ◊ đ νγη α β ι χ〈χ θυι τ χ σαυ ∅ λ◊ ΒΤΧΘ βι υ τη τ π τρ νγ, λ λ◊ ΒΤΧΘ βι υ τη {λ}, ι ϖ ι m ι α ∈ ∑, α λ◊ ΒΤΧΘ βι υ τη {α}, Ν υ ρ1 ϖ◊ ρ2 λ◊ νη νγ ΒΤΧΘ, τη Λ(ρ1 + ρ2) = Λ(ρ1) ∪ Λ(ρ2), Λ(ρ1.ρ2) = Λ(ρ1).Λ(ρ2), Λ((ρ1)) = Λ(ρ1), Λ(ρ1∗) = (Λ(ρ1))∗ Τρανγ 100 Λ τηυψ τ τm〈τ & ΝΝΗΤ − Κηοα Χνγ Νγη Τηνγ Τιν χ đ νη Νγν νγ τ Θυι đ νη ϖ đ νγ νγ ϖ ι ΒΤΧΘ (ττ) υ τιν υ τιν χ α χ〈χ πηπ το〈ν τηεο τη τ τ χαο đ ν τη π λ◊ βαο đ⌠νγ – σαο, κ τ ν ι, η ι ς δ Λ(α∗ (α + β)) = = = = Λ(α∗) Λ(α + β) (Λ(α))∗ (Λ(α) ∪ Λ(β)) {λ, α, αα, ααα, }{α, β} {α, αα, ααα, , β, αβ, ααβ, } Τρανγ 101 Λ τηυψ τ τm〈τ & ΝΝΗΤ − Κηοα Χνγ Νγη Τηνγ Τιν Ξ〈χ đ νη νγν νγ χηο ΒΤΧΘ Τm νγν νγ χ α χ〈χ ΒΤΧΘ σαυ ρ1 = (αα)∗(ββ)∗β ρ2 = (αβ∗α + β)∗ ρ3 = α(α + β)∗ Κ τ θυ Λ(ρ1) = {α2νβ2m+1: ν ≥ 0, m ≥ 0} Λ(ρ2) = {ω ∈ {α, β}∗: να(ω) χη ν} Λ(ρ3) = {ω ∈ {α, β}∗: ω đ χ β τ đ υ β νγ α} Τρανγ 102 Λ τηυψ τ τm〈τ & ΝΝΗΤ − Κηοα Χνγ Νγη Τηνγ Τιν Τm ΒΤΧΘ χηο νγν νγ Τm ΒΤΧΘ χηο χ〈χ νγν νγ σαυ Λ1 = {τ π τ τ χ χ〈χ σ τη χ χ α Πασχαλ} Λ2 = {ω ∈ {0, 1}∗: ω κηνγ χ⌠ m τ χ π σ λιν τι π ν◊ο} Λ3 = {ω ∈ {0, 1}∗: ν0(ω) = ν1(ω)} Κ τ θυ ρ1 = (‘+’ + ‘−’ + λ)(0 + + … + 9)+(‘.’ (0 + + … + 9)+ + λ) (‘Ε’ (‘+’ + ‘−’ + λ)(0 + + … + 9)+ + λ) ρ2 = [(1∗ 011∗)∗ + 1∗] (0 + λ) ηο χ (1 + 01)∗ (0 + λ) Κηνγ τ ν τ ι ΒΤΧΘ βι υ δι ν χηο Λ3 Τρανγ 103 Λ τηυψ τ τm〈τ & ΝΝΗΤ − Κηοα Χνγ Νγη Τηνγ Τιν Μ τ σ πηπ το〈ν m ρ νγ Πηπ χη ν λ α ρ? ηο χ [ρ] ρ ? = [ρ] = (ρ + λ) Πηπ βαο đ⌠νγ δ νγ + ρ+ = ρ.ρ∗ Χη  (ρ∗)∗ = ρ∗ (ρ1∗ + ρ2)∗ = (ρ1 + ρ2)∗ (ρ1ρ2∗ + ρ2)∗ = (ρ1 + ρ2)∗ Τρονγ m τ σ τ◊ι λι υ πηπ χ νγ (+) đ χ κ ηι υ β νγ δ υ | τηαψ χηο δ υ + Χη νγ η ν (α + β).χ τη đ χ ϖι τ λ◊ (α | β).χ Τρανγ 104 Λ τηυψ τ τm〈τ & ΝΝΗΤ − Κηοα Χνγ Νγη Τηνγ Τιν ΒΤΧΘ βι υ τη ΝΝΧΘ νη λ 3.1 Χηο ρ λ◊ m τ ΒΤΧΘ, τη τ ν τ ι m τ νφα m◊ χη π νη ν Λ(ρ) ς ϖ ψ, Λ(ρ) λ◊ ΝΝΧΘ Β đ ς ι m ι νφα χ⌠ νηι υ η ν m τ τρ νγ τη〈ι κ τ τηχ λυν λυν χ⌠ m τ νφα τ νγ đ νγ ϖ ι χη m τ τρ νγ τη〈ι κ τ τηχ θφ1 θφν τ νγ đ νγ ϖ ι θφ1 θφν λ λ θφ Τρανγ 105 Λ τηυψ τ τm〈τ & ΝΝΗΤ − Κηοα Χνγ Νγη Τηνγ Τιν Τη τ χ: ρε−το−νφα Τ β đ τρν m ι νφα χ⌠ τη đ νη σαυ Μ θ0 Χη νγ mινη Τη τ χ: ρε−το−νφα χ βι υ δι ν β νγ σ đ θφ Ινπυτ: Βι υ τη χ χηνη θυι ρ Ουτπυτ: νφα Μ = (Θ, Σ, δ, θ0, Φ) Β1 Ξψ δ νγ χ〈χ νφα χηο χ〈χ ΒΤΧΘ νγυψν τη ψ θ0 θ1 θ0 λ θ1 θ0 α θ1 (α) νφα χη π νη ν ∅ (β) νφα χη π νη ν {λ} (χ) νφα χη π νη ν {α} Τρανγ 106 Λ τηυψ τ τm〈τ & ΝΝΗΤ − Κηοα Χνγ Νγη Τηνγ Τιν Τη τ χ: ρε−το−νφα (ττ) Β2 Ξψ δ νγ χ〈χ νφα χηο χ〈χ ΒΤΧΘ πη χ τ π νφα χηο ΒΤΧΘ r1 + r2 λ θ01 Μ(ρ1) θφ1 Μ(ρ1) λ ηο χ λ θ02 Μ(ρ2) θφ2 λ Μ(ρ2) Κ: Κηνγ χ⌠ χ νη đι ϖ◊ο θ01 ϖ◊ θ02 Κηνγ χ⌠ χ νη đι ρα θφ1 ϖ◊ θφ2 Τρανγ 107 Λ τηυψ τ τm〈τ & ΝΝΗΤ − Κηοα Χνγ Νγη Τηνγ Τιν Τη τ χ: ρε−το−νφα (ττ) νφα χηο ΒΤΧΘ r1r2 λ θ01 Μ(ρ1) θφ1 λ θ02 Μ(ρ2) θφ2 ηο χ Μ(ρ1) Μ(ρ2) Κ: Κηνγ χ⌠ χ νη đι ρα θφ1 ηο χ Κηνγ χ⌠ χ νη đι ϖ◊ο θ02 Τρανγ 108 Λ τηυψ τ τm〈τ & ΝΝΗΤ − Κηοα Χνγ Νγη Τηνγ Τιν λ ... α χ〈χ ΒΤΧΘ σαυ ρ1 = (αα)∗(ββ)∗β ρ2 = (αβ∗α + β)∗ ? ?3 = α(α + β)∗ Κ τ θυ Λ(ρ1) = {α2νβ2m+1: ν ≥ 0, m ≥ 0} Λ(ρ2) = {ω ∈ {α, β}∗: να(ω) χη ν} Λ(? ?3) = {ω ∈ {α, β}∗: ω đ χ β τ đ υ β νγ α} Τρανγ 102... λ) ρ2 = [(1∗ 011∗)∗ + 1∗] (0 + λ) ηο χ (1 + 01)∗ (0 + λ) Κηνγ τ ν τ ι ΒΤΧΘ βι υ δι ν χηο ? ?3 Τρανγ 1 03 Λ τηυψ τ τm〈τ & ΝΝΗΤ − Κηοα Χνγ Νγη Τηνγ Τιν Μ τ σ πηπ το〈ν m ρ νγ Πηπ χη ν λ α ρ?... aabc, } Τρανγ 98 Λ τηυψ τ τm〈τ & ΝΝΗΤ − Κηοα Χνγ Νγη Τηνγ Τιν νη νγη α ηνη τη χ ΒΤΧΘ νη νγη α 3. 1 Χηο ∑ λ◊ m τ β νγ χη χ〈ι, τη ∅, λ, ϖ◊ α ∈ ∑ τ τ χ đ υ λ◊ νη νγ ΒΤΧΘ η ν ν α χηνγ đ χ γ ι λ◊