https://123dok.net/document/qmjk5m3w-computing-probability-of-borelian-languages.html