Description
Automates finis et expressions régulières, propriétés des ensembles réguliers, grammaires hors-contexte, automates à pile, langages déterministes hors-contexte. Machines de Turing, hiérarchie de Chomsky. Indécidabilité, problèmes intractables.
Préalables
- Condition(s) préalable(s) : COMP 3805 ou MATH 3106 ou MATH 3158 (ou MATH 3100) ou permission de l’École.
Conditions et modalités
- Également inscrit comme MATH 4805 .
- Empêche l’attribution de crédits supplémentaires pour Empêche l’attribution de crédits supplémentaires pour MATH 5605 .
- Condition(s) préalable(s) : COMP 3805 ou MATH 3106 ou MATH 3158 (ou MATH 3100) ou permission de l’École.
- Cours magistral de trois heures par semaine.
Texte de référence dans sa langue d’origine
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.
Sources et références
Les dates et les sources sont conservées pour vous aider à vérifier les renseignements. Les traductions sont proposées pour faciliter la lecture; la source officielle fait référence pour les conditions et les exigences.
Référence source : https://calendar.carleton.ca/undergrad/courses/COMP/