Definition 11 (Edit distance nach Wanger-Fischer \cite{wikipedia}):
Definition 12 (Graph edit distance  \cite{wikipediaa}):