How to Fast Verify Collatz Conjecture by Automata.

Wei Ren Ruiyang Xiao

Published in: HPCC/SmartCity/DSS (2019)

Keyphrases

cellular automata
regular expressions
finite automata
tree automata
search engine
data mining
decision trees
high level
feature space
lower bound
special case