Marco/UE2-Verfahren
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Kleinere Fehler behoben

Browse Source
This commit is contained in:
Marco Ammon 2020-08-15 11:21:55 +02:00
parent 09ecc56528
commit 32597233c6
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
verfahren.pdf
View File

Binary file not shown.

4
verfahren.tex
View File

@ -212,7 +212,7 @@
\item Vorverarbeitung: und sowie Wertgleichheit \item Vorverarbeitung: und sowie Wertgleichheit
\end{itemize} \end{itemize}
\item Kopienfortschreibung: \begin{itemize} \item Kopienfortschreibung: \begin{itemize}
\item Eine Bitposition pro aus Kopieren entstandener Wergleichtheitsbeziehung \item Eine Bitposition pro aus Kopieren entstandener Wertgleichtheitsbeziehung
\item Setzen bei Kopieroperation \item Setzen bei Kopieroperation
\item Zurücksetzen wenn Original oder Kopie mindestens schwach definiert wird \item Zurücksetzen wenn Original oder Kopie mindestens schwach definiert wird
\item Anfangsbelegung: false \item Anfangsbelegung: false
@ -723,7 +723,7 @@
\subsection{Entfernung von schleifengetragenen Datenabhängigkeiten} \subsection{Entfernung von schleifengetragenen Datenabhängigkeiten}
\begin{itemize} \begin{itemize}
\item Legalität: Für jede Datenabhängigkeit muss die relative Reihenfolge auch nach Anwendung der Transformation bzw. Restrukturierung erhalten bleiben, die entstehenden Abhängigkeits\-distanz\-vektoren nicht lexikographisch sein \item Legalität: Für jede Datenabhängigkeit muss die relative Reihenfolge auch nach Anwendung der Transformation bzw. Restrukturierung erhalten bleiben, d.h. die entstehenden Abhängigkeits\-distanz\-vektoren dürfen nicht lexikographisch negativ sein und müssen ihre Datenabhängigkeitsart behalten
\end{itemize} \end{itemize}
\subsubsection{Schleifentransformationen} \subsubsection{Schleifentransformationen}