Warning: foreach() argument must be of type array|object, bool given in /var/www/html/web/app/themes/studypress-core-theme/template-parts/header/mobile-offcanvas.php on line 20

Question: Describe the error in the following “proof” that 0*1*is not a regular language. (An error must exist because 0*1*is regular.) The proof is by contradiction. Assume that 0*1*is regular. Let p be the pumping length for localid="1662103472623" 0*1*given by the pumping lemma. Choose s to be the string 0p1p . You know that s is a member of 0*1*, but Example 1.73 shows that s cannot be pumped. Thus you have a contradiction. So 0*1* is not regular.

Short Answer

Expert verified

The above problems arise when the pumping lemma is used on a language which is regular since violating a condition of the pumping lemma indicates that the language is non-regular but the vice versa is not always true.

Step by step solution

01

Introduction 

The pumping lemma is used as a poor check to prove that the given language is non-regular. The language that violates the any of the three situations of the pumping lemma is classified as non-ordinary.

Because the pumping lemma starts off evolved by assuming that the given language is regular, the belongingness of the string, that is used as a counter instance, is examined most effective for the given language and now not for all the languages that accepts the string.

02

Explanation

The proof given in the example 1.73 (refer to the textbook example 1.73) is for a different language. The counter examples given to prove the language as non-regular does not hold true for the language given in the question as shown below:

Let A be the language0*1*given in the question.

Let B be the language localid="1662104151400" {0n1nn>=0}given in the example 1.73.

As per the example 1.73,s is op1p and hence as per the pumping lemma, s should be split into three pieces as s=xyz , where for any i>=0, the string xyyz is in B . The cases are as follows:

The string y contains all 0s: The string xyyz will result in more number of 0 s than the number of 1 s which does not belong to the language B but the string belongs to language A and hence, the pumping lemma is not violated.

The same reason holds true for the case when the string y contains all 1 s. The string xyz will results in more number of 1 s which is again accept by the given language A .

Since the above conditions are satisfied, the given language cannot be classified as non-regular by pumping lemma.

Therefore, the error in the given proof is that a string which is used as a counter example to prove a certain language as non-regular does not signifies that all the languages that accept that string are considered as non-regular.

The above problems arise when the pumping lemma is used on a language which is regular since violating a condition of the pumping lemma indicates that the language is non-regular but the vice versa is not always true.

One App. One Place for Learning.

All the tools & learning materials you need for study success - in one app.

Get started for free

Most popular questions from this chapter

This problem is inspired by the single-player game Minesweeper, generalized to an arbitrary graph. Let Gbe an undirected graph, where each node either contains a single, hidden mine or is empty. The player chooses nodes, one by one. If the player chooses a node containing a mine, the player loses. If the player chooses an empty node, the player learns the number of neighboring nodes containing mines. (A neighboring node is one connected to the chosen node by an edge.) The player wins if and when all empty nodes have been so chosen.

In the mine consistency problem, you are given a graphG along with numbers labeling some of G’s nodes. You must determine whether a placement of mines on the remaining nodes is possible, so that any node v that is labeled m has exactly m neighboring nodes containing mines. Formulate this problem as a language and show that it isNPcomplete.

Question: Let S={{M}|MisaTMandLM={M'}.Show that S nor S' neither is Turing recognizable.

Show that EQTM is recognizable by a Turing machine with an oracle for ATM.

For each of the following languages, give two strings that are members and two strings that are not members—a total of four strings for each part. Assume the Σ=a,balpha-alphabet in all parts.

a.a*b*b.aba*bc.a*b*d.aaa*e.Σ*aΣ*bΣ*aΣ*f.abababg.(εa)bh.(ababb)Σ*

Let

3=000,001,010,----,111

3contains all size 3 columns of 0s and 1 s. A string of symbols in3gives three rows of 0s and 1s. Consider each row to be a binary number and let B=W*3the bottom row of W is the sum of the top two rows}.

For example,

001,100,010,110Bbut001,101B

Show that Bis regular.

(Hint: Working with BRis easier. You may assume the result claimed in Problem 1.31.)

See all solutions

Recommended explanations on Computer Science Textbooks

View all explanations

What do you think about this solution?

We value your feedback to improve our textbook solutions.

Study anywhere. Anytime. Across all devices.

Sign-up for free