Carleton University · MATH 5807

Formal Language and Syntax Analysis

Credits : 0.5 creditReference year : 2026-27

Description

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.

Prerequisites

  • Prerequisite(s): MATH 5605 .

Conditions and arrangements

  • Prerequisite(s): MATH 5605 .
Reference text in its original language

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 .

Sources and references

Dates and sources are retained to help you verify the information. Translations are provided to facilitate reading; the official source governs conditions and requirements.

Source reference : https://calendar.carleton.ca/grad/courses/MATH/

Write to StudyCanada

Your plans or a question: let’s continue the conversation by email.

We will use these details to reply to your enquiry. Privacy

This form contacts StudyCanada. To contact this institution, use the details on its profile.