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

09/10/2018

∙

by   Marcin Przybyłko, et al.

∙

0

∙

share

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 defined by a first-order formula with no descendant relation or by a Boolean combination of conjunctive queries (with descendant relation) is rational and computable. Additionally, we provide an example of a first-order formula that uses descendant relation and defines a language of infinite trees having an irrational measure.