1. Draw a deterministic finite automaton (DFA) for each of the following sets. Remember to always indicate the start and accept states. Try to avoid introducing redundant states. Use state labels where they would be helpful to indicate the meaning of a state. a. The set of strings in {a, b}* containing a substring of four consecutive b's, eg, strings bbbb, abbabbbb, abbbbab, etc, should be accepted. b. The set of strings in {a}* whose length is evenly divisible by either 3 or 5, eg, aaa, aaaaa, aaaaaa, etc, should be accepted. c. The set of strings in {0, 1}* containing an odd number of Os and an even number of 1s, eg, strings 0, 011, 01010, etc, should be accepted.

Database System Concepts
7th Edition
ISBN:9780078022159
Author:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Publisher:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Chapter1: Introduction
Section: Chapter Questions
Problem 1PE
icon
Related questions
Question

Can you please help me go through these problems?

1. Draw a deterministic finite automaton (DFA) for each of the following sets. Remember to always indicate the start and accept states. Try to avoid
introducing redundant states. Use state labels where they would be helpful to indicate the meaning of a state.
a. The set of strings in {a, b}* containing a substring of four consecutive b's, eg, strings bbbb, abbabbbb, abbbbab, etc, should be accepted.
b. The set of strings in {a}* whose length is evenly divisible by either 3 or 5, eg, aaa, aaaaa, aaaaaa, etc, should be accepted.
c. The set of strings in {0, 1}* containing an odd number of Os and an even number of 1s, eg, strings 0, 011, 01010, etc, should be accepted.
d. The set of strings in {a, b}* containing at least 2 occurrences of 3 consecutive a's, overlapping permitted, eg, string aaaa should be accepted, as well
as longer strings such as baaababaaab.
e. The set of strings in {0, 1, 2}* that are ternary (base 3) representations, leading zeros permitted, of numbers that are not multiples of four (consider
the null string a representation of zero). For example, accepted strings would include 1, 2, 10, 12 (not multiples of four in ternary), whereas rejected
strings would include 0, 11, 22, 121, etc, (multiples of four in ternary).
2. Consider the following two deterministic finite automata with states {1, 2} and input alphabet {a, b}.
a b
a b
--> 1 12 2
2F 11 1
--> 1 11 2
2F 12 1
Use the product construction to give deterministic automata accepting (a) the intersection, and (b) the union of the two sets accepted by these
automata. Submit drawings of both.
3. a. Depict with a drawing the DFA with states Q = {0, 1, 2, 3, 4}, input alphabet {0, 1}, start state 0, final state 0, and transition function
8(q, i) (q²i) mod 5, q € Q, i = {0, 1}.
=
b. What set of bit strings does this DFA accept?
Transcribed Image Text:1. Draw a deterministic finite automaton (DFA) for each of the following sets. Remember to always indicate the start and accept states. Try to avoid introducing redundant states. Use state labels where they would be helpful to indicate the meaning of a state. a. The set of strings in {a, b}* containing a substring of four consecutive b's, eg, strings bbbb, abbabbbb, abbbbab, etc, should be accepted. b. The set of strings in {a}* whose length is evenly divisible by either 3 or 5, eg, aaa, aaaaa, aaaaaa, etc, should be accepted. c. The set of strings in {0, 1}* containing an odd number of Os and an even number of 1s, eg, strings 0, 011, 01010, etc, should be accepted. d. The set of strings in {a, b}* containing at least 2 occurrences of 3 consecutive a's, overlapping permitted, eg, string aaaa should be accepted, as well as longer strings such as baaababaaab. e. The set of strings in {0, 1, 2}* that are ternary (base 3) representations, leading zeros permitted, of numbers that are not multiples of four (consider the null string a representation of zero). For example, accepted strings would include 1, 2, 10, 12 (not multiples of four in ternary), whereas rejected strings would include 0, 11, 22, 121, etc, (multiples of four in ternary). 2. Consider the following two deterministic finite automata with states {1, 2} and input alphabet {a, b}. a b a b --> 1 12 2 2F 11 1 --> 1 11 2 2F 12 1 Use the product construction to give deterministic automata accepting (a) the intersection, and (b) the union of the two sets accepted by these automata. Submit drawings of both. 3. a. Depict with a drawing the DFA with states Q = {0, 1, 2, 3, 4}, input alphabet {0, 1}, start state 0, final state 0, and transition function 8(q, i) (q²i) mod 5, q € Q, i = {0, 1}. = b. What set of bit strings does this DFA accept?
Expert Solution
steps

Step by step

Solved in 4 steps with 3 images

Blurred answer
Knowledge Booster
Use of XOR function
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, computer-science and related others by exploring similar questions and additional content below.
Similar questions
  • SEE MORE QUESTIONS
Recommended textbooks for you
Database System Concepts
Database System Concepts
Computer Science
ISBN:
9780078022159
Author:
Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Publisher:
McGraw-Hill Education
Starting Out with Python (4th Edition)
Starting Out with Python (4th Edition)
Computer Science
ISBN:
9780134444321
Author:
Tony Gaddis
Publisher:
PEARSON
Digital Fundamentals (11th Edition)
Digital Fundamentals (11th Edition)
Computer Science
ISBN:
9780132737968
Author:
Thomas L. Floyd
Publisher:
PEARSON
C How to Program (8th Edition)
C How to Program (8th Edition)
Computer Science
ISBN:
9780133976892
Author:
Paul J. Deitel, Harvey Deitel
Publisher:
PEARSON
Database Systems: Design, Implementation, & Manag…
Database Systems: Design, Implementation, & Manag…
Computer Science
ISBN:
9781337627900
Author:
Carlos Coronel, Steven Morris
Publisher:
Cengage Learning
Programmable Logic Controllers
Programmable Logic Controllers
Computer Science
ISBN:
9780073373843
Author:
Frank D. Petruzella
Publisher:
McGraw-Hill Education