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

istotna uwaga we wstępie o złożoności obliczeniowej opisywanego procesu
m (drobne techniczne - patrz WP:CHECK, WP:SK)
(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 ==
Anonimowy użytkownik