The Uniform Measure of Simple Regular Sets of Infinite Trees

Marcin Przybyłko, Michał Skrzypczak

We consider the problem of computing the measure of a regular set of infinite binary trees. While the general case remains unsolved, we show that the measure of a language can be c…