@Article{         Reiter,
  Author        = "Reiter, Fabian",
  Abstract      = "Inspired by distributed algorithms, we introduce a new class of finite graph automata that recognize precisely the graph languages definable in monadic second-order logic. For the cases of words and trees, it has been long known that the regular languages are precisely those definable in monadic second-order logic. In this regard, the automata proposed in the present work can be seen, to some extent, as a generalization of finite automata to graphs.",
  date-added    = "2015-06-29 08:24:59 +0000",
  date-modified = "2015-06-29 08:24:59 +0000",
  EPrint        = "1404.6503",
  Month         = "04",
  Title         = "Distributed Graph Automata",
  URL           = "http://arxiv.org/abs/1404.6503",
  Year          = "2014",
  bdsk-url-1    = "http://arxiv.org/abs/1404.6503",
  File          = "Distributed Graph Automata - Reiter (0) (0) - a - a - s.pdf"
}

@Article{ Reiter, Author = "Reiter, Fabian", Abstract = "Inspired by distributed algorithms, we introduce a new class of finite graph automata that recognize precisely the graph languages definable in monadic second-order logic. For the cases of words and trees, it has been long known that the regular languages are precisely those definable in monadic second-order logic. In this regard, the automata proposed in the present work can be seen, to some extent, as a generalization of finite automata to graphs.", date-added = "2015-06-29 08:24:59 +0000", date-modified = "2015-06-29 08:24:59 +0000", EPrint = "1404.6503", Month = "04", Title = "Distributed Graph Automata", URL = "http://arxiv.org/abs/1404.6503", Year = "2014", bdsk-url-1 = "http://arxiv.org/abs/1404.6503", File = "Distributed Graph Automata - Reiter (0) (0) - a - a - s.pdf" }