iff 
(since, 
)
So, 
iff 
x 
y.
(if) Let 
, 
and 
.
Hence, 
s.t.
and 
( 
)
Hence 
and 
.
This implies, 
and 
so, 
.
| Minimization of Deterministic Finite Automata (DFA) | ||
| iff (since, )
So, (if) Let Hence,
Hence This implies, so, |
||