Titre original :
Tree Automata and Languages: Volume 10
Contenu du livre :
La théorie des langages arborescents, fondée à la fin des années soixante et toujours active dans les années soixante-dix, a été beaucoup moins active au cours des années quatre-vingt. Aujourd'hui, on assiste à une renaissance simultanée dans plusieurs pays, avec un certain nombre de résultats significatifs prouvés au cours des cinq dernières années. Une grande partie d'entre eux figurent dans le présent volume.
Les éditeurs de ce volume ont suggéré aux auteurs de rédiger des demi-enquêtes exhaustives. Cette collection est donc utile à tous ceux qui s'intéressent à la théorie des langages arborescents, car elle couvre la plupart des questions récentes qui ne sont pas traitées dans les quelques livres standards assez anciens sur le sujet. Les arbres apparaissent naturellement dans de nombreux chapitres de l'informatique et chaque nouvelle propriété est susceptible d'entraîner l'amélioration d'une solution informatique d'un problème réel dans le traitement des formules logiques, des structures de données, des langages de programmation sur les systèmes, des algorithmes, etc. Le point de vue adopté ici est de mettre l'accent sur les propriétés elles-mêmes et leur exposition mathématique rigoureuse plutôt que sur les nombreuses applications possibles.
Ce volume est une source utile de concepts et de méthodes qui peuvent être appliqués avec succès dans de nombreuses situations : sa philosophie est très proche de l'ensemble de la philosophie des actions de recherche fondamentale d'ESPRIT et de celle de l'Association européenne pour l'informatique théorique.
Autres informations sur le livre :
| ISBN : | 9780444890269 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Relié |
| Année de publication : | 1992 |
| Nombre de pages : | 496 |
Achat:
Actuellement disponible, en stock.
