Filtern
Erscheinungsjahr
- 2007 (1) (entfernen)
Dokumenttyp
- Ausgabe (Heft) zu einer Zeitschrift (1) (entfernen)
Schlagworte
- directed acyclic graphs (1) (entfernen)
Institut
- Institut für Computervisualistik (1) (entfernen)
We introduce linear expressions for unrestricted dags (directed acyclic graphs) and finite deterministic and nondeterministic automata operating on them. Those dag automata are a conservative extension of the Tu,u-automata of Courcelle on unranked, unordered trees and forests. Several examples of dag languages acceptable and not acceptable by dag automata and some closure properties are given.