الوصف
الأوتوماتا المنتهية والتعابير العادية، خصائص المجموعات العادية، القواعد الحرة من السياق، أوتوماتا المكدس، لغات السياق الحر الحتمية. آلات تورنغ، تسلسل تشومسكي. عدم القابلية للقرار، المشكلات غير القابلة للحل حسابياً.
المقررات السابقة
- المتطلبات السابقة: COMP 3805 أو MATH 3106 أو MATH 3158 (أو MATH 3100) أو إذن المدرسة.
الشروط والإجراءات
- مسجل أيضاً كمادة MATH 4805 .
- يمنع الحصول على ائتمان إضافي لـ يمنع الحصول على ائتمان إضافي لـ MATH 5605 .
- المتطلبات السابقة: COMP 3805 أو MATH 3106 أو MATH 3158 (أو MATH 3100) أو إذن المدرسة.
- محاضرات ثلاث ساعات أسبوعيًا.
نص المرجع بلغته الأصلية
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.
المصادر والمراجع
يتم الاحتفاظ بالتواريخ والمصادر لمساعدتك في التحقق من المعلومات. تُعرض ترجمات لتسهيل القراءة؛ المصدر الرسمي هو المرجع للشروط والمتطلبات.
مرجع المصدر : https://calendar.carleton.ca/undergrad/courses/COMP/