A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings.

Gustav Grabolle

Published in: CoRR (2022)

Keyphrases

cellular automata
finite automata
regular expressions
weighted sum
special case
constraint satisfaction problems
data sets
neural network
tree automata
turing machine
digital topology
real time
knn
finite state
order statistics
lattice gas