Determinizacja automatu skończonego: Różnice pomiędzy wersjami
[wersja nieprzejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
+opis metody, źródło, dr.red. |
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
jest deterministyczny i akceptuje ten sam język co <math>N</math>.
|