Automata Theory Assignment Copy
Automata Theory Assignment Copy
ASSIGNMENT 3
Complement of union: A – (B ∩ C) = (A – B) (B – C)
complements of the individual sets.
Complement of intersection: A – (B C) = (A – B) ∩ (A – C)
5. Stand prove De Morgan’s Laws.
A – (B C) ⇒ x A and x B C
Showing that A – (B C) = (A – B) ∩ (A – C). x
⇒ x A and x B and x C
⇒ (x A and x B) and (x A and x C)
⇒ x A – B and x A – C
⇒ x (A – B) ∩ (A – C
x (A – B) ∩ (A – C) ⇒ x A – B and x A – C
Therefore, A – (B C) (A – B) ∩ (A – C) Conversely;
example.
A relation on sets S and T is a set of ordered pairs (s, t), where;
(a) S ∈ S (s is a member of S)
(b) t ∈T
(c) S and T need not be different
(d) The set of all first elements in the “domain” of the relation, and (e) The
set of all second elements is the “range” of the relation. Example:
⇒ y ≡ x (mod m)
Therefore, the relation is symmetric. iii.
x ≡ y (mod m) and y ≡ z (mod m)
⇒ x – y = km and y – z = lm for integers k, l.
⇒ (x – y) + (y – z) = (k + l)m
⇒ (x – z) = (k + l)m
⇒ x ≡ z (mod m) since k + l is also an integer.
Therefore, the relation is transitive.
Since the relation is reflexive, symmetric and transitive, the relation
“congruence modulo m” is an equivalence relation.
If Ai ≠ Aj, then Ai ∩ Aj = ∅.
Thus a partition P of S is a subdivision of S into disjoint nonempty
sets. If R is an equivalence relation on a set S, for each ‘a’ in S, let
[a] denote the set of elements of S to which ‘a’ is related under R,
i.e.
[a] = {x : (a, x) ∈ R}
Here [a] is the Equivalence class” of ‘a’ in S.
The collection of all equivalence classes of elements of S under
an equivalence relation R is denoted by S ̸ R, i.e., S ̸ R = {[a] : a
∈ S}.
It is known as “quotient” set of S by R.
system.
(b) Reverse string: If w = w1, w2, … wn where each wi ∈ Σi the reverse of w
is wn wn-1 … w1.
(c) Substring: z is a substring of w if z appears consecutively within w. As
an example, ‘deck’ is a substring of ‘abcdeckabcjkl’.
(d) Concatenation: Assume a string x of length m and string y of length n,
the concatenation of x and y is written xy, which is the string obtained
by appending y to the end of x, as in x1 x2 … xm y1 y2 … yn.