A Büchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage.
Joost EngelfrietHeiko VoglerPublished in: Discret. Math. Theor. Comput. Sci. (2020)
Keyphrases
- finite state
- regular expressions
- tree automata
- graph theory
- finite automata
- data storage
- random walk
- markov chain
- query processing
- probabilistic automata
- graph structure
- von neumann
- structured data
- finite state machines
- information gain
- graph representation
- storage and retrieval
- cellular automata
- graph based algorithm
- graph theoretic
- graph model
- graph mining
- markov decision processes
- directed graph
- bipartite graph