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. 1959'da Michael O. Rabin ve Dana Scott tarafından tanımlanmıştır. Düzenli ifadeler oluşturmak için kullanılmaktadır. == Kaynakça == Kategori:Sonlu durum makineleri