Chapter 1: Q53P (page 91)
Let and
ADD
Show that ADD is not regular.
Short Answer
It is proved that ADD is not regular language.
/*! 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}
Learning Materials
Features
Discover
Chapter 1: Q53P (page 91)
Let and
ADD
Show that ADD is not regular.
It is proved that ADD is not regular language.
All the tools & learning materials you need for study success - in one app.
Get started for free
Question: The following are the state diagrams of two DFAs , M1 and M2 . Answer the following questions about each of these machines.

a. What is the start state ?
b. What is the set of accept states ?
c. What sequence of states does the machine go through on input aabb ?
d. Does the machine accept the string aabb ?
e. Does the machine accept the string ?
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 , a language exists that is recognized by a DFA with k states but not by one with only states
Let Here, contains all columns of localid="1663175934749" of height two. A string of symbols in gives two rows of . Consider each row to be a binary number and let . For example, but . Show that C is regular. (You may assume the result claimed in Problem 1.31.)
Convert the following regular expressions to NFAs using the procedure given in Theorem 1.54. In all parts,.
What do you think about this solution?
We value your feedback to improve our textbook solutions.