\begin{slide}{Typ-3-Grammatiken}

($=$ rechtslineare Grammatiken)

jede Regel hat die Form
\begin{itemize}\itemsep 2pt
\item
  Variable $\to$ Terminal Variable 
\item
  Variable $\to$ Terminal
\item
  Variable $\to \epsilon$
\end{itemize}

(vgl. lineares Gleichungssystem)

Beispiele 
\begin{itemize}\itemsep 2pt
\item
  $G_1=(\{a,b\},\{S,T\},S,\{S\to \epsilon, S\to aT, T\to bS\})$
\item
  $G_2=(\{a,b\},\{S,T\},S,\{S\to\epsilon, S\to aS, S\to bT, T\to aT, T\to bS\})$
\end{itemize}

\end{slide}
