Reach on Register Automata via History Independence.

Simon Dierl Falk Howar

Published in: TAP@STAF (2022)

Keyphrases

cellular automata
finite automata
probabilistic automata
data sets
machine learning
regular expressions
finite state
real world
genetic algorithm
learning algorithm
special case
tree automata