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.

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 

Sonlu durum makineleri