Set Constraints and Automata

16Citations
Citations of this article
6Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

We define a new class of automata which is an acceptor model for mappings from the set of terms TΣ over a ranked alphabet Σ into a set E of labels. When E = {0, 1}n an automaton can be viewed as an acceptor model for n-tuples of tree languages. We prove decidability of emptiness and closure properties for this class of automata. As a consequence of these results, we prove decidability of satisfiability of systems of positive and negative set constraints without projection symbols. We prove the decidability of the satisfiability problem for systems of positive and negative set constraints without projection symbols. Moreover we prove that a non-empty set of solutions always contain a regular solution (i.e., a n-tuple of regular tree languages). We also deduce decidability results for properties of sets of solutions of systems of set constraints. © 1999 Academic Press.

Cite

CITATION STYLE

APA

Gilleron, R., Tison, S., & Tommasi, M. (1999). Set Constraints and Automata. Information and Computation, 149(1), 1–41. https://doi.org/10.1006/inco.1998.2747

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free