Scribd
Upload
247 views

Homework 1 Problems

This document contains: 1. Five homework problems from a CS 162 class involving constructing deterministic finite automata (DFAs) to recognize certain languages. 2. The problems ask the student to build DFAs for languages ending in "00", containing "111", and containing "011". 3. Additional problems involve building DFAs for languages meeting certain criteria about blocks of symbols and the position of symbols. 4. The final two problems involve building nondeterministic finite automata (NFAs) for languages involving repeated or separated digits.

Uploaded by

jhonson jorge
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
247 views

Homework 1 Problems

This document contains: 1. Five homework problems from a CS 162 class involving constructing deterministic finite automata (DFAs) to recognize certain languages. 2. The problems ask the student to build DFAs for languages ending in "00", containing "111", and containing "011". 3. Additional problems involve building DFAs for languages meeting certain criteria about blocks of symbols and the position of symbols. 4. The final two problems involve building nondeterministic finite automata (NFAs) for languages involving repeated or separated digits.

Uploaded by

jhonson jorge
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 8

CS 162 Fall 2015

Homework 1 Problems
September 29, 2015 Timothy Johnson

1. Exercise 2.2.4 on page 53 of Hopcroft et al.


Give DFAs accepting the following languages over the alphabet {0, 1}.
(a) The set of all strings ending in 00.

(b) The set of all strings with three consecutive 0s (not necessarily at the end).

(c) The set of strings with 011 as a substring.

1
2. Exercise 2.2.5 on pages 53-54 of Hopcroft et al.
Give DFAs accepting the following languages over the alphabet {0, 1}.
(a) The set of all strings such that any block of five consecutive symbols contains at least
two 0s.
(Im going to interpret this to mean that there exists a block of five consecutive symbols
containing at least two 0s.)

2
(b) The set of all strings whose tenth symbol from the left end is a 1.

3
(c) The set of strings that either begin or end (or both) with 01.

(d) The set of strings such that the number of 0s is divisible by five, and the number of 1s
is divisible by 3.

3. Exercise 2.2.8 on page 54 of Hopcroft et al.


Let A be a DFA and a a particular input symbol of A, such that for all states q of A we have
(q, a) = q.

4
(a) Show by induction on n that for all n 0, (q, an ) = q, where an is the string consisting
of n as.
Base case: n = 0
(q, ) = q, by definition.
Induction step: Assume that (q, ak ) = q.

(q, ak+1 ) = ((q, ak ), a)


= (q, a)
=q

Therefore, by induction, (q, an ) = q for all n 0.


(b) Show that either {a } L(A) or {a } L(A) = .
By the previous part, for all states q, for all n 0, (q, an ) = q. In particular, this is
true for the initial state q0 . So for any input in {a }, we will end in state q0 .
First, suppose that our initial state q0 is a final state. Then we accept every string in
{a }, so {a } L(A).
Otherwise, suppose that q0 is not a final state. Then we reject every string in {a }, so
{a } L(A) = .

4. Exercise 2.3.2 on page 66 of Hopcroft et al.


Convert to a DFA the following NFA:
0 1
p {q, s} {q}
q {r} {q, r}
r {s} {p}
s {p}

Our NFA is drawn below.

5
The table for the equivalent DFA using the subset construction is:
0 1
{p} {q, s} {q}
{q, s} {r} {p, q, r}
{q} {r} {q, r}
{r} {s} {p}
{p, q, r} {q, r, s} {p, q, r}
{q, r} {r, s} {p, q, r}
{s} {p}
{q, r, s} {r, s} {p, q, r}
{r, s} {s} {p}

This DFA is drawn below:

6
5. Exercise 2.3.4 on pages 66-67 of Hopcroft et al.
Give nondeterministic finite automata to accept the following languages. Try to take advan-
tage of nondeterminism as much as possible.
(a) The set of strings over alphabet {0, 1, . . . , 9} such that the final digit has appeared before.

7
(b) The set of strings over alphabet {0, 1, . . . , 9} such that the final digit has not appeared
before.

(c) The set of strings of 0s and 1s such that there are two 0s separated by a number of
positions that is a multiple of 4. Note that 0 is an allowable multiple of 4.

You might also like