я видел статьи про подсчет слов грамматики и случайные блуждания по ним - не знаю, насколько это mainstream, но мне понравилось; в частности, вокруг задачи "даны две последовательности букв, с какой вероятностью первая последовательность встретится раньше, чем вторая" - там есть некоторая контринтуитивная нетранзитивность и про неё Конвей придумал красивый алгоритм; правда, там в основном regular expressions.

но, конечно, всю математику вокруг этого навернул, в основном, Дональд Кнут и его последователи.