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

m
dr.red.
(+opis metody, źródło, dr.red.)
m (dr.red.)
* <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>.
 
548

edycji