\newcommand{\Pos}{\operatorname{Pos}}
\newcommand{\NN}{\mathbb{N}}

\begin{slide}{Positionen in Termen}

Position eines Knotens (Teilterm) beschreiben
durch Pfad von der Wurzel:

\bigskip

$\Pos(t)\subseteq\NN^*$
ist Menge der Positionen von Term t:

$\Pos(f(t_1,\ldots,t_k))= 
\{\epsilon\} \cup \bigcup_{1\le i\le k} \{i\} \cdot \Pos(t_i)$

\bigskip

Übung: gibt es einen Term $t$ mit $\Pos(t)=\{\epsilon,1,21,113\}$? 
Welche Eigenschaften erfüllt jede Menge $\Pos(t)$?



\end{slide}
