Deskripsi
Automata hingga dan ekspresi reguler, sifat-sifat himpunan reguler, tata bahasa bebas-konteks, automata tumpukan, bahasa bebas-konteks deterministik. Mesin Turing, hierarki Chomsky. Ketidakputusannya, masalah yang tidak dapat diatasi secara efisien.
Prasyarat
- Prasyarat: COMP 3805 atau MATH 3106 atau MATH 3158 (atau MATH 3100) atau izin dari School.
Syarat dan ketentuan
- Juga terdaftar sebagai MATH 4805 .
- Menghalangi kredit tambahan untuk Menghalangi kredit tambahan untuk MATH 5605 .
- Prasyarat: COMP 3805 atau MATH 3106 atau MATH 3158 (atau MATH 3100) atau izin dari School.
- Kuliah tiga jam per minggu.
Teks rujukan dalam bahasa aslinya
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): COMP 3805 or MATH 3106 or MATH 3158 (or MATH 3100) or permission of the School.
- Also listed as MATH 4805 .
- Precludes additional credit for Precludes additional credit for MATH 5605 .
- Lectures three hours a week.
Sumber dan referensi
Tanggal dan sumber disimpan untuk membantu Anda memverifikasi informasi. Terjemahan disediakan untuk memudahkan pembacaan; sumber resmi menjadi rujukan untuk syarat dan ketentuan.
Referensi sumber : https://calendar.carleton.ca/undergrad/courses/COMP/