A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings.

Gustav Grabolle

Published in: GandALF (2021)

Keyphrases

special case
cellular automata
constraint satisfaction problems
regular expressions
weighted sum
finite state machines
finite state
finite automata
von neumann
database
weighted graph
weighted distance
finite automaton
lattice gas