Monoïdes libres dans les groupes hyperboliques
Partially-additive monoids (pams) were introduced by Arbib and Manes ([1]) in order to provide an algebraic approach to the semantic of recursion in theoretical computer science. Here we extend the range of application of pams for capturing information theory concepts as componibility and sequential continuity, which arise naturally in this framework.
We develop problems of monotonic valuations of triads. A theorem on monotonic valuations of triads of the type is presented. We study, using the notion of the monotonic valuation, representations of ideals by monotone and subadditive mappings. We prove, for example, that there exists, for each ideal of the type on a set , a monotone and subadditive set-mapping on with values in non-negative rational numbers such that . Some analogical results are proved for ideals of the types and...
Nous donnons une caractérisation complète de tous les morphismes binaires qui préservent les mots sturmiens et montrons que les mots infinis engendrés par ces morphismes sont rigides.