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 | kaynağı değiştir]
- ^ Martin, John (2010). Introduction to Languages and the Theory of Computation. McGraw Hill. s. 108. ISBN 978-0071289429.
- ^ 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.
 | Bilgisayar bilimi ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz. |