Normalization properties of a computation process on colored finite trees - LIMD
Pré-Publication, Document De Travail Année : 2024

Normalization properties of a computation process on colored finite trees

Résumé

In this paper, we introduce a concept of computation process on colored finite trees, which symbolize an inheritance process between fathers and sons, aiming to investigate their termination properties. We develop formal techniques to analyze their behavior and we present various results regarding the termination of computations performed on these trees. We show that these results can be generalized to digraphs through a simple transformation.
Fichier principal
Vignette du fichier
article.pdf (519.81 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04765327 , version 1 (04-11-2024)

Identifiants

  • HAL Id : hal-04765327 , version 1

Citer

Karim Nour, Ayman El Zein. Normalization properties of a computation process on colored finite trees. 2024. ⟨hal-04765327⟩
0 Consultations
0 Téléchargements

Partager

More