IelrFig1_prec grammar

Sections

• Precedences
• Tokens
• Non-terminals
• LR(1) States

Precedences

• left p

Tokens

• token EPSILON "ε"
  • First: [“ε”]
  • Follow: []
• token PSEUDO_END "⊥"
  • First: [“⊥”]
  • Follow: [“ε”]
• token Ta prec p
  • First: [Ta]
  • Follow: [“⊥”; Ta; Tb]
• token Tb
  • First: [Tb]
  • Follow: [“⊥”; Ta]

Non-terminals

• start S
  • First: [Ta; Tb]
  • Follow: [“⊥”]
  • Productions
    • S ::= Ta A Ta prec p
    • S ::= Tb A Tb
• start S'
  • First: [Ta; Tb]
  • Follow: [“ε”]
  • Productions
    • S' ::= S “⊥”
• nonterm A
  • First: [Ta]
  • Follow: [Ta; Tb]
  • Productions
    • A ::= Ta prec p
    • A ::= Ta Ta prec p

LR(1) States

• State 0
  • Kernel
    • [S' ::= · S “⊥”, {“ε”}]
  • Added
    • [S ::= · Ta A Ta, {“⊥”}] prec p
    • [S ::= · Tb A Tb, {“⊥”}]
  • Actions
    • Ta : ShiftPrefix 1 prec p
    • Tb : ShiftPrefix 2
  • Gotos
    • S : 3
• State 1
  • Kernel
    • [S ::= Ta · A Ta, {“⊥”}] prec p
  • Added
    • [A ::= · Ta, {Ta}] prec p
    • [A ::= · Ta Ta, {Ta}] prec p
  • Actions
    • Ta : ShiftPrefix 4 prec p
  • Gotos
    • A : 5
• State 2
  • Kernel
    • [S ::= Tb · A Tb, {“⊥”}]
  • Added
    • [A ::= · Ta, {Tb}] prec p
    • [A ::= · Ta Ta, {Tb}] prec p
  • Actions
    • Ta : ShiftPrefix 6 prec p
  • Gotos
    • A : 7
• State 3
  • Kernel
    • [S' ::= S · “⊥”, {“ε”}]
  • Actions
    • “⊥” : ShiftPrefix 8
• State 4
  • Kernel
    • [A ::= Ta ·, {Ta}] prec p
    • [A ::= Ta · Ta, {Ta}] prec p
  • Actions
    • Ta : Reduce A ::= Ta prec p
• State 5
  • Kernel
    • [S ::= Ta A · Ta, {“⊥”}] prec p
  • Actions
    • Ta : ShiftAccept 10 prec p
• State 6
  • Kernel
    • [A ::= Ta ·, {Tb}] prec p
    • [A ::= Ta · Ta, {Tb}] prec p
  • Actions
    • Ta : ShiftPrefix 11 prec p
    • Tb : Reduce A ::= Ta prec p
• State 7
  • Kernel
    • [S ::= Tb A · Tb, {“⊥”}]
  • Actions
    • Tb : ShiftAccept 12
• State 8
  • Kernel
    • [S' ::= S “⊥” ·, {“ε”}]
  • Actions
    • “ε” : Reduce S' ::= S “⊥”
• State 9
  • Kernel
    • [A ::= Ta Ta ·, {Ta}] prec p
  • Actions
    • Ta : Reduce A ::= Ta Ta prec p
• State 10
  • Kernel
    • [S ::= Ta A Ta ·, {“⊥”}] prec p
  • Actions
    • “⊥” : Reduce S ::= Ta A Ta prec p
• State 11
  • Kernel
    • [A ::= Ta Ta ·, {Tb}] prec p
  • Actions
    • Tb : Reduce A ::= Ta Ta prec p
• State 12
  • Kernel
    • [S ::= Tb A Tb ·, {“⊥”}]
  • Actions
    • “⊥” : Reduce S ::= Tb A Tb