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

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". IBM Journal of Research and Development. 3 (2). ss. 114-125. doi:10.1147/rd.32.0114. 13 Kasım 2013 tarihinde kaynağından (PDF) arşivlendi. Erişim tarihi: 25 Kasım 2017.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[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". IBM Journal of Research and Development. 3 (2). ss. 114-125. doi:10.1147/rd.32.0114. 13 Kasım 2013 tarihinde kaynağından (PDF) arşivlendi. Erişim tarihi: 25 Kasım 2017.