3 papers
cs.FL2018
Automatic supermartingales acting on sequences
Birzhan Moldagaliyev
This paper describes a construction of supermartingales realized as automatic functions. A capital of supermartingales is represented using automatic capital groups~(ACG). Properti…
cs.FL2018
Randomness of formal languages via automatic martingales
Birzhan Moldagaliyev
We define a notion of randomness for individual and collections of formal languages based on automatic martingales acting on sequences of words from some underlying domain. An auto…
cs.FL2017
Automatic Randomness Tests
Birzhan Moldagaliyev
In this paper we define a notion of automatic randomness tests (ART) which capture measure theoretic typicalness of infinite binary sequences within the framework of automata theor…