Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-25689
Titel: | Test-sets und Termersetzungen für die Generierung rekursiv definierter Algorithmen aus Existenzaussagen |
VerfasserIn: | Bengeloune, Idriss |
Sprache: | Deutsch |
Erscheinungsjahr: | 2000 |
Kontrollierte Schlagwörter: | Programmsynthese ; Konstruktive Methode ; Rekursiver Algorithmus ; Inferenzsystem ; Induktionsbeweis ; Termersetzungssystem |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Dissertation |
Abstract: | In dieser Arbeit wurde ein Verfahren vorgestellt, mit dem man rekursiv definierte Algorithmen aus Gueltigkeitsbeweisen von Existenzformeln extrahieren kann.Das Verfahren beschränkt sich auf einen einfachen Formalismus und basiert auf Test-sets und einem Vereinfachungsmechanismus.Termersetzungen und logische Simplifikationen bilden den Kern dieses Vereinfachungsmechanismus, waehrend Test-sets eine Beschreibung des initialen Modells einer Axiommenge darstellen. In this thesis we presented a method for extracting recursive defined algorithms from existentially quantified formulas, being based on a simple formalism, test sets and a simplification strategy.Term rewriting and logical simplification represent the core of that simplification strategy and test sets the description of the initial model of a set of axioms. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291-scidok-1621 hdl:20.500.11880/25745 http://dx.doi.org/10.22028/D291-25689 |
Erstgutachter: | Jacques Loeckx |
Tag der mündlichen Prüfung: | 1-Apr-2000 |
Datum des Eintrags: | 18-Feb-2004 |
Fakultät: | MI - Fakultät für Mathematik und Informatik |
Fachrichtung: | MI - Informatik |
Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
IdrissBengeloune_ProfDrIngJacquesLoeckx.pdf | 701,63 kB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.