Determinizacja automatu skończonego: Różnice pomiędzy wersjami

[wersja nieprzejrzana][wersja przejrzana]
Usunięta treść Dodana treść
Cardel (dyskusja | edycje)
+opis metody, źródło, dr.red.
Cardel (dyskusja | edycje)
m dr.red.
Linia 8:
* <math>Q_D = \mathcal{P}(Q_N)</math>
* <math>f_D: Q_D \times \Sigma \ni (S,a) \rightarrow \bigcup_{s \in S}f_N(s,a) \in Q_D</math>
* <math>F_D = \{S \in \mathcal{P}(Q_N)Q_D: S \cap F_N \neq \emptyset\}</math>
jest deterministyczny i akceptuje ten sam język co <math>N</math>.