Deterministik olmayan sonlu durum makinesi

Vikipedi, özgür ansiklopedi
Gezinti kısmına atla Arama kısmına atla

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.[1] Yalnızca düzenli diller ile çalışmaktadır.

1959'da Michael O. Rabin ve Dana Scott tarafından tanımlanmıştır.[2] Düzenli ifadeler oluşturmak için kullanılmaktadır.

Kaynakça[değiştir | kaynağı değiştir]

  1. ^ Martin, John (2010). Introduction to Languages and the Theory of Computation. McGraw Hill. s. 108. ISBN 978-0071289429. 
  2. ^ Rabin, M. O.; Scott, D. (Nisan 1959). "Finite Automata and Their Decision Problems" (PDF). IBM Journal of Research and Development. 3 (2), s. 114-125. doi:10.1147/rd.32.0114. Erişim tarihi: 25 Kasım 2017.