Automata-based Representations for Infinite Graphs
Salvatore La Torre, Margherita Napoli (2010)
RAIRO - Theoretical Informatics and Applications
Similarity:
New compact representations of infinite graphs are investigated. Finite automata are used to represent labelled hyper-graphs which can be also multi-graphs. Our approach consists of a general framework where vertices are represented by a regular prefix-free language and edges are represented by a regular language and a function over tuples. We consider three different functions over tuples: given a tuple the first function returns its first difference, the second one returns...