Jumping Computation: Updating Automata and Grammars for Discontinuous Information Processing
Jumping Computation : Updating Automata and Grammars for Discontinuous Information Processing est avant tout un traitement théorique des automates et grammaires à sauts, couvrant tous les sujets théoriques essentiels les concernant, y compris leur puissance, leurs propriétés et leurs transformations. D'un point de vue pratique, il décrit divers concepts, méthodes, algorithmes, techniques, études de cas et applications basés sur ces automates et grammaires.
Dans le monde informatisé d'aujourd'hui, le développement scientifique et l'étude de l'informatique, appelée théorie de l'informatique, jouent un rôle crucial. Une branche importante, la théorie des langages, étudie la manière de définir et d'étudier les langages et leurs modèles, qui formalisent les algorithmes selon lesquels leur calcul est exécuté. Ces modèles de définition des langues sont classés en deux catégories de base : les automates, qui définissent les langues en reconnaissant leurs mots, et les grammaires, qui les génèrent. Introduites il y a plusieurs décennies, ces règles reflètent le calcul séquentiel classique. Cependant, les méthodes informatiques actuelles traitent souvent l'information d'une manière fondamentalement différente, en "sautant" fréquemment de larges portions de l'information dans son ensemble. Ce livre adapte les modèles classiques pour formaliser et étudier correctement ce type de calcul. En termes simples, au cours de leur processus de définition du langage, ces versions adaptées, appelées automates et grammaires de saut, sautent à travers les mots sur lesquels elles travaillent.
Le livre sélectionne des modèles importants et résume les résultats clés à leur sujet de manière compacte et uniforme. Il relie chaque modèle à une forme particulière de calcul moderne, telle que le calcul séquentiel, semi-parallèle et totalement parallèle, et explique comment le modèle en question reflète et formalise correctement la forme de calcul correspondante, ce qui nous permet d'obtenir un ensemble systématisé de connaissances mathématiquement précises concernant le calcul par sauts. Le livre accorde une attention particulière à la puissance, aux propriétés de fermeture et aux transformations, et décrit également de nombreux algorithmes qui modifient les grammaires et les automates à sauts afin qu'ils satisfassent certaines propriétés prescrites sans changer le langage défini. Ce livre sera d'un grand intérêt pour tous ceux qui font des recherches sur la théorie du calcul dans les domaines de l'informatique, des mathématiques, de l'ingénierie, de la logique et de la linguistique.
© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)