Marcus Ermler

  • Citations Per Year
Learn More
Graphersetzung ist ein Turing-vollständiges Berechnungsmodell, welches insbesondere in solchen Gebieten Verwendung findet, in denen Probleme durch Graphen modelliert werden können. Eine bekannte Anwendung ist die Ersetzung von Termgraphen in der funktionalen Programmierung. Die Frage nach der Terminierung ist ein wichtiger Punkt, da zum Beispiel eine(More)
class BinaryTree<T>: + abstract height() class Branch<T> inherits BinaryTree: BinaryTree<T> left T value BinaryTree<T> right + initializer(BinaryTree<T> left, T value, BinaryTree<T> right): self.left = left self.value = value self.right = right + height(): return 1+max(self.left.height(), self.right.height) class Leaf<T> inherits BinaryTree: + height():(More)
Wie unterstützt man den Schreibprozess einer wissenschaftlichen Arbeit mit modernen Textverarbeitungssystemen? Einige Antworten auf diese Frage sind im AuthorSupportTool implementiert, das eine Erweiterung für den OpenOffice.org 3 Writer darstellt. Hauptmerkmale des AuthorSupportTools sind eine Quellen- und Zitatverwaltung, eine Versionsverwaltung zur(More)
Many decision problems in the famous and challenging complexity class NP are graph problems and can be adequately specified by polynomial graph transformation units. In this paper, we propose to model the reductions in NP by means of a special type of polynomial graph transformation units, too. Moreover, we present some first ideas how the semantic(More)
  • 1