Determinizacja automatu skończonego

Determinizacją automatu skończonego nazywamy proces tworzenia deterministycznego automatu skończonego z niedeterministycznego automatu skończonego. 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.