Computation Theory

Tanta University
Faculty of Computers and

Information
‫ﻣﻴﺮﻧﺎ ﻣﺤﻤﺪ ﻋﺒﺪﺍﻟﻤﻨﻌﻢ ﻋﻄﺎﺍﻟﻠﻪ‬
Theory of Computation
2022/2023 2022/2023 2022/2023
Third Year – 2nd Semester 2022/2023
Prepared By
30210061601189 30210061601189 30210061601189
Dr. Moustafa El-Ashry

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

merna_31139888@ics.tanta.edu.eg merna_31139888@ics.tanta.edu.eg merna_31139888@ics.tanta.edu.eg
2022/2023 2022/2023 2022/2023
30210061601189 30210061601189 30210061601189
68
‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

•
Exercises Chapter 2
2.1 For each of the following languages, construct a DFA that accepts the language. In
all cases, the alphabet is {0, 1}.
1. {w : the length of w is divisible by three}
2. {w : 110 is not a substring of w}
3. {w : w contains at least five 1s}

4. {w : w contains the substring 1011}
5. {w : w contains at least two 1s and at most two 0s}
6. {w : w contains an odd number of 1s or exactly two 0s}
7. {w : w begins with 1 and ends with 0}
8. {w : every odd position in w is 1}
9. {w : w has length at least 3 and its third symbol is 0} 10. {ǫ, 0}
2.2 For2022/2023
each of the following languages, construct
2022/2023 an NFA, with the2022/2023
specified number of
states, that accepts the language. In all cases, the alphabet is {0, 1}.
1. The language {w : w ends with 10} with three states.
2. The language {w : w contains the substring 1011} with five states.
3. The language {w : w contains an odd number of 1s or exactly two 0s} with six
states.
2.3 For each of the following languages, construct an NFA that
30210061601189 30210061601189 30210061601189
accepts the language. In all cases, the alphabet is {0, 1}.
1. {w : w contains the substring 11001}
2. {w : w has length at least 2 and does not end with 10}
3. {w : w begins with 1 or ends with 0}
68
2.4 Convert the following NFA to an equivalent DFA.

εb a
,
b
2 3
2022/2023 a
2022/2023 2022/2023
a b
30210061601189 30210061601189 30210061601189
2.7 In the proof of Theorem 2.6.3, we introduced a new start state q0, which is also an
accept state. Explain why the following is not a valid proof of Theorem 2.6.3:
Let N = (Q1, Σ, δ1, q1, F1) be an NFA, such that A = L(N).
Define the NFA M = (Q1, Σ, δ, q1, F ), where
68
2022/2023 2022/2023 2022/2023
30210061601189 30210061601189 30210061601189
68
2022/2023 2022/2023 2022/2023
30210061601189 30210061601189 30210061601189
68
2022/2023 2022/2023 2022/2023
30210061601189 30210061601189 30210061601189
68
‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬
‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

Exercises Chapter 3
3.1 Construct context-free grammars that generate the following languages. In

all cases, Σ = {0, 1}.
• {02n1n : n ≥ 0}
• {w : w contains at least three 1s}
• {w : the length of w is odd and its middle symbol is 0}

2022/2023 2022/2023 2022/2023
30210061601189 30210061601189 30210061601189
68
2022/2023 2022/2023 2022/2023
30210061601189 30210061601189 30210061601189
68
2022/2023 2022/2023 2022/2023
30210061601189 30210061601189 30210061601189
68

Computation Theory

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Computation Theory

Uploaded by

Copyright:

Available Formats

Tanta University

Faculty of Computers and

Third Year – 2nd Semester 2022/2023

Dr. Moustafa El-Ashry

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬

‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬

‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬

‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬

‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬

‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬

‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬

‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬

‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬

‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬

‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬

‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬

‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬

‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬

‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬

‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬

‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬

‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬

‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

2022/2023 2022/2023 2022/2023

30210061601189 30210061601189 30210061601189

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬

‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬

‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬

‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬

‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬

‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬

‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬

‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬

‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬

‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬

‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬

‫‪2022/2023‬‬ ‫‪2022/2023‬‬ ‫‪2022/2023‬‬

‫‪30210061601189‬‬ ‫‪30210061601189‬‬ ‫‪30210061601189‬‬