CSC 420–Theory of Computation
Tutorial - 1
Student Name: ……………………………………………. Student Index: ……………..
Section No.: ……………………….. Date: ……...………………..
Time: 30 minutes Total Marks: 10
Answer all questions
Answer the questions below for the sets:
C = { aab, baa},
D = {bb, aab},
E = {ɛ},
F= ∅.
Except for parts (c) and (h), write out any sets with the elements in lexicographic order.
For any infinite sets, list only the first 8 elements in lexicographic order, but be sure to
also indicate that the set is infinite by including 3 dots after listing the first 8 elements.
For any set S, we define
¿
s = s0 s1 s2 · · · ,
+¿ ¿
s = s1 s2 s3 · · ·,
(a) What is D U C ? (1 mark)
………………………………………………………………………………………………
………………………………………………………………………………………………
(b) What is C U F ? (1 mark)
………………………………………………………………………………………………
………………………………………………………………………………………………
(c) What is C X D ? (1 mark)
………………………………………………………………………………………………
………………………………………………………………………………………………
(d) What is C ∩ D ? (0.5 mark)
………………………………………………………………………………………………
………………………………………………………………………………………………
(e) What is D ○ C ? (1 mark)
………………………………………………………………………………………………
………………………………………………………………………………………………
1
(f) What is C ○ E ? (0.5 mark)
………………………………………………………………………………………………
………………………………………………………………………………………………
(g) What is D3 ? (1 mark)
………………………………………………………………………………………………
………………………………………………………………………………………………
(h) What is P(C), the power set of C ? (1 mark)
………………………………………………………………………………………………
………………………………………………………………………………………………
(i) What is D − C ? (0.5 mark)
………………………………………………………………………………………………
………………………………………………………………………………………………
(j) What is C +¿¿ ? (1 mark)
………………………………………………………………………………………………
………………………………………………………………………………………………
(k) What is F ¿? (0.5 mark)
………………………………………………………………………………………………
………………………………………………………………………………………………
(l) Is E ⊆ C ? (1 mark)
………………………………………………………………………………………………
………………………………………………………………………………………………
Good Luck
2
--- Solutions ---
(a) D ∪ C = {aab, baa, bb}
(b) C ∪ F = {aab, baa}
(c) C × D = {(aab,bb),(aab,aab),(baa,bb),(baa,aab)}
(d) C ∩ D = {aab}
(e) D ○ C = {aabaab, aabbaa, bbaab, bbbaa}
(f) C ○ E = {aab, baa}
(g) C* = {ε, aab, baa, aabaab, aabbaa, baaaab, baabaa, aabaabaab, …}
(h) P(C) = {∅, {aab}, {baa}, {aab,baa}}
(i) D − C = {bb}
(j) C² = {aabaab, aabbaa, baaaab, baabaa}
(k) |C| = 2
(l) E ⊄ C