Deterministik olmayan sonlu durum makinesi
Deterministik olmayan sonlu durum makinesi, deterministik yapıda çalışma gibi bir zorunluluğu bulunmayan sonlu durum makinesidir. Üstküme oluşturma algoritması kullanılarak deterministik yapıya dönüştürülebilir. Yalnızca düzenli diller ile çalışmaktadır.