From f7c027804a265d4009493219ea0d7d03e9a21c19 Mon Sep 17 00:00:00 2001
From: Marco Ammon <marco@marco-ammon.de>
Date: Fri, 26 Jun 2020 15:41:54 +0200
Subject: [PATCH] Verfahren von Graham/Glanville

---
 verfahren.tex | 8 ++++++++
 1 file changed, 8 insertions(+)

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}