Problèmes de bornes pour les automates et les transducteurs à pile visible
L’étude des automates est un sujet fondamental de l’informatique. Ce modèle apporte des solutions pratiques à divers problèmes en compilation et en vérification notamment. Dans ce travail nous proposons l'extension aux automates à pile visible de résultats existants pour les automates. Nous pro...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2015
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2015AIXM4118/document |