Originaltitel:
Tree Automata and Languages: Volume 10
Inhalt des Buches:
Die Theorie der Baumsprachen, die in den späten sechziger Jahren begründet wurde und in den siebziger Jahren noch aktiv war, war in den achtziger Jahren viel weniger aktiv. Jetzt erlebt sie in mehreren Ländern eine Wiederbelebung, wobei in den letzten fünf Jahren eine Reihe bedeutender Ergebnisse erzielt wurden. Ein großer Teil davon ist im vorliegenden Band enthalten.
Die Herausgeber dieses Bandes schlugen vor, dass die Autoren umfassende Halbüberblicksarbeiten verfassen sollten. Diese Sammlung ist daher für jeden nützlich, der sich für die Theorie der Baumsprachen interessiert, da sie die meisten neueren Fragen abdeckt, die in den wenigen eher alten Standardbüchern zu diesem Thema nicht behandelt werden. Bäume kommen natürlich in vielen Kapiteln der Informatik vor, und jede neue Eigenschaft führt wahrscheinlich zu einer Verbesserung der rechnerischen Lösung eines realen Problems im Umgang mit logischen Formeln, Datenstrukturen, Programmiersprachen auf Systemen, Algorithmen usw. Der hier eingenommene Standpunkt legt den Schwerpunkt auf die Eigenschaften selbst und ihre strenge mathematische Darstellung und nicht auf die vielen möglichen Anwendungen.
Dieser Band ist eine nützliche Quelle für Konzepte und Methoden, die in vielen Situationen erfolgreich angewendet werden können: seine Philosophie steht der Philosophie der ESPRIT Basic Research Actions und der European Association for Theoretical Computer Science sehr nahe.
Weitere Daten des Buches:
| ISBN: | 9780444890269 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Hardcover |
| Erscheinungsjahr: | 1992 |
| Seitenzahl: | 496 |
Kauf:
Derzeit verfügbar, auf Lager.
