Commit a3c3cf8c authored by zrene's avatar zrene

Kleinere Fehler in Lösungen behoben

parent ffb3f8d9
......@@ -298,7 +298,7 @@ Ein String $x$ ist akzeptiert von $M$, wenn, nachdem $x$ auf das Tape geschriebe
\vspace{-0.1cm}
\item $ L = \{w | $(w besitzt doppelt so viele 'a' wie 'b') $\}$ \\
$S_0 \rightarrow S_1aab\ |\ aS_1aab \ | \ aaS_1b \ |\ aabS_1\ | \ S_1aba \ | \ aS_1ba \ | \ abS_1a \ |$\\
$S_0 \rightarrow S_1aab\ |\ aS_1ab \ | \ aaS_1b \ |\ aabS_1\ | \ S_1aba \ | \ aS_1ba \ | \ abS_1a \ |$\\
.\ \ \ \ \ \ \ \ \ \ \ \ \ $ abaS_1 \ | \ S_1baa \ | \ bS_1aa \ | \ baS_1a \ | \ baaS_1 $ \\
$S_1 \rightarrow S_0 | \varepsilon$\\
\vspace{0.1cm}
......@@ -322,25 +322,25 @@ Ein String $x$ ist akzeptiert von $M$, wenn, nachdem $x$ auf das Tape geschriebe
\hrule
\vspace{-0.1cm}
\item $ L = \{a^i b^j c^k | j= i + k \}$ \\
$S_0 \rightarrow aS_1bS_2\ |\ S_1bS_2c\ |\ \varepsilon$ \\
$S_1 \rightarrow aS_1b\ |\ \varepsilon$ \\
$S_2 \rightarrow bS_2c\ |\ \varepsilon$ \\
\\
\vspace{0.1cm}
\hrule
\vspace{-0.1cm}
%
% \item $ L = \{a^i b^j c^k | j= i + k \}$ \\
% $S_0 \rightarrow aS_1bS_2\ |\ S_1bS_2c\ |\ \varepsilon$ \\
% $S_1 \rightarrow aS_1b\ |\ \varepsilon$ \\
% $S_2 \rightarrow bS_2c\ |\ \varepsilon$ \\
% \\
% \vspace{0.1cm}
% \hrule
% \vspace{-0.1cm}
\item $ L = \{a^i b^j c^k | j= i $ or $ j = k \}$ \\
\begin{itemize}
\item $L_1 = \{a^i b^j c^k | j= i\}$
\item $L_1 = \{a^i b^j c^k | j= i\}$ \\
$S_1 \rightarrow aS_2bS_3\ |\ \varepsilon$ \\
$S_2 \rightarrow aS_2b\ |\ \varepsilon$ \\
$S_3 \rightarrow cS_3\ |\ \varepsilon$ \\
\item $L_2 = \{a^i b^j c^k | j= k\}$
\item $L_2 = \{a^i b^j c^k | j= k\}$ \\
$S_4 \rightarrow S_5bS_6c\ |\ \varepsilon$ \\
$S_5 \rightarrow cS_5\ |\ \varepsilon$ \\
$S_6 \rightarrow bS_6c\ |\ \varepsilon$ \\
......@@ -358,10 +358,10 @@ Ein String $x$ ist akzeptiert von $M$, wenn, nachdem $x$ auf das Tape geschriebe
\begin{itemize}
\item $L_1 = \{a^i b^j c^k | i> j + k \}$ \\
$S_1 \rightarrow aS_2$ \\
$S_2 \rightarrow aS_2\ |\ aS_2c \ |\S_3$ \\
$S_2 \rightarrow aS_2\ |\ aS_2c \ |\ S_3$ \\
$S_3 \rightarrow aS_3 \ |\ aS_3b \ |\ \varepsilon$ \\
\item $L_2 = \{a^i b^j c^k | i < j + k\}$
\item $L_2 = \{a^i b^j c^k | i < j + k\}$ \\
$S_4 \rightarrow s_5c$ \\
$S_5 \rightarrow s_5c \ |\ aS_5c \ |\ S_6 $ \\
$S_6 \rightarrow S_6b\ |\ aS_6b \ |\ \varepsilon $ \\
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment