/*! This file is auto-generated */ .wp-block-button__link{color:#fff;background-color:#32373c;border-radius:9999px;box-shadow:none;text-decoration:none;padding:calc(.667em + 2px) calc(1.333em + 2px);font-size:1.125em}.wp-block-file__button{background:#32373c;color:#fff;text-decoration:none} Q71P Let Σ={0,1}.a. Let  A={0ku0k... [FREE SOLUTION] | 91Ó°ÊÓ

91Ó°ÊÓ

Let Σ={0,1}.

a. Let A={0ku0kk≥1andu∈Σ*}Show that Ais regular.

b. Let B={0k1u0k|k≥1andu∈Σ*}Show thatB is not regular.

Short Answer

Expert verified

a) A is regular is proved.

b) Bis not regular is proved.

Step by step solution

01

Regular language.

A language is regular if it can be expressed in terms of regular expression. A regular expression can also be described as a sequence of pattern that defines a string. Regular expressions are used to match character combinations in strings.

02

Language is regular.

a).

For the string which containsΣ={0,1} where string can be made for the given language in the question and string is formed.

And for the given grammar the language is possible and also its string can be formed and also deterministic finite machine is possible.

The string formed is given as,

In regular expression,

0(0+1)*0

Here, this isbecause(0+1)* can generate all the string required,

(0+1)*=0(0+1)*0=00(0+1)*00=0n(0+1)*0n

Hence, This is proved that A={0ku0kk≥1andu∈Σ*}is regular. And this is a regular language and deterministic finite machine is possible.

03

Language is not regular.

b).

For the string which containsΣ={0,1} where language is regular if it can be expressed in terms of regular expression.A regular expression can also be described as a sequence of pattern that defines a string. Regular expressions are used to match character combinations in strings.

For the given language,B={0k1u0k|k≥1andu∈Σ*}.

B={0k1u0k|k≥1andu∈Σ*}.

The deterministic finite automata is not possible.

Hence,B={0k1u0k|k≥1andu∈Σ*}. is not regular. This is not a regular language and no deterministic finite machine is possible.

Unlock Step-by-Step Solutions & Ace Your Exams!

  • Full Textbook Solutions

    Get detailed explanations and key concepts

  • Unlimited Al creation

    Al flashcards, explanations, exams and more...

  • Ads-free access

    To over 500 millions flashcards

  • Money-back guarantee

    We refund you if you fail your exam.

Over 30 million students worldwide already upgrade their learning with 91Ó°ÊÓ!

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

Let Bn={ak|k is a multiple of n}Show that for eachn⩾1n, the language Bis regular.

The construction in Theorem 1.54 shows that every GNFA is equivalent to a GNFA with only two states. We can show that an opposite phenomenon occurs for DFAs. Prove that for every k>1, a language xAk⊆{0,1}exists that is recognized by a DFA with k states but not by one with onlyk-1 states

An all- NFAMisa5-tuple(Q,Σ,δ,q0,F)that accepts x∈Σ* if every possible state that M could be in after reading input M is a state from F. Note, in contrast, that an ordinary NFA accepts a string if some state among these possible states is an accept state. Prove that all-NFAs recognizes the class of regular languages.

Let A be any language. Define DROP-OUT(A)to be the language containing all strings that can be obtained by removing one symbol from a string in A. Thus,DROP-OUT(A)={xz|xyz∈A  where  x,z∈∑*,y∈∑} . Show that the class of regular languages is closed under the DROP-OUT operation. Give both a proof by picture and a more formal proof by construction as in Theorem 1.47.

A finite state transducer (FST) is a type of deterministic finite automaton whose output is a string and not just accept or reject. The following are state diagrams of finite state transducers T1andT2.

Each transition of an FST is labeled with two symbols, one designating the input symbol for that transition and the other designating the output symbol. The two symbols are written with a slash, I, separating them. In T1, the transition from q1 toq2has input symbol 2 and output symbol 1. Some transitions may have multiple input–output pairs, such as the transition in T1from q1to itself. When an FST computes on an input string w, it takes the input symbols w1···wnone by one and, starting at the start state, follows the transitions by matching the input labels with the sequence of symbols w1···wn=w. Every time it goes along a transition, it outputs the corresponding output symbol. For example, on input 2212011, machine T1enters the sequence of states q1,q2,q2,q2,q2,q1,q1,q1and produces output 1111000. On input abbb, T2outputs 1011. Give the sequence of states entered and the output produced in each of the following parts.

a. T1on input011

b. T1on input211

c. T1on input121

d. T1on input0202

e. T2on input b

f. T2on input bbab

g. T2on input bbbbbb

h. T2on input localid="1663158267545" ε

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.