https://9dok.org/document/yr3d936o-probabilistic-grammars-and-languages.html