On Computing the Measures of First-Order Definable Sets of Trees

Marcin Przybyłko

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