Closure properties and decision problems of dag automata

Siva Anantharaman (1) , Paliath Narendran (1) , Michael Rusinowitch (1)

1 LIFO - Laboratoire d'Informatique Fondamentale d'Orléans

Tree automata are widely used in various contexts. They are closed under boolean operations and their emptiness problem decidable in polynomial time. Dag automata are natural extensions of tree automata, operating on dags instead of on trees; they can also be used for solving problems. Our purpose in this paper is to show that algebraically they behave differently: the class of dag automata is not closed under complementation, dag automata are not determinizable, their membership problem is NP-complete, the universality problem is undecidable, and the emptiness problem is NP-complete even for deterministic labeled dag automata.

Mots clés: Tree automata; Determinism; Complementation; Universality problem; Emptiness problem; Formal languages

Domaines: Informatique et langage [cs.CL]

Siva Anantharaman, Paliath Narendran, Michael Rusinowitch. Closure properties and decision problems of dag automata. Information Processing Letters, 2005, 94, pp.231--240. ⟨10.1016/j.ipl.2005.02.004⟩. ⟨hal-00077495⟩