342 research outputs found
On the Problem of Computing the Probability of Regular Sets of Trees
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 and
(3) the probability of \emph{game languages} , from automata theory,
is if is odd and is otherwise
On the Borel Inseparability of Game Tree Languages
The game tree languages can be viewed as an automata-theoretic counterpart of
parity games on graphs. They witness the strictness of the index hierarchy of
alternating tree automata, as well as the fixed-point hierarchy over binary
trees. We consider a game tree language of the first non-trivial level, where
Eve can force that 0 repeats from some moment on, and its dual, where Adam can
force that 1 repeats from some moment on. Both these sets (which amount to one
up to an obvious renaming) are complete in the class of co-analytic sets. We
show that they cannot be separated by any Borel set, hence {\em a fortiori} by
any weakly definable set of trees. This settles a case left open by
L.Santocanale and A.Arnold, who have thoroughly investigated the separation
property within the -calculus and the automata index hierarchies. They
showed that separability fails in general for non-deterministic automata of
type , starting from level , while our result settles
the missing case
Cel nauczania a dobór materiału
Zadanie pt. Digitalizacja i udostępnienie w Cyfrowym Repozytorium Uniwersytetu Łódzkiego kolekcji czasopism naukowych wydawanych przez Uniwersytet Łódzki nr 885/P-DUN/2014 zostało dofinansowane ze środków MNiSW w ramach działalności upowszechniającej naukę
Gramatyka dydaktyczna
Zadanie pt. Digitalizacja i udostępnienie w Cyfrowym Repozytorium Uniwersytetu Łódzkiego kolekcji czasopism naukowych wydawanych przez Uniwersytet Łódzki nr 885/P-DUN/2014 zostało dofinansowane ze środków MNiSW w ramach działalności upowszechniającej naukę
- …