A direct proof of Agafonov's theorem and an extension to shift of finite type.

Published in: CoRR (2020)

Keyphrases

interactive theorem proving
fixed order
neural network
machine learning
decision trees
genetic algorithm
information systems
probabilistic model