Beskrivelse
Beregnerbarhet, uløselige og NP-vanskelige problemer. Formelle språk, klasser av språkautomater. Prinsipper for kompilatordesign, syntaksanalyse, parsing (top-down, bottom-up), tvetydighet, operatorprioritet, automatisk konstruksjon av effektive parsere, LR, LR(O), LR(k), SLR, LL(k). Syntaksstyrt oversettelse.
Forkunnskaper
- Forkrav: MATH 5605.
Vilkår og bestemmelser
- Forkrav: MATH 5605.
Referansetekst i originalspråket
Computability, unsolvable and NP-hard problems. Formal languages, classes of language automata. Principles of compiler design, syntax analysis, parsing (top-down, bottom-up), ambiguity, operator precedence, automatic construction of efficient parsers, LR, LR(O), LR(k), SLR, LL(k). Syntax directed translation.
- Prerequisite(s): MATH 5605 .
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/grad/courses/MATH/