Beskrivelse
Endelige automater og regulære uttrykk, egenskaper ved regulære mengder, kontekstfrie grammatiker, pushdown-automater, deterministiske kontekstfrie språk. Turing-maskiner, Chomsky-hierarkiet. Uavgjørbarhet, uoverkommelighet.
Forkunnskaper
- Forkunnskapskrav: COMP 3805 eller MATH 3106 eller MATH 3158 (eller MATH 3100) eller tillatelse fra School.
Vilkår og bestemmelser
- Også oppført som MATH 4805 .
- Gir ikke tilleggspoeng for Gir ikke tilleggspoeng for MATH 5605 .
- Forkunnskapskrav: COMP 3805 eller MATH 3106 eller MATH 3158 (eller MATH 3100) eller tillatelse fra School.
- Forelesninger tre timer i uken.
Referansetekst i originalspråket
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.
Kilder og referanser
Datoer og kilder beholdes for å hjelpe deg å verifisere opplysningene. Oversettelsene tilbys for å lette lesing; den offisielle kilden er referansen for krav og betingelser.
Kildereferanse : https://calendar.carleton.ca/undergrad/courses/COMP/