@Article{         Michalewski:2015aa,
  Author        = "Michalewski, Henryk and Mio, Matteo",
  Abstract      = "We consider the problem of computing the probability of regular languages of infinite trees with respect to the natural coin-flipping measure. We propose an algorithm which computes the probability of languages recognizable by \emph{game automata}. In particular this algorithm is applicable to all deterministic automata. We then use the algorithm to prove through examples three properties of measure: (1) there exist regular sets having irrational probability, (2) there exist comeager regular sets having probability",
  date-added    = "2017-12-01 12:07:05 +0000",
  date-modified = "2017-12-01 12:07:05 +0000",
  EPrint        = "1510.01640",
  Month         = "10",
  Title         = "On the Problem of Computing the Probability of Regular Sets of Trees",
  URL           = "https://arxiv.org/abs/1510.01640",
  Year          = "2015",
  bdsk-url-1    = "https://arxiv.org/abs/1510.01640",
  File          = "1510.01640 (0) - a - a - h.pdf"
}

@Article{ Michalewski:2015aa, Author = "Michalewski, Henryk and Mio, Matteo", Abstract = "We consider the problem of computing the probability of regular languages of infinite trees with respect to the natural coin-flipping measure. We propose an algorithm which computes the probability of languages recognizable by \emph{game automata}. In particular this algorithm is applicable to all deterministic automata. We then use the algorithm to prove through examples three properties of measure: (1) there exist regular sets having irrational probability, (2) there exist comeager regular sets having probability", date-added = "2017-12-01 12:07:05 +0000", date-modified = "2017-12-01 12:07:05 +0000", EPrint = "1510.01640", Month = "10", Title = "On the Problem of Computing the Probability of Regular Sets of Trees", URL = "https://arxiv.org/abs/1510.01640", Year = "2015", bdsk-url-1 = "https://arxiv.org/abs/1510.01640", File = "1510.01640 (0) - a - a - h.pdf" }