Determinizacja automatu skończonego: Różnice pomiędzy wersjami
istotna uwaga we wstępie o złożoności obliczeniowej opisywanego procesu
(istotna uwaga we wstępie o złożoności obliczeniowej opisywanego procesu) |
|||
|
'''Determinizacją automatu skończonego''' nazywamy proces tworzenia [[deterministyczny automat skończony|deterministycznego automatu skończonego]] (DAS) z [[niedeterministyczny automat skończony|niedeterministycznego automatu skończonego]] (NAS). Transformacja taka jest zawsze możliwa i otrzymany w jej procesie automat akceptuje dokładnie ten sam język (zbiór słów), co automat wejściowy. Jakkolwiek, gdy NAS ma n stanów, wynikowy DAS może mieć do 2^n stanów, wykładniczo więcej, co czyni proces niepraktycznym dla dużych NAS.
== Przykład ==
| |||