Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
minimization_of_state_machines [2008/09/24 09:57] vkuncak |
minimization_of_state_machines [2008/09/24 09:58] vkuncak |
||
---|---|---|---|
Line 61: | Line 61: | ||
Consequently, $Q^2 \setminus \nu$ is the equivalence relation. From the definition of this equivalence it follows that if two states are equivalent, then so is the result of applying $\delta$ to them. Therefore, we have obtained a well-defined deterministic automaton. | Consequently, $Q^2 \setminus \nu$ is the equivalence relation. From the definition of this equivalence it follows that if two states are equivalent, then so is the result of applying $\delta$ to them. Therefore, we have obtained a well-defined deterministic automaton. | ||
+ | |||
Line 70: | Line 71: | ||
Construct automaton recognizing | Construct automaton recognizing | ||
- | * language {=,<=} | + | * language {=,<nowiki><=</nowiki>} |
- | * language {=,<=,==} | + | * language {=,<nowiki><=</nowiki>,<nowiki>==</nowiki>} |
Minimize the automaton. | Minimize the automaton. | ||
- |