\documentclass[kopfSuSName,kopfDatum]{schuleab}
\usepackage[utf8]{inputenc}
\usepackage{schulinf}

% Dieses Dokument ist in der Zusammenarbeit von Informatikreferendaren und
% ehemaligen Informatikreferendaren der Studienseminare (heute ZfsL) Arnsberg,
% Hamm und Solingen entstanden.
%
% Das Dokument steht unter der Lizenz: Creative Commons by-nc-sa Version 4.0
% http://creativecommons.org/licenses/by-nc-sa/4.0/deed.de
%
% Nach dieser Lizenz darf das Dokument beliebig kopiert und bearbeitet werden,
% sofern das Folgeprodukt wiederum unter gleichen Lizenzbedingungen vertrieben
% und auf die ursprünglichen Urheber verwiesen wird.
% Eine kommerzielle Nutzung ist ausdrücklich ausgeschlossen.
%
% Die Namensnennung durch einen Verweis und die Lizenzangabe der ursprünglichen
% Urheber auf den Materialien für Schülerinnen und Schüler ist erforderlich.
%
% Die Sammlung der Dokumente steht unter
% http://ddi.uni-wuppertal.de/material/materialsammlung/
% zur Verfügung.
%
% Das LaTeX-Paket zum Setzen der Dokumente der Sammlung steht
% unter  http://www.ctan.org/pkg/schule
% zur Verfügung.

\usepackage[pdfauthor={Referendare der Informatikfachseminare Arnsberg, Hamm und Solingen}]{hyperref}
\includexmp{lizenz}
\cclizenz{byncsaeu}
\footerQRLink{materialsammlung_qr_url.pdf}

\svnid{$Id: ab_01a-mi2mu.tex 1467 2016-03-25 10:56:54Z pieper $}

\usepackage{accents}
\providecommand{\wort}[1]%
{
\fcolorbox{red}{yellow}{#1}
}
\listfiles

\dokName{Freihandversuch mi2mu}
\jahrgang{EF}

\begin{document}

\subsection*{\wort{$mi\accentset{*}{\vdash{}}mu$} -- Sprachbeschreibung}
 \begin{description}
  \item[Symbole] \wort{$m$} \wort{$i$} \wort{$u$}
  \item[Startwort] \wort{$mi$}
  \item[Regeln] 
   \begin{minipage}[t]{0.54\columnwidth}%
    \begin{enumerate}
     \item Ist \wort{$Xi$} ein Wort, dann auch \wort{$Xiu$}
     \item Ist \wort{$mX$} ein Wort, dann auch \wort{$mXX$}
     \item In jedem Wort kann \wort{$iii$} durch \wort{$u$} ersetzt werden
     \item \wort{$uu$} kann aus jedem Wort weggelassen werden
    \end{enumerate}
   \end{minipage}

   \wort{$X$} in Regel~1 und 2 steht für eine beliebige Folge von Symbolen\\
   \wort{$XX$} bezeichnet die Verdoppelung der Symbolfolge \wort{$X$}


   \item[Aufgabe]
    Geben Sie die Folge von Umformungen an, die vom Startwort \wort{$mi$} durch 
    Anwendung der Regeln zu \wort{$mu$} führt.

    %vgl.~\autocite[S.~37--45]{Hofstadter1985}

   \item[Hinweise] 
    \begin{minipage}[t]{.8\columnwidth}%
     \begin{itemize}
      \item  Die Regeln dürfen in beliebiger Reihenfolge angewendet werden
      \item  Notieren Sie die Folge der Umformungen in der Form 
      $\wort{$mi$}\accentset{2}{\vdash{}}\wort{$mii$}\accentset{\ldots}{\vdash{}}\ldots$ \\
      die über dem Pfeil stehende Zahl bezeichnet dabei die Nummer der Regel, 
      die Sie anwenden. 
     \end{itemize}
    \end{minipage}

 \end{description}

\end{document}
