diff --git a/verfahren.tex b/verfahren.tex index 37713fc..26bc8e8 100644 --- a/verfahren.tex +++ b/verfahren.tex @@ -301,6 +301,14 @@ \end{enumerate} \subsubsection{Verfahren von Graham/Glanville} +\begin{enumerate} + \item Instruktionsbäume in Präfixform (\enquote{polnische Notation}) kodieren + \item Definition einer Maschinengrammatik, die für jeden verfügbaren Maschinenbefehl eine Produktion enthält:\begin{itemize} + \item linke Seite: Betriebsmittel, das das Ergebnis des Befehls enthält (Speicher, Register) + \item rechte Seite: Befehl mit Operanden + \end{itemize} + \item Parsen des Baumtexts mit Maschinengrammatik emittiert den Maschinencode (dabei Mehrdeutigkeit nach Heuristik auflösen) +\end{enumerate} \subsubsection{Dynamische Programmierung}