1. For each of the following languages of the form {w € {a,b}* | ... } where the rule... in each case is described below, construct a deterministic finite automa- ton over {a, b} accepting that language. (a) w has both ab and ba as (not necessarily disjoint) subwords. (b) w has an even number of a's and an odd number of b's. (c) w has an odd length and exactly two b's.

Computer Networking: A Top-Down Approach (7th Edition)
7th Edition
ISBN:9780133594140
Author:James Kurose, Keith Ross
Publisher:James Kurose, Keith Ross
Chapter1: Computer Networks And The Internet
Section: Chapter Questions
Problem R1RQ: What is the difference between a host and an end system? List several different types of end...
icon
Related questions
Question
Question 1
1. For each of the following languages of the form
{w € {a,b}* | .. }
where the rule... in each case is described below, construct a deterministic finite automa-
ton over {a, b} accepting that language.
(a) w has both ab and ba as (not necessarily disjoint) subwords.
(b) w has an even number of a's and an odd number of b's.
(c) w has an odd length and exactly two b's.
(d) all blocks of consecutive b's in w have length of the form 2n +3 for n = 0, 1, 2, . ...
2. Describe how, for any alphabet E and any k > 2, you would construct a deterministic finite
automaton Ag which accepts the following language:
{w € E* | |w| = kn, n = 0,1, 2, . ..}
3. Convert the following NFA over the alphabet {a, b} to an equivalent DFA:
a
a
a
a
3
Transcribed Image Text:Question 1 1. For each of the following languages of the form {w € {a,b}* | .. } where the rule... in each case is described below, construct a deterministic finite automa- ton over {a, b} accepting that language. (a) w has both ab and ba as (not necessarily disjoint) subwords. (b) w has an even number of a's and an odd number of b's. (c) w has an odd length and exactly two b's. (d) all blocks of consecutive b's in w have length of the form 2n +3 for n = 0, 1, 2, . ... 2. Describe how, for any alphabet E and any k > 2, you would construct a deterministic finite automaton Ag which accepts the following language: {w € E* | |w| = kn, n = 0,1, 2, . ..} 3. Convert the following NFA over the alphabet {a, b} to an equivalent DFA: a a a a 3
Expert Solution
steps

Step by step

Solved in 3 steps with 3 images

Blurred answer
Recommended textbooks for you
Computer Networking: A Top-Down Approach (7th Edi…
Computer Networking: A Top-Down Approach (7th Edi…
Computer Engineering
ISBN:
9780133594140
Author:
James Kurose, Keith Ross
Publisher:
PEARSON
Computer Organization and Design MIPS Edition, Fi…
Computer Organization and Design MIPS Edition, Fi…
Computer Engineering
ISBN:
9780124077263
Author:
David A. Patterson, John L. Hennessy
Publisher:
Elsevier Science
Network+ Guide to Networks (MindTap Course List)
Network+ Guide to Networks (MindTap Course List)
Computer Engineering
ISBN:
9781337569330
Author:
Jill West, Tamara Dean, Jean Andrews
Publisher:
Cengage Learning
Concepts of Database Management
Concepts of Database Management
Computer Engineering
ISBN:
9781337093422
Author:
Joy L. Starks, Philip J. Pratt, Mary Z. Last
Publisher:
Cengage Learning
Prelude to Programming
Prelude to Programming
Computer Engineering
ISBN:
9780133750423
Author:
VENIT, Stewart
Publisher:
Pearson Education
Sc Business Data Communications and Networking, T…
Sc Business Data Communications and Networking, T…
Computer Engineering
ISBN:
9781119368830
Author:
FITZGERALD
Publisher:
WILEY