• English only

# Differences

This shows you the differences between two versions of the page.

determinization_of_finite_state_machine [2007/05/05 17:18]
vkuncak
determinization_of_finite_state_machine [2007/05/05 17:21] (current)
vkuncak
Line 6: Line 6:
* $\Delta_D = \{ (S,​a,​\Delta_{run}(S,​a)) \mid S \subseteq Q, a \in \Sigma \}$   * $\Delta_D = \{ (S,​a,​\Delta_{run}(S,​a)) \mid S \subseteq Q, a \in \Sigma \}$
* $F_D = \{ S \mid S \cap F \neq \emptyset \}$.   * $F_D = \{ S \mid S \cap F \neq \emptyset \}$.
+
+The corresponding deterministic state machine maintains a set of states instead of just one state, and simultaneously transitions into all states that the original machine could reach from the current set of states.