คำอธิบาย
ออโตมาตาจำกัดและนิพจน์เชิงปกติ, คุณสมบัติของชุดปกติ, ไวยากรณ์แบบไม่มีบริบท, ออโตมาตาพุชดาวน์, ภาษาแบบไม่มีบริบทเชิงกำหนด, เครื่องทัวริง, ลำดับชั้นของ Chomsky. ความไม่สามารถตัดสินใจได้, ปัญหาที่คำนวณได้ยาก.
รายวิชาก่อนหน้า
- วิชาที่ต้องเรียนมาก่อน: 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/