Programming Language Theory

  1. Syntax and Parsing
    1. Concrete vs Abstract Syntax
      1. Surface Syntax Representation
        1. Abstract Syntax Trees
          1. Desugaring Process
          2. Grammar Formalisms
            1. Backus-Naur Form
              1. Production Rules
                1. Terminal and Nonterminal Symbols
                2. Extended Backus-Naur Form
                  1. Optional Elements
                    1. Repetition
                      1. Alternation
                      2. Context-Free Grammars
                        1. Derivations
                          1. Parse Trees
                            1. Ambiguity
                          2. Lexical Analysis
                            1. Tokenization Process
                              1. Regular Expressions for Tokens
                                1. Lexical Errors
                                  1. Reserved Words and Identifiers
                                  2. Parsing Techniques
                                    1. Top-Down Parsing
                                      1. Recursive Descent
                                        1. LL Parsing
                                          1. LL(1) Grammars
                                            1. First and Follow Sets
                                            2. Bottom-Up Parsing
                                              1. Shift-Reduce Parsing
                                                1. LR Parsing
                                                  1. LR(0) Items
                                                    1. SLR Parsing
                                                      1. LALR Parsing
                                                      2. Error Recovery
                                                        1. Panic Mode Recovery
                                                          1. Phrase-Level Recovery
                                                            1. Error Productions

                                                        Previous

                                                        3. Lambda Calculus

                                                        Go to top

                                                        Next

                                                        5. Formal Semantics