...
 
Commits (2)
\begin{mhmodnl}[creators=miko]{adt}{en}
\begin{definition}
Ein \defii[name=ADT]{abstrakter}{Datentyp} (\defi[name=ADT]{ADT}) ist ein
mathematisches Modell f"ureinen \mtrefi[type?type]{Datentyp}, der einen
\mtrefi[type?type]{Typ} mittels seines Verhaltens aus Nutzersicht spezifiziert,
konkret bez"uglich seiner m"oglichen \mtrefi[value?value]{Werte} und
\mtrefi[operator?operator]{Operationen} auf \mtrefi[data?data]{Werten} dieses
\mtrefi[type?type]{Typs} und deren Verhalten.
\end{definition}
\end{mhmodnl}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End:
\begin{mhmodnl}[creators=miko]{adt}{en}
\begin{definition}
An \defiii[name=ADT]{abstract}{data}{type} (\defi{ADT}) is a mathematical model for
\mtrefiis[type?type]{data}{type}, which defines a \trefi[type]{type} by defined by its
behavior from the point of view of a user of the data, specifically in terms of
possible \trefii[value]{value}, possible \trefii[operator]{operation} on
\trefi[data]{data} of this \trefi[type]{type}, and the behavior of these operations.
\mtrefiis[type?type]{data}{type}, which specifies a \trefi[type]{type} by its behavior
from the point of view of a user of the data, specifically in terms of possible
\trefi[value]{value}, possible \trefis[operator]{operation} on \trefi[data]{data} of
this \trefi[type]{type}, and the behavior of these operations.
\end{definition}
\end{mhmodnl}
%%% Local Variables:
......
\begin{mhmodnl}[creators=miko]{dictionary}{en}
\begin{definition}
Ein \defi[name=dictionary]{Dictionary} (oder
\defii[name=dictionary]{assoziatives}{Datenfeld}) ist ein
\mtrefii[adt?ADT]{abstrakter}{Datentyp}, der aus einer \mtrefi[set?set]{Menge} von
\defi[name=key]{Schl"ussel}/\defi[name=value]{Wert}-Paaren besteht, jeder
\mtrefi[?key]{Schl"ussel} darf h"ochstens einmal auftreten.
\end{definition}
\end{mhmodnl}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End:
......@@ -6,7 +6,8 @@
use the \trefi[data]{data}.
A \trefi{type} constrains the \trefis[value]{value} a \trefi[variable]{variable} or
\trefi{function} can might take and defines the operations that can be applied to it.
\trefi{function} can might take and defines the \trefis[operator]{operation} that can
be applied to it.
\end{definition}
\end{mhmodnl}
%%% Local Variables:
......
......@@ -3,6 +3,7 @@
\gimport{subroutine}
\gimport{data}
\gimport{variable}
\gimport{operator}
\end{modsig}
%%% Local Variables:
%%% mode: latex
......