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