Otomat teorisi: Revizyonlar arasındaki fark
[kontrol edilmiş revizyon] | [kontrol edilmemiş revizyon] |
İçerik silindi İçerik eklendi
Superyetkin (mesaj | katkılar) k Superyetkin, Özdevinirler kuramı sayfasını Otomat teorisi sayfasına yönlendirme üzerinden taşıdı: Geçmiş birleştirme |
|||
21. satır:
*[[Doğrusal sınırlı özdevinim]] (''Linear bounded automata'')
*[[Turing makinesi]]
*[[Süreli özdevinim|Zamanlı özdevinim]] (''Timed automata'')
*[[Deterministik Büchi özdevinim]] (''Deterministic Büchi automata'')
*[[Deterministik olmayan Büchi özdevinim]] (''Nondeterministic Büchi automata'')
|