thesis

Contribution a la theorie des automates : automates d'arbres infinis et applications a la logique et a la programmation

Defense date:

Jan. 1, 1987

Edit

Institution:

Paris 7

Disciplines:

Applied sciences

Authors:

Directors:

Abstract EN:

Pas de résumé disponible.

Abstract FR:

Extension de la theorie des automates a la reconnaissance des objets infinis. Sont etudies: les automates de mots infinis et les systemes de transitions, les automates d'arbres infinis gradues, les automates finis d'arbres infinis, les automates a pile d'arbres infinis, des applications a la logique et a la programmation