Açıklama
Sonlu otomata ve düzenli ifadeler, düzenli kümelerin özellikleri, bağlamsız dilbilgileri, yığına dayalı otomatalar, deterministik bağlamsız diller. Turing makineleri, Chomsky hiyerarşisi. Karar verilemezlik, çözülmez (intractable) problemler.
Önkoşullar
- Önkoşul(lar): MATH 3106 veya MATH 3158 veya MATH 3855 veya Okul izni.
Şartlar ve koşullar
- Ayrıca COMP 4805 olarak listelenmiştir.
- Önkoşul(lar): MATH 3106 veya MATH 3158 veya MATH 3855 veya Okul izni.
- Ayrı gereksinimlerle lisansüstü düzeyde MATH 5605 olarak da verilir; bunun için ek kredi engellenir.
- Haftada üç saat ders.
Kaynak metin orijinal dilinde
Finite automata and regular expressions, properties of regular sets, context-free grammars, pushdown automata, deterministic context-free languages. Turing machines, the Chomsky hierarchy. Undecidability, intractable problems.
- Prerequisite(s): MATH 3106 or MATH 3158 or MATH 3855 or permission of the School.
- Also listed as COMP 4805 .
- Also offered at the graduate level, with different requirements, as MATH 5605 , for which additional credit is precluded.
- Lectures three hours a week.
Kaynaklar ve referanslar
Tarih ve kaynaklar bilgileri doğrulamanıza yardımcı olmak için saklanır. Okumayı kolaylaştırmak için çeviriler sunulmuştur; koşullar ve gereksinimler için resmi kaynak esas alınır.
Kaynak referans : https://calendar.carleton.ca/undergrad/courses/MATH/