Continuous monoids and yields of infinite trees
Max Dauchet, E. Timmerman · RAIRO - Theoretical Informatics and Applications · 1986
We dejîne in a canonical algebraic way the structure of (order-) continuous monoid and the notion of the yieid of an infinité tree.We prove the decidability of the equality of the yields of two regular infinité trees. Resumé. -Nous spécifions, dans l'esprit des catégories, ce que doivent être un monoïde continu et le feuillage d'un arbre infini (la continuité est prise au sens des C.P.O.). Nous prouvons la décidabilité de Végalité des feuillages pour les arbres infinis réguliers.