From 9ca6e1ccad0505439c8771beedeea4c906c0396b Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gkleen@yggdrasil.li>
Date: Tue, 17 Nov 2015 10:32:49 +0100
Subject: eip H4-1

---
 ws2015/eip/blaetter/04/H4-1.md | 34 ++++++++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 ws2015/eip/blaetter/04/H4-1.md

(limited to 'ws2015/eip/blaetter')

diff --git a/ws2015/eip/blaetter/04/H4-1.md b/ws2015/eip/blaetter/04/H4-1.md
new file mode 100644
index 0000000..cb5695f
--- /dev/null
+++ b/ws2015/eip/blaetter/04/H4-1.md
@@ -0,0 +1,34 @@
+---
+header-includes:
+    - \usepackage[perp]{backnaur}
+    - \newcommand{\nonterminal}[1]{\ensuremath{\langle \text{\emph{#1}} \rangle}}
+---
+
+# Backus-Naur-Form
+
+a)
+    i) Ja. 
+        
+        - Wir starten in \nonterminal{Smiley}.
+        - Wir springen in \nonterminal{FröhlicherSmiley}.
+        - Von den möglichen Terminalen \texttt{:}, \texttt{;}, und \texttt{B} passt keines auf \texttt{8}.
+        - Wir springen zurück in \nonterminal{Smiley}.
+        - Wir springen in \nonterminal{TraurigerSmiley}.
+        - Von den möglichen Terminalen \texttt{:}, und \texttt{8} passt \texttt{8}.
+        - Wir springen in \nonterminal{Nase}.
+        - Von den möglichen Terminalen \texttt{o}, und \texttt{-} passt \texttt{o}.
+        - Wir sind am Ende von \nonterminal{Nase}.
+        - Wir springen in \nonterminal{TraurigerMund}.
+        - Von den möglichen Terminalen \texttt{(}, und \texttt{|} passt \texttt{|}.
+        - Wir sind am Ende von \nonterminal{TraurigerMund}, \nonterminal{TraurigerSmiley}, \nonterminal{Smiley}.
+
+    ii) Nein.
+    Nach dem ersten \texttt{(} werden die restlichen \texttt{(} nicht mehr gematcht ­ im Gegensatz zu \nonterminal{FröhlicherMund} erlaubt \nonterminal{TraurigerMund} keine Wiederholungen.
+
+b) \texttt{:-)))}
+c)
+
+\begin{bnf*}
+    \bnfprod{SmileyListe}{\bnfpn{TraurigerSmiley} \bnfsp (\bnfpn{SmileyListe'} \bnfor \bnfes)} \\
+    \bnfprod{SmileyListe'}{\bnfpn{FröhlicherSmiley} \bnfsp (\bnfpn{SmileyListe} \bnfor \bnfes)}
+\end{bnf*}
-- 
cgit v1.2.3