Pumping lemmas for weighted automata.

Agnishom Chattopadhyay Filip Mazowiecki Anca Muscholl Cristian Riveros

Published in: CoRR (2020)

Keyphrases

cellular automata
neural network
theorem proving
data sets
multiscale
finite state
finite automata
finite state machines
lattice gas
databases
genetic algorithm
expert systems
regular expressions
theorem prover
weighted sum
probabilistic automata