Pumping lemmas for weighted automata.

Agnishom Chattopadhyay Filip Mazowiecki Anca Muscholl Cristian Riveros

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

Keyphrases

cellular automata
database
metadata
finite automata
data sets
neural network
machine learning
similarity measure
special case
regular expressions
theorem proving
weighted sum
turing machine