SMT-based generation of symbolic automata.

Xudong Qin Simon Bliudze Eric Madelaine Zechen Hou Yuxin Deng Min Zhang

Published in: Acta Informatica (2020)

Keyphrases

cellular automata
high level
machine learning
finite automata
regular expressions
connectionist models
data sets
databases
multiscale
statistical machine translation
tree automata
probabilistic automata
symbolic reasoning