DocumentCode
728971
Title
Distributed Graph Automata
Author
Reiter, Fabian
Author_Institution
LIAFA, Univ. Paris, Paris, France
fYear
2015
fDate
6-10 July 2015
Firstpage
192
Lastpage
201
Abstract
Combining ideas from distributed algorithms and alternating automata, we introduce a new class of finite graph automata that recognize precisely the languages of finite graphs definable in monadic second-order logic. By restricting transitions to be nondeterministic or deterministic, we also obtain two strictly weaker variants of our automata for which the emptiness problem is decidable.
Keywords
decidability; distributed algorithms; finite automata; graph theory; alternating automata; decidability; distributed algorithms; distributed graph automata; emptiness problem; finite graph automata; finite graphs languages; monadic second-order logic; Automata; Color; Computer science; Distributed algorithms; Indexes; Standards; Terminology; Finite automata; Graphs; MSO-logic;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science (LICS), 2015 30th Annual ACM/IEEE Symposium on
Conference_Location
Kyoto
ISSN
1043-6871
Type
conf
DOI
10.1109/LICS.2015.27
Filename
7174881
Link To Document