A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings.

Gustav Grabolle

Published in: Log. Methods Comput. Sci. (2023)

Keyphrases

constraint satisfaction problems
cellular automata
lattice gas
neural network
database
genetic algorithm
learning algorithm
regular expressions
finite state
von neumann
turing machine