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

 EXERCISE 4 Show that {xcx" | x e {a, *) is

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

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!