Decision Properties of Regular Languages 1 Properties of

  • Slides: 28
Download presentation
Decision Properties of Regular Languages 1

Decision Properties of Regular Languages 1

Properties of Language Classes u A language class is a set of languages. w

Properties of Language Classes u A language class is a set of languages. w We have one example: the regular languages. w We’ll see many more in this class. u Language classes have two important kinds of properties: 1. Decision properties. 2. Closure properties. 2

Representation of Languages u. Representations can be formal or informal. u. Example (formal): represent

Representation of Languages u. Representations can be formal or informal. u. Example (formal): represent a language by a RE or DFA defining it. u. Example: (informal): a logical or prose statement about its strings: w {0 n 1 n | n is a nonnegative integer} w “The set of strings consisting of some number of 0’s followed by the same number of 1’s. ” 3

Decision Properties u. A decision property for a class of languages is an algorithm

Decision Properties u. A decision property for a class of languages is an algorithm that takes a formal description of a language (e. g. , a DFA) and tells whether or not some property holds. u. Example: Is language L empty? 4

Subtle Point: Representation Matters u. You might imagine that the language is described informally,

Subtle Point: Representation Matters u. You might imagine that the language is described informally, so if my description is “the empty language” then yes, otherwise no. u. But the representation is a DFA (or a RE that you will convert to a DFA). u. Can you tell if L(A) = for DFA A? 5

Why Decision Properties u. We might want a “smallest” representation for a language, e.

Why Decision Properties u. We might want a “smallest” representation for a language, e. g. , a minimum-state DFA or a shortest RE. u. If you can’t decide “Are these two languages the same? ” w I. e. , do two DFA’s define the same language? You can’t find a “smallest. ” 6

Closure Properties u. A closure property of a language class says that given languages

Closure Properties u. A closure property of a language class says that given languages in the class, an operator (e. g. , union) produces another language in the same class. u. Example: the regular languages are obviously closed under union, concatenation, and (Kleene) closure. w Use the RE representation of languages. 7

Why Closure Properties? 1. Helps construct representations. 2. Helps show (informally described) languages not

Why Closure Properties? 1. Helps construct representations. 2. Helps show (informally described) languages not to be in the class. 8

Example: Use of Closure Property u. We can easily prove L 1 = {0

Example: Use of Closure Property u. We can easily prove L 1 = {0 n 1 n | n > 0} is not a regular language. u. L 2 = the set of strings with an = number of 0’s and 1’s isn’t either, but that fact is trickier to prove. u. Regular languages are closed under . u. If L 2 were regular, then L 2 L(0*1*) = L 1 would be, but it isn’t. 9

The Membership Question u. Our first decision property is the question: “is string w

The Membership Question u. Our first decision property is the question: “is string w in regular language L? ” u. Assume L is represented by a DFA A. u. Simulate the action of A on the sequence of input symbols forming w. 10

Example: Testing Membership 01011 Next symbol 0 A Start 0, 1 1 B 1

Example: Testing Membership 01011 Next symbol 0 A Start 0, 1 1 B 1 C 0 Current state 11

Example: Testing Membership 01011 Next symbol 0 A Start 1 0, 1 B 1

Example: Testing Membership 01011 Next symbol 0 A Start 1 0, 1 B 1 C 0 Current state 12

Example: Testing Membership 01011 Next symbol 0 A Start 1 0, 1 B 1

Example: Testing Membership 01011 Next symbol 0 A Start 1 0, 1 B 1 C 0 Current state 13

Example: Testing Membership 01011 Next symbol 0 A Start 0, 1 1 B 1

Example: Testing Membership 01011 Next symbol 0 A Start 0, 1 1 B 1 C 0 Current state 14

Example: Testing Membership 01011 Next symbol 0 A Start 0, 1 1 B 1

Example: Testing Membership 01011 Next symbol 0 A Start 0, 1 1 B 1 C 0 Current state 15

Example: Testing Membership 01011 Next symbol 0 A Start 0, 1 1 B 1

Example: Testing Membership 01011 Next symbol 0 A Start 0, 1 1 B 1 C 0 Current state 16

What if the Regular Language Is not Represented by a DFA? u. There is

What if the Regular Language Is not Represented by a DFA? u. There is a circle of conversions from one form to another: RE ε-NFA DFA NFA 17

The Emptiness Problem u. Given a regular language, does the language contain any string

The Emptiness Problem u. Given a regular language, does the language contain any string at all. u. Assume representation is DFA. u. Construct the transition graph. u. Compute the set of states reachable from the start state. u. If any final state is reachable, then yes, else no. 18

The Infiniteness Problem u. Is a given regular language infinite? u. Start with a

The Infiniteness Problem u. Is a given regular language infinite? u. Start with a DFA for the language. u. Key idea: if the DFA has n states, and the language contains any string of length n or more, then the language is infinite. u. Otherwise, the language is surely finite. w Limited to strings of length n or less. 19

Proof of Key Idea u. If an n-state DFA accepts a string w of

Proof of Key Idea u. If an n-state DFA accepts a string w of length n or more, then there must be a state that appears twice on the path labeled w from the start state to a final state. u. Because there at least n+1 states along the path. 20

Proof – (2) w = xyz x y z Then xyiz is in the

Proof – (2) w = xyz x y z Then xyiz is in the language for all i > 0. Since y is not ε, we see an infinite number of strings in L. 21

Infiniteness – Continued u. We do not yet have an algorithm. u. There an

Infiniteness – Continued u. We do not yet have an algorithm. u. There an infinite number of strings of length > n, and we can’t test them all. u. Second key idea: if there is a string of length > n (= number of states) in L, then there is a string of length between n and 2 n-1. 22

Proof of 2 nd Key Idea y x u. Remember: z u. We can

Proof of 2 nd Key Idea y x u. Remember: z u. We can choose y to be the first cycle on the path. u. So |xy| < n; in particular, 1 < |y| < n. u. Thus, if w is of length 2 n or more, there is a shorter string in L that is still of length at least n. u. Keep shortening to reach [n, 2 n-1]. 23

Completion of Infiniteness Algorithm u. Test for membership all strings of length between n

Completion of Infiniteness Algorithm u. Test for membership all strings of length between n and 2 n-1. w If any are accepted, then infinite, else finite. u. A terrible algorithm. u. Better: find cycles between the start state and a final state. 24

Finding Cycles 1. Eliminate states not reachable from the start state. 2. Eliminate states

Finding Cycles 1. Eliminate states not reachable from the start state. 2. Eliminate states that do not reach a final state. 3. Test if the remaining transition graph has any cycles. 25

The Pumping Lemma u. We have, almost accidentally, proved a statement that is quite

The Pumping Lemma u. We have, almost accidentally, proved a statement that is quite useful for showing certain languages are not regular. u. Called the pumping lemma for regular languages. 26

Statement of the Pumping Lemma Number of states of DFA for L For every

Statement of the Pumping Lemma Number of states of DFA for L For every regular language L There is an integer n, such that For every string w in L of length > n We can write w = xyz such that: 1. |xy| < n. Labels along 2. |y| > 0. first cycle on 3. For all i > 0, xyiz is in L. path labeled w 27

Example: Use of Pumping Lemma u. We have claimed {0 k 1 k |

Example: Use of Pumping Lemma u. We have claimed {0 k 1 k | k > 1} is not a regular language. u. Suppose it were. Then there would be an associated n for the pumping lemma. u. Let w = 0 n 1 n. We can write w = xyz, where x and y consist of 0’s, and y ε. u. But then xyyz would be in L, and this string has more 0’s than 1’s. 28