Computing measures of weak-MSO definable sets of trees

Damian Niwiński, Marcin Przybyłko, Michał Skrzypczak

This work addresses the problem of computing measures of recognisable sets of infinite trees. An algorithm is provided to compute the probability measure of a tree language recogni…