Fly-automata for checking MSO2 graph properties.

Bruno Courcelle

Published in: Discret. Appl. Math. (2018)

Keyphrases

graph properties
regular expressions
finite state
tree automata
graph theoretic
graph data
graph theory
directed graph
finite automata
markov chain
pattern matching
model checking
databases
matching algorithm
random walk
np complete
clustering coefficient