closure properties of regular languages

35
Closure Properties of Regular Languages Lecture 13 Section 4.1 Robb T. Koether Hampden-Sydney College Wed, Sep 21, 2016 Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 1 / 28

Upload: others

Post on 24-Jan-2022

9 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Closure Properties of Regular Languages

Closure Properties of Regular LanguagesLecture 13Section 4.1

Robb T. Koether

Hampden-Sydney College

Wed, Sep 21, 2016

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 1 / 28

Page 2: Closure Properties of Regular Languages

Outline

1 Closure Properties of Regular Languages

2 Additional Closure Properties

3 Examples

4 Right Quotients

5 Example

6 Assignment

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 2 / 28

Page 3: Closure Properties of Regular Languages

Outline

1 Closure Properties of Regular Languages

2 Additional Closure Properties

3 Examples

4 Right Quotients

5 Example

6 Assignment

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 3 / 28

Page 4: Closure Properties of Regular Languages

Closure

Theorem (Closure Properties of Regular Languages)The class of regular languages is closed under the operations ofcomplementation, union, concatenation, and Kleene star.

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 4 / 28

Page 5: Closure Properties of Regular Languages

Closure

Proof for unions.

A

B

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 5 / 28

Page 6: Closure Properties of Regular Languages

Closure

Proof for unions.

A

B

λ

λ λ

λ

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 6 / 28

Page 7: Closure Properties of Regular Languages

Closure

Proof for concatenations.

A B

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 7 / 28

Page 8: Closure Properties of Regular Languages

Closure

Proof for concatenations.

A Bλ λ λ

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 8 / 28

Page 9: Closure Properties of Regular Languages

Closure

Proof for Kleene star.

A

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 9 / 28

Page 10: Closure Properties of Regular Languages

Closure

Proof for Kleene star.

λ

λ

λ

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 10 / 28

Page 11: Closure Properties of Regular Languages

Closure

Example (Closure)A DFA for the language (A ∪ BC)∗.

A

B C

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 11 / 28

Page 12: Closure Properties of Regular Languages

Closure

Example (Closure)A DFA for the language (A ∪ BC)∗.

A

B Cλλ λ

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 12 / 28

Page 13: Closure Properties of Regular Languages

Closure

Example (Closure)A DFA for the language (A ∪ BC)∗.

A

B Cλλ λ

λ

λ

λ

λ

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 13 / 28

Page 14: Closure Properties of Regular Languages

Closure

Example (Closure)A DFA for the language (A ∪ BC)∗.

A

B Cλλ λ

ε

λ

λ

λ

λ

λ

λ

λ

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 14 / 28

Page 15: Closure Properties of Regular Languages

Closure

Example (Closure)If A = {a}, B = {b}, and C = {c}, then we have.

A

B Cλλ λ

λ

λ

λ

λ

λ

λ

λ

λ

a

cb

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 15 / 28

Page 16: Closure Properties of Regular Languages

Closure

Example (Closure)The equivalent DFA is.

a

b

a

b

b

c

a

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 16 / 28

Page 17: Closure Properties of Regular Languages

Closure

Example (Closure)This can be minimized to.

a

b

b c

a

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 17 / 28

Page 18: Closure Properties of Regular Languages

Outline

1 Closure Properties of Regular Languages

2 Additional Closure Properties

3 Examples

4 Right Quotients

5 Example

6 Assignment

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 18 / 28

Page 19: Closure Properties of Regular Languages

More Closure Properties

CorollaryThe set of regular languages is closed under intersection and setdifference.

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 19 / 28

Page 20: Closure Properties of Regular Languages

Outline

1 Closure Properties of Regular Languages

2 Additional Closure Properties

3 Examples

4 Right Quotients

5 Example

6 Assignment

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 20 / 28

Page 21: Closure Properties of Regular Languages

Example (Intersection)Let Σ = {a,b} and

L1 = {w | w contains aba}L2 = {w | w contains bab}

Design a DFA for L1 ∩ L2.Design a DFA for L1 − L2.

Design a DFA for L1 ∪ L2.

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 21 / 28

Page 22: Closure Properties of Regular Languages

Example (Intersection)Let Σ = {a,b} and

L1 = {w | w contains aba}L2 = {w | w contains bab}

Design a DFA for L1 ∩ L2.Design a DFA for L1 − L2.Design a DFA for L1 ∪ L2.

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 21 / 28

Page 23: Closure Properties of Regular Languages

Outline

1 Closure Properties of Regular Languages

2 Additional Closure Properties

3 Examples

4 Right Quotients

5 Example

6 Assignment

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 22 / 28

Page 24: Closure Properties of Regular Languages

Right Quotients

Definition (Right Quotient)Let L1 and L2 be languages on an alphabet Σ. The right quotient of L1with L2 is

L1/L2 = {x | xy ∈ L1 for some y ∈ L2}.

TheoremIf L1 and L2 are regular languages, then L1/L2 is regular.

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 23 / 28

Page 25: Closure Properties of Regular Languages

Right Quotients

Proof.Let L1 = L(M) and M = (Q,Σ, δ,q0,F ).

Define M ′ = (Q,Σ, δ,q0,F ′) with F ′ defined as follows.

For each qi ∈ Q, let Mi = (Q,Σ, δ,qi ,F ).Determine whether L(Mi ) ∩ L2 = ∅.

If L(Mi) ∩ L2 6= ∅, then qi ∈ F ′.If L(Mi) ∩ L2 = ∅, then qi /∈ F ′.

The idea is thatx goes from q0 to qi for some qi ∈ Q.y goes from qi to qf for some qf ∈ F and y ∈ L2.

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 24 / 28

