Answered step by step
Verified Expert Solution
Link Copied!

Question

1 Approved Answer

EXERCISE 4 Show that {xcx | x e {a, *) is not regular. Hint: Copy the proof ofTheorem 11.2- only minor alterations are needed Theorem

image text in transcribed

EXERCISE 4 Show that {xcx" | x e {a, *) is not regular. Hint: Copy the proof ofTheorem 11.2- only minor alterations are needed Theorem 11.2: x is not regular for any alphabet with at least two symbols Proof: Let M2(Q, , 8, %, F) be any DFA with 1 1 2; we will show that L(M) {xx/J. The alphabet contains at least two symbols; call two of these a and b. Consider the behavior of M on an arbitrarily long string of as. As it reads the string, M visits a sequence of states: first "(%-c), then *(%-a), then "(%-aa), and so on. Eventually, since M has only finitely many states, it must revisit a state; that is, there must be some i and j with i

Step by Step Solution

There are 3 Steps involved in it

Step: 1

blur-text-image

Get Instant Access to Expert-Tailored Solutions

See step-by-step solutions with expert insights and AI powered tools for academic success

Step: 2

blur-text-image_2

Step: 3

blur-text-image_3

Ace Your Homework with AI

Get the answers you need in no time with our AI-driven, step-by-step assistance

Get Started

Recommended Textbook for

Database Management An Organizational Perspective

Authors: Richard T. Watson

1st Edition

0471305340, 978-0471305347

Students also viewed these Databases questions