1answer.
Ask question
Login Signup
Ask question
All categories
  • English
  • Mathematics
  • Social Studies
  • Business
  • History
  • Health
  • Geography
  • Biology
  • Physics
  • Chemistry
  • Computers and Technology
  • Arts
  • World Languages
  • Spanish
  • French
  • German
  • Advanced Placement (AP)
  • SAT
  • Medicine
  • Law
  • Engineering
Shalnov [3]
3 years ago
7

The product construction yields a DFA that accepts the union of two regular languages. Sometimes the construction gives a minima

l DFA, but it often gives a DFA with more states than necessary. Show that even if we start with two minimal DFAs, the resulting DFA may not be minimal.
Computers and Technology
1 answer:
12345 [234]3 years ago
6 0

Answer:

Explanation:

Suppose language B over alphabet Σ has a DFA

M = ( Q, Σ, δ, q1, F ).

Then, a DFA for the complementary language B is

M = ( Q, Σ, δ, q1, Q − F ).

The reason why M recognizes B is as follows. First note that M and M have the

same transition function δ. Thus, since M is deterministic, M is also deterministic.

Now consider any string w ∈ Σ∗

. Running M on input string w will result in M

ending in some state r ∈ Q. Since M is deterministic, there is only one possible state that M can end in on input w. If we run M on the same input w, then M will end in

the same state r since M and M have the same transition function. Also, since M is

deterministic, there is only one possible ending state that M can be in on input w.

Now suppose that w ∈ B. Then M will accept w, which means that the ending state

r ∈ F, i.e., r is an accept state of M. But then r 6∈ Q − F, so M does not accept w

since M has Q − F as its set of accept states. Similarly, suppose that w 6∈ B. Then

M will not accept w, which means that the ending state r 6∈ F. But then r ∈ Q − F,

so M accepts w. Therefore, M accepts string w if and only M does not accept string

w, so M recognizes language B. Hence, the class of regular languages is closed under

complement.

4. We say that a DFA M for a language A is minimal if there does not exist another

DFA M′

for A such that M′ has strictly fewer states than M. Suppose that M =

(Q, Σ, δ, q0, F) is a minimal DFA for A. Using M, we construct a DFA M for the

complement A as M = (Q, Σ, δ, q0, Q − F). Prove that M is a minimal DFA for A.

Answer:

We prove this by contradiction. Suppose that M is not a minimal DFA for A. Then

there exists another DFA D for A such that D has strictly fewer states than M.

Now create another DFA D′ by swapping the accepting and non-accepting states of

D. Then D′

recognizes the complement of A. But the complement of A is just A,

so D′

recognizes A. Note that D′ has the same number of states as D, and M has

the same number of states as M. Thus, since we assumed that D has strictly fewer

states than M, then D′ has strictly fewer states than M. But since D′

recognizes A,

this contradicts our assumption that M is a minimal DFA for A. Therefore, M is a

minimal DFA for A.

5. Suppose A1 and A2 are defined over the same alphabet Σ. Suppose DFA M1 recognizes

A1, where M1 = (Q1, Σ, δ1, q1, F1). Suppose DFA M2 recognizes A2, where M2 =

(Q2, Σ, δ2, q2, F2). Define DFA M3 = (Q3, Σ, δ3, q3, F3) for A1 ∩ A2 as follows:

Set of states of M3 is

Q3 = Q1 × Q2 = { (x, y) | x ∈ Q1, y ∈ Q2 }.

The alphabet of M3 is Σ.

M3 has transition function δ3 : Q3 × Σ → Q3 such that for x ∈ Q1, y ∈ Q2,

and ℓ ∈ Σ,

δ3( (x, y), ℓ ) = ( δ1(x, ℓ), δ2(y, ℓ) ) .

The initial state of M3 is s3 = (q1, q2) ∈ Q3.

The set of accept states of M3 is

F3 = { (x, y) ∈ Q1 × Q2 | x ∈ F1 and y ∈ F2 } = F1 × F2.

Since Q3 = Q1 × Q2, the number of states in the new DFA M3 is |Q3| = |Q1| · |Q2|.

Thus, |Q3| < ∞ since |Q1| < ∞ and |Q2| < ∞.

You might be interested in
The ________________ command tests connectivity by sending an echo request to a remote computer.
Eva8 [605]
The -ping- command tests connectivity by sending an echo request to a remote computer.
6 0
3 years ago
1. why is manufacturing considered the biggest contributor to progress
34kurt

Answer:

A vibrant manufacturing base leads to more research and development, innovation, productivity, exports, and middle-class jobs. Manufacturing helps raise living standards more than any other sector. Manufacturing generates more economic activity than other sectors.

3 0
3 years ago
2. How is accessing the Internet through a home network and public Wi-Fi similar?​
Romashka-Z-Leto [24]

Answer: it is not the same

Explanation: via public wi-fi u can easily be hacked but your home wi-fi is yours and u are safe there

6 0
3 years ago
what type of authentication does the dod require to accesss sensitive data on mobile devices and /or email
nikklg [1K]
Dod required a car to access data gahagsgssgsg
3 0
3 years ago
Read 2 more answers
How do you answer questions
Vera_Pavlovna [14]

Answer:

like this

Explanation:

<h3>you click answer and then<u><em> boom</em></u></h3>
7 0
3 years ago
Other questions:
  • A matrix representation stores matrices such that the offset address of the element in row i and column j can be calculated by c
    12·1 answer
  • SQL a. has become the de facto standard database language b. can be used to define database systems c. both a. and b. d. none of
    10·1 answer
  • Give a recursive algorithm for finding the sum of the<br> first n odd positive integers.
    8·1 answer
  • What are the benefits of using a multiview sketch?
    11·1 answer
  • Guys i really need help pleasure?
    7·2 answers
  • Write a Program in C language using arrays:
    14·1 answer
  • Write a function so that the main program below can be replaced by the simpler code that calls function mph_and_minutes_to_miles
    7·1 answer
  • Implement function bin2dec that takes a binary number bin_num as a string argument and prints out the corresponding decimal numb
    9·1 answer
  • Design algorithm and the corresponding flow chart for adding the subject score of 5, total value and rank.​
    14·1 answer
  • it is good to know and use the npsd framework while solution envisioning as part of the value discovery cycle. What is NPSD?
    10·1 answer
Add answer
Login
Not registered? Fast signup
Signup
Login Signup
Ask question!