Page 26: Closure Properties of Regular Languages

Right Quotients

Proof.Let L1 = L(M) and M = (Q,Σ, δ,q0,F ).Define M ′ = (Q,Σ, δ,q0,F ′) with F ′ defined as follows.

For each qi ∈ Q, let Mi = (Q,Σ, δ,qi ,F ).Determine whether L(Mi ) ∩ L2 = ∅.

If L(Mi) ∩ L2 6= ∅, then qi ∈ F ′.If L(Mi) ∩ L2 = ∅, then qi /∈ F ′.

The idea is thatx goes from q0 to qi for some qi ∈ Q.y goes from qi to qf for some qf ∈ F and y ∈ L2.

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 24 / 28

Page 27: Closure Properties of Regular Languages

Right Quotients

Proof.Let L1 = L(M) and M = (Q,Σ, δ,q0,F ).Define M ′ = (Q,Σ, δ,q0,F ′) with F ′ defined as follows.

For each qi ∈ Q, let Mi = (Q,Σ, δ,qi ,F ).

Determine whether L(Mi ) ∩ L2 = ∅.

If L(Mi) ∩ L2 6= ∅, then qi ∈ F ′.If L(Mi) ∩ L2 = ∅, then qi /∈ F ′.

The idea is thatx goes from q0 to qi for some qi ∈ Q.y goes from qi to qf for some qf ∈ F and y ∈ L2.

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 24 / 28

Page 28: Closure Properties of Regular Languages

Right Quotients

Proof.Let L1 = L(M) and M = (Q,Σ, δ,q0,F ).Define M ′ = (Q,Σ, δ,q0,F ′) with F ′ defined as follows.

For each qi ∈ Q, let Mi = (Q,Σ, δ,qi ,F ).Determine whether L(Mi ) ∩ L2 = ∅.

If L(Mi) ∩ L2 6= ∅, then qi ∈ F ′.If L(Mi) ∩ L2 = ∅, then qi /∈ F ′.

The idea is thatx goes from q0 to qi for some qi ∈ Q.y goes from qi to qf for some qf ∈ F and y ∈ L2.

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 24 / 28

Page 29: Closure Properties of Regular Languages

Right Quotients

Proof.Let L1 = L(M) and M = (Q,Σ, δ,q0,F ).Define M ′ = (Q,Σ, δ,q0,F ′) with F ′ defined as follows.

For each qi ∈ Q, let Mi = (Q,Σ, δ,qi ,F ).Determine whether L(Mi ) ∩ L2 = ∅.

If L(Mi) ∩ L2 6= ∅, then qi ∈ F ′.

If L(Mi) ∩ L2 = ∅, then qi /∈ F ′.

The idea is thatx goes from q0 to qi for some qi ∈ Q.y goes from qi to qf for some qf ∈ F and y ∈ L2.

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 24 / 28

Page 30: Closure Properties of Regular Languages

Right Quotients

Proof.Let L1 = L(M) and M = (Q,Σ, δ,q0,F ).Define M ′ = (Q,Σ, δ,q0,F ′) with F ′ defined as follows.

For each qi ∈ Q, let Mi = (Q,Σ, δ,qi ,F ).Determine whether L(Mi ) ∩ L2 = ∅.

If L(Mi) ∩ L2 6= ∅, then qi ∈ F ′.If L(Mi) ∩ L2 = ∅, then qi /∈ F ′.

The idea is thatx goes from q0 to qi for some qi ∈ Q.y goes from qi to qf for some qf ∈ F and y ∈ L2.

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 24 / 28

Page 31: Closure Properties of Regular Languages

Right Quotients

Proof.Let L1 = L(M) and M = (Q,Σ, δ,q0,F ).Define M ′ = (Q,Σ, δ,q0,F ′) with F ′ defined as follows.

For each qi ∈ Q, let Mi = (Q,Σ, δ,qi ,F ).Determine whether L(Mi ) ∩ L2 = ∅.

If L(Mi) ∩ L2 6= ∅, then qi ∈ F ′.If L(Mi) ∩ L2 = ∅, then qi /∈ F ′.

The idea is thatx goes from q0 to qi for some qi ∈ Q.y goes from qi to qf for some qf ∈ F and y ∈ L2.

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 24 / 28

Page 32: Closure Properties of Regular Languages

Outline

1 Closure Properties of Regular Languages

2 Additional Closure Properties

3 Examples

4 Right Quotients

5 Example

6 Assignment

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 25 / 28

Page 33: Closure Properties of Regular Languages

Right Quotients

Example (Right Quotients)Let Σ = {a,b} and

L1 = L(aba∗)L2 = L(b∗a)

That is,

L1 = {ab,aba,abaa,abaaa, . . .}L2 = {a,ba,bba,bbba, . . .}

Use the construction in the proof to create a DFA for L1/L2.

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 26 / 28

Page 34: Closure Properties of Regular Languages

Outline

1 Closure Properties of Regular Languages

2 Additional Closure Properties

3 Examples

4 Right Quotients

5 Example

6 Assignment

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 27 / 28

Page 35: Closure Properties of Regular Languages

Assignment

AssignmentSection 4.1 Exercises 1a, 2, 4, 6b, 11, 12, 14, 16, 20.Is the family of regular languages closed under infinite union?That is, if L1,L2,L3, . . . are regular languages, is L1 ∪ L2 ∪ L3 ∪ · · ·necessarily a regular language?What about infinite intersections of regular languages? MustL1 ∩ L2 ∩ L3 ∩ · · · be regular?

Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages Wed, Sep 21, 2016 28 / 28