We investigate two models of finite-state automata that operate on rooted directed graphs by marking either vertices (V-automata) or edges (E-automata). Runs correspond to locally consistent markings and acceptance is defined by means of regular conditions on the paths emanating from the root. Comparing the expressive power of these two notions of graph acceptors, we show that E-automata are more expressive than V-automata. Moreover, we prove that E-automata are at least as expressive as the μ-calculus. Our main result implies that every MSO-definable tree language can be recognised by E-automata with uniform runs, that is, runs that do not distinguish between isomorphic subtrees. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Berwanger, D., & Janin, D. (2006). Automata on directed graphs: Edge versus vertex marking. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4178 LNCS, pp. 46–60). Springer Verlag. https://doi.org/10.1007/11841883_5
Mendeley helps you to discover research relevant for your work.