Article Dans Une Revue Fundamenta Informaticae Année : 2013

Araucaria Trees: Construction and Grafting Theorems

Résumé

Araucarias have been introduced by Schott and Spehner as trees which appear in the minimal automaton of the shuffle of words. We give here a new definition of araucarias which is more constructive and we prove that our definition of araucarias is equivalent to the original one. From the new definition we derive an optimal algorithm for the construction of araucarias and a new method for calculating their size. Moreover we characterize araucarias by properties of their maximal paths, by associating a capacity to every edge. We then show that every araucaria can be obtained by grafting and merging smaller araucarias. We prove also that every directed tree can be embedded in an araucaria. Moreover we define a capacity for every vertex of an araucaria, which leads to different new enumeration formulas for araucarias.

Mots clés

Fichier non déposé

Dates et versions

hal-04362590 , version 1 (22-12-2023)

Identifiants

Citer

Dominique Schmitt, Jean-Claude Spehner. Araucaria Trees: Construction and Grafting Theorems. Fundamenta Informaticae, 2013, 123 (4), pp.417-445. ⟨10.3233/FI-2013-819⟩. ⟨hal-04362590⟩

Collections

27 Consultations
0 Téléchargements

Altmetric

Partager

  • More