Prof. Franz Schweiggert Abteilung Angewandte Informationsverarbeitung 13. April 2005
Christian Ehrhardt Blatt 1


Uni Logo



Unix-basierte Implementierung kleiner Datenbanken (SS 2005)


Abgabetermin 20.04.2005

Formale Sprachen (10 Punkte)

Grammatik (4 Punkte)

Gegeben sei die folgende Grammatik (``_'' steht für ein einzelnes Leerzeichen, Großbuchstaben sind Non-Terminale, Startsymbol ist A):

\begin{eqnarray*}
A & \longrightarrow & C \mbox{ }B \mbox{ }into \mbox{ }B \mbo...
... }H \mbox{ }\} \\
H & \longrightarrow & ' \mbox{ }D \mbox{ }'
\end{eqnarray*}



Erklärt Eurem Tutor welche Sätze zu der durch diese Grammatik definierten Sprache gehören und gebt einige Sätze an. Formuliert anschließend (falls möglich) einen regulären Ausdruck, der die selbe Sprache definiert oder erklärt wieso es keinen passenden regulären Ausdruck gibt.

Reguläre Ausdrücke (6 Punkte)



Christian Ehrhardt 2005-04-13