Termersetzungssysteme

More about the book

Das Buch entstand aus Vorlesungen an der Fakultät für Informatik der Universität Tübingen und richtet sich an Studierende der Informatik sowie an alle, die sich mit formalen Systemen beschäftigen, wie Mathematiker, Logiker und Sprachwissenschaftler. Es bietet eine Einführung in Termersetzungssysteme und setzt grundlegende Kenntnisse der Informatik voraus, darunter Programmierung, Prädikatenlogik und theoretische Grundlagen wie Berechenbarkeit und formale Sprachen, wie sie im Informatikvordiplom vermittelt werden. Ziel ist es, die Leser in die Lage zu versetzen, aktuelle Forschungspublikationen selbstständig zu studieren. Die Spezifikation von Systemen ist eine zentrale Aufgabe in der Informatik, die in der Entwurfsphase jedes Projekts erfolgt und als Grundlage für die Implementierung sowie die Dokumentation dient. Formale Spezifikationen bieten den Vorteil, mathematisch genau zu sein und Interpretationsspielraum zu vermeiden, wodurch sie klar definieren, was ein System leisten soll. Allerdings sind solche Spezifikationen für Ungeübte oft schwer zu erstellen und zu lesen, was häufig zur fehlenden Motivation führt, sie zu erstellen.