Typ-3-Grammatiken

(= mathend000# rechtslineare Grammatiken)

jede Regel hat die Form

• Variable → mathend000# Terminal Variable
• Variable → mathend000# Terminal
• Variable →ε mathend000#

(vgl. lineares Gleichungssystem)

Beispiele

• G₁ = ({a, b},{S, T}, S,{S→ε, S→aT, T→bS}) mathend000#
• G₂ = ({a, b},{S, T}, S,{S→ε, S→aS, S→bT, T→aT, T→bS}) mathend000#