Université Lille1 - Sciences et Technologies Contrôles et preuves dans les systèmes clos : automates à piles d'arbres et calcul de formes normales Control and proofs for ground systems 511.3 Automates Automates mathématiques, Théorie des Réécriture, Systèmes de (informatique) Turing (langage de programmation) Text Electronic Thesis or Dissertation fr La réécriture est, à plusieurs titres, un paradigme bien connu de la programmation. Notre but est de contribuer à mieux comprendre les structures algébriques complexes manipulées. Nous prouvons que les systèmes clos munis d'un contrôle reconnaissable ont la même puissance que les systèmes généraux. Nous montrons que les ensembles d'arbres de dérivation dans les problèmes d'accessibilité peuvent être vus comme des forêts reconnaissables. Enfin, nous introduisons une notion qui permet d'éclairer et de généraliser les études antérieures sur les liens entre systèmes de réécriture et automates à piles. application/pdf 1 : 1 Mo https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1990/50376-1990-263.pdf Coquide Jean-Luc 1900-01-01 137791666 1990-01-01 Informatique Université Lille1 - Sciences et Technologies 026404184 Doctorat non oui Dauchet Max 110327969 ddc:510 ASCII PDF 9999