Classes of Tree Homomorphisms with Decidable Preservation of Regularity

Abstract : Decidability of regularity preservation by a homomorphism is a well known open problem for regular tree languages. Two interesting subclasses of this problem are considered: first, it is proved that regularity preservation is decidable in polynomial time when the domain language is constructed over a monadic signature, i.e., over a signature where all symbols have arity 0 or 1. Second, decidability is proved for the case where non-linearity of the homomorphism is restricted to the root node (or nodes of bounded depth) of any input term. The latter result is obtained by proving decidability of this problem: Given a set of terms with regular constraints on the variables, is its set of ground instances regular? This extends previous results where regular constraints where not considered.
Type de document :
Communication dans un congrès
Springer. FOSSACS'08, Apr 2008, Hungary. 4962, pp.127-141, 2008, LNCS
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00243123
Contributeur : Sophie Tison <>
Soumis le : mercredi 6 février 2008 - 17:57:39
Dernière modification le : jeudi 21 février 2019 - 10:52:49

Identifiants

  • HAL Id : hal-00243123, version 1

Collections

Citation

Guillem Godoy, Sebastian Maneth, Sophie Tison. Classes of Tree Homomorphisms with Decidable Preservation of Regularity. Springer. FOSSACS'08, Apr 2008, Hungary. 4962, pp.127-141, 2008, LNCS. 〈hal-00243123〉

Partager

Métriques

Consultations de la notice

232