Vikipedi

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.[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

  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). ss. 114-125. doi:10.1147/rd.32.0114. 13 Kasım 2013 tarihinde kaynağından arşivlendi. Erişim tarihi: 25 Kasım 2017. 
"https://tr.wikipedia.org/w/index.php?title=Deterministik_olmayan_sonlu_durum_makinesi&oldid=31135728" sayfasından alınmıştır