Typ-3-Grammatiken

(= rechtslineare Grammatiken)

jede Regel hat die Form

• Variable $\to$ Terminal Variable
• Variable $\to$ Terminal
• Variable $\to$$\epsilon$

(vgl. lineares Gleichungssystem)

Beispiele

• G₁ = ({a, b},{S, T}, S,{S$\to$$\epsilon$, S$\to$aT, T$\to$bS})
• G₂ = ({a, b},{S, T}, S,{S$\to$$\epsilon$, S$\to$aS, S$\to$bT, T$\to$aT, T$\to$bS})