IelrFig1_noprec grammar

Sections

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

Tokens

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

Non-terminals

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

LR(1) States

• State 0
  • Kernel
    • [S' ::= · S “⊥”, {“ε”}]
  • Added
    • [S ::= · Ta A Ta, {“⊥”}]
    • [S ::= · Tb A Tb, {“⊥”}]
  • Actions
    • Ta : ShiftPrefix 1
    • Tb : ShiftPrefix 2
  • Gotos
    • S : 3
• State 1
  • Kernel
    • [S ::= Ta · A Ta, {“⊥”}]
  • Added
    • [A ::= · Ta, {Ta}]
    • [A ::= · Ta Ta, {Ta}]
  • Actions
    • Ta : ShiftPrefix 4
  • Gotos
    • A : 5
• State 2
  • Kernel
    • [S ::= Tb · A Tb, {“⊥”}]
  • Added
    • [A ::= · Ta, {Tb}]
    • [A ::= · Ta Ta, {Tb}]
  • Actions
    • Ta : ShiftPrefix 6
  • Gotos
    • A : 7
• State 3
  • Kernel
    • [S' ::= S · “⊥”, {“ε”}]
  • Actions
    • “⊥” : ShiftPrefix 8
• State 4
  • Kernel
    • [A ::= Ta ·, {Ta}]
    • [A ::= Ta · Ta, {Ta}]
  • Actions
    • Ta : CONFLICT
      • ShiftPrefix 9
      • Reduce A ::= Ta
• State 5
  • Kernel
    • [S ::= Ta A · Ta, {“⊥”}]
  • Actions
    • Ta : ShiftAccept 10
• State 6
  • Kernel
    • [A ::= Ta ·, {Tb}]
    • [A ::= Ta · Ta, {Tb}]
  • Actions
    • Ta : ShiftPrefix 11
    • Tb : Reduce A ::= Ta
• 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}]
  • Actions
    • Ta : Reduce A ::= Ta Ta
• State 10
  • Kernel
    • [S ::= Ta A Ta ·, {“⊥”}]
  • Actions
    • “⊥” : Reduce S ::= Ta A Ta
• State 11
  • Kernel
    • [A ::= Ta Ta ·, {Tb}]
  • Actions
    • Tb : Reduce A ::= Ta Ta
• State 12
  • Kernel
    • [S ::= Tb A Tb ·, {“⊥”}]
  • Actions
    • “⊥” : Reduce S ::= Tb A Tb