Wikipedysta:Cardel/brudnopis: Różnice pomiędzy wersjami
Usunięta treść Dodana treść
Cardel przenosi stronę Wikipedysta:Cardel/brudnopis na Wikipedysta:Cardel/Perkusja |
Nie podano opisu zmian |
||
Linia 1:
Do [[Determinizacja automatu skończonego]]
== Metoda ==
Stany D to zbiory stanów N. W każdym kroku po przeczytaniu znaku a D przyjmuje stan odpowiadający zbiorowi stanów, który automat N przyjąłby w odpowiadającym kroku.
== Formalizm ==
Niech <math>N=(Q_N,f_N,q_0,F_N)</math> będzie NAS. Wtedy <math>D=(Q_D,f_D,\{q_0\},F_D)</math> jest DAS
* <math>Q_D = \mathcal{P}(Q_N)</math>
* <math>f_D(S,a) = \bigcup_{s \in S}f_N(s,a)</math>
* <math>F_D = \{S \in \mathcal{P}(Q_N): S \cap F_N \neq \emptyset\}</math>
| |||