homework: finalize B07 (#379) 7b260e5

Author: cagix

.nojekyll

@@ -0,0 +1,44 @@
+## Credits
+
+This is a list of external projects used to build the lecture slides and
+the lecture notes for the teaching material. These are licensed under
+their own licences and are not part of the CC BY-SA 4.0 licence of this
+project.
+
+### Building the Lecture Slides
+
+- [Pandoc](https://github.com/jgm/pandoc)
+- [Pandoc-Lecture](https://github.com/cagix/pandoc-lecture)
+- [Pandoc-Lecture-Zen](https://github.com/cagix/pandoc-lecture-zen)
+- [TeX Live](http://tug.org/texlive/)
+- [Beamer](https://github.com/josephwright/beamer)
+- [Metropolis](https://github.com/matze/mtheme)
+
+### Building the Lecture GitHub Preview
+
+- [Pandoc](https://github.com/jgm/pandoc)
+- [Pandoc-Lecture](https://github.com/cagix/pandoc-lecture)
+
+### Further Tools used
+
+- [GNU Make](https://www.gnu.org/software/make/)
+- [Pandoc Dockerfiles](https://github.com/pandoc/dockerfiles)
+- [Docker](https://www.docker.com/)
+- [GitHub](https://github.com/)
+
+### Contributors
+
+[This
+project](https://github.com/Compiler-CampusMinden/CB-Vorlesung-Bachelor)
+has been created and is being maintained by the authors [BC
+George](https://github.com/bcg7), and [Carsten
+Gips](https://github.com/cagix), and various
+[contributors](https://github.com/Compiler-CampusMinden/CB-Vorlesung-Bachelor/graphs/contributors).
+
+------------------------------------------------------------------------
+
+<img src="https://licensebuttons.net/l/by-sa/4.0/88x31.png" width="10%">
+
+Unless otherwise noted, this work is licensed under CC BY-SA 4.0.
+
+<blockquote><p><sup><sub><strong>Last modified:</strong> e188a08 (markdown: switch to leaner yaml header (#363), 2025-08-09)<br></sub></sup></p></blockquote>

CREDITS.md

@@ -0,0 +1,9 @@
+# Organisatorisches
+
+------------------------------------------------------------------------
+
+<img src="https://licensebuttons.net/l/by-sa/4.0/88x31.png" width="10%">
+
+Unless otherwise noted, this work is licensed under CC BY-SA 4.0.
+
+<blockquote><p><sup><sub><strong>Last modified:</strong> e188a08 (markdown: switch to leaner yaml header (#363), 2025-08-09)<br></sub></sup></p></blockquote>

admin/images/architektur_cb.png

@@ -0,0 +1,11 @@
+# Praktikum
+
+Hier finden Sie die Übungsblätter.
+
+------------------------------------------------------------------------
+
+<img src="https://licensebuttons.net/l/by-sa/4.0/88x31.png" width="10%">
+
+Unless otherwise noted, this work is licensed under CC BY-SA 4.0.
+
+<blockquote><p><sup><sub><strong>Last modified:</strong> e188a08 (markdown: switch to leaner yaml header (#363), 2025-08-09)<br></sub></sup></p></blockquote>

admin/readme.md

@@ -0,0 +1,94 @@
+# Blatt 01: Reguläre Sprachen
+
+## A1.1: Sprachen von regulären Ausdrücken (1P)
+
+Welche Sprache wird von dem folgenden regulären Ausdruck beschrieben?
+
+$`a\ +\ a\ (a\ +\ b)^*\ a`$
+
+## A1.2: Bezeichner in Programmiersprachen (3P)
+
+Betrachten Sie eine Programmiersprache, in der die Bezeichner (= Namen
+für Variablen, Funktionen, Klassen, Methoden, …) folgenden Aufbau haben:
+
+- Alle Variablennamen beginnen mit **V** oder **v**
+- Handelt es sich um globale Variablen, beginnen Sie mit **V**, lokale
+  beginnen mit **v**
+- Funktions- und Methodenparameter beginnen mit **p**, KLassenparameter
+  (bei der Definition von Vererbung) beginnen mit **P**
+- Weitere Bezeichner müssen mit einem Buchstaben (a-z, A-Z) beginnen
+- Die folgenden Zeichen dürfen Buchstaben, Ziffern und ein Untersreich
+  sein
+- Bezeichner dürfen nicht mit einem Unterstrich enden
+- Alle Bezeichner müssen aus mindestens zwei Zeichen bestehen
+
+Entwickeln Sie einen regulären Ausdruck, der den Aufbau der Bezeichner
+beschreibt. Beachten Sie, dass Ihr regex alle zulässigen Bezeichner
+beschreiben muss, aber keinen einzigen unzulässigen beschreiben darf.
+Wählen Sie zwei Bezeichner aus der Sprache und zeigen Sie, wie sie vom
+regex gematcht werden.
+
+Entwickeln Sie einen DFA, der diese Bezeichner akzeptiert. Beachten Sie,
+dass Ihr DFA alle zulässigen Bezeichner akzeptieren muss, aber keinen
+einzigen unzulässigen akzeptieren darf. Wählen Sie zwei Bezeichner aus
+der Sprache und zeigen Sie, wie sie vom Automaten zeichenweise gelesen
+und akzeptiert werden.
+
+Entwickeln Sie eine reguläre Grammatik, die diese Bezeichner generiert.
+Beachten Sie, dass Ihre Grammatik alle zulässigen Bezeichner generieren
+können muss, aber keinen einzigen unzulässigen generieren darf. Wählen
+Sie zwei Bezeichner aus der Sprache und zeigen Sie die Ableitungsbäume
+dazu.
+
+## A1.3: Gleitkommazahlen in Programmiersprachen (2P)
+
+Recherchieren Sie zunächst den Aufbau von Gleitkommazahlen in Python und
+Java.
+
+Erstellen Sie für jede der beiden Programmiersprachen reguläre
+Ausdrücke, DFAs und reguläre Grammatiken wie in Aufgabe A1.2.
+Verifizieren Sie Ihre Lösungen wie in Aufgabe A1.2.
+
+## A1.4: Mailadressen? (1P)
+
+Warum ist der folgende regex ungeeignet für die Verarbeitung von
+Mailadressen?
+
+$`(a-z)^+@(a-z).(a-z)`$
+
+Bitte beachten Sie, dass die Schreibweise a-z nicht unserer Definition
+genügt. Eigentlich müsste jedes Zeichen aufgeführt werden:
+
+$`a + b + c + c + \ldots + z`$ ist besser, aber immer noch nicht
+richtig. Warum?
+
+Anmerkung: Diese Darstellung wird ab jetzt akzeptiert.
+
+Verbessern Sie den gegebenen regulären Ausdruck.
+
+## A1.5: Der zweitletzte Buchstabe (1P)
+
+Entwickeln Sie einen DFA, der nur Wörter über
+$`\Sigma = \lbrace 1,2,3 \rbrace`$ akzeptiert, deren zweitletztes
+Zeichen dasselbe ist wie das zweite.
+
+## A1.6: Sprache einer regulären Grammatik (2P)
+
+Welche Sprache generiert die folgende Grammatik?
+
+``` math
+\begin{eqnarray}
+S &\rightarrow& a A                      \nonumber \\
+A &\rightarrow& d B \ | \ b A \ | \ c A  \nonumber \\
+B &\rightarrow& a c \ | \ b C \ | \ c A  \nonumber \\
+C &\rightarrow& \epsilon                 \nonumber
+\end{eqnarray}
+```
+
+------------------------------------------------------------------------
+
+<img src="https://licensebuttons.net/l/by-sa/4.0/88x31.png" width="10%">
+
+Unless otherwise noted, this work is licensed under CC BY-SA 4.0.
+
+<blockquote><p><sup><sub><strong>Last modified:</strong> c2d8d8c (homework: finalize B01 (#373), 2025-10-02)<br></sub></sup></p></blockquote>

homework/readme.md

@@ -0,0 +1,78 @@
+# Blatt 02: CFG
+
+## A2.1: PDA (3P)
+
+Erstellen Sie einen deterministischen PDA, der die Sprache
+
+``` math
+L = \lbrace w \in \lbrace a, b, c \rbrace^* \; | \; w \; \text{hat doppelt so viele a's wie c's} \rbrace
+```
+
+akzeptiert.
+
+Beschreiben Sie Schritt für Schritt, wie der PDA die Eingaben *bcaba*
+und *bccac* abarbeitet.
+
+## A2.2: Akzeptierte Sprache (2P)
+
+Ist der folgenden PDA deterministisch? Warum (nicht)?
+
+$`q_4`$ sei der akzeptierende Zustand.
+
+``` math
+\begin{eqnarray}
+\delta(q_0,a, \perp) &=& (q_0, A\perp)           \nonumber \\
+\delta(q_0,a, A) &=& (q_0, AA)                   \nonumber \\
+\delta(q_0,b, A) &=& (q_1, BA)                   \nonumber \\
+\delta(q_1,b, B) &=& (q_1, BB)                   \nonumber \\
+\delta(q_1,c, B) &=& (q_2, \epsilon)             \nonumber \\
+\delta(q_2,c, B) &=& (q_2, \epsilon)             \nonumber \\
+\delta(q_2,d, A) &=& (q_3, \epsilon)             \nonumber \\
+\delta(q_3,d, A) &=& (q_3, \epsilon)             \nonumber \\
+\delta(q_3,d, A) &=& (q_3, AA)                   \nonumber \\
+\delta(q_3,\epsilon, \perp) &=& (q_4, \epsilon)  \nonumber
+\end{eqnarray}
+```
+
+Zeichnen Sie den Automaten. Geben Sie das 7-Tupel des PDa an. Welche
+Sprache akzeptiert er?
+
+## A2.3: Kontextfreie Sprache (2P)
+
+Welche Sprache generiert die folgende kontextfreie (Teil-) Grammatik?
+
+``` math
+G = (\lbrace \text{Statement}, \text{Condition}, \ldots \rbrace, \lbrace \text{"if"}, \text{"else"}, \ldots \rbrace, P, \text{Statement})
+```
+
+mit
+
+``` math
+\begin{eqnarray}
+P = \lbrace &&                                                                                                           \nonumber \\
+&\text{Statement}& \rightarrow \text{"if" Condition Statement} \; | \; \text{"if" Condition Statement "else" Statement}  \nonumber \\
+&\text{Condition}& \rightarrow \ldots                                                                                    \nonumber \\
+\rbrace                                                                                                                  \nonumber
+\end{eqnarray}
+```
+
+Ist die Grammatik mehrdeutig? Warum (nicht)?
+
+## A2.4: Kontextfreie Grammatik (3P)
+
+Entwickeln Sie eine kontextfreie Grammatik für die Sprache
+
+``` math
+L = \lbrace a^ib^jc^k \; | \; i = j \lor j = k \rbrace
+```
+
+Zeigen Sie, dass die Grammatik mehrdeutig ist. Entwickeln Sie einen PDA
+für diese Sprache.
+
+------------------------------------------------------------------------
+
+<img src="https://licensebuttons.net/l/by-sa/4.0/88x31.png" width="10%">
+
+Unless otherwise noted, this work is licensed under CC BY-SA 4.0.
+
+<blockquote><p><sup><sub><strong>Last modified:</strong> 102c219 (homework: finalize B02 (#374), 2025-10-03)<br></sub></sup></p></blockquote>