] > LR Parsing

7.2 LR Parsing

1. S’ S
2. S bAb
3. A (B
4. a
5. B Aa)

Input: b ( ( a a ) a ) b

                         |--------|   --------|
----------|  |-------|   |A → (.B |   |A→  (.B |
| S′ → .S b-||SA →→ b..A(Bb|(-||B → .Aa)(-||B → .Aa)-a-||-A→--a.
--S-→-.bAb-   |  → .a  |   |A → .(B |   |A→  .(B |  ---------
              --------    -A-→-.a---   -A-→-.a-----
                                           |---
                                         -∙------|B-→--A.a)|a-||B-→-Aa.))-||B-→-Aa-).|
                                         --A      ---------   ----------------------
                                            ||------------------
                                         -∙------||A-→-(B.|
                                         --B---------------
                               |--------------|   --------|   ---------|
                             ∙-------|B-→-A.a)-a||B-→--Aa.)-)---B-→-Aa).|
                               A            ------------------
                             -||----|---------|
                             ∙-B-------A→--(B.-|
                        ------------
                 -------||--------b--|--------|
                 ∙-A      S-→-bA.b----S-→-bAb.
       | -----------------
    ∙--------|-S′ →-S.
      S