Кстати, вот о марковских алгорифмов, как о основе Рефала (я ведь ничего не путаю?) я полагаю было бы интересно увидеть статью в журнале. Потому как лямбда-исчисление более-менее знают все, тьюринг машину тоже. А вот марковские алгорифмы обычно нет, не знают.

Т.е. краткий план:
- основы марковских алгорифмов
- как из этого получается рефал (его базис).

Если есть желание и предвидится возможность написать таковую статью, про эту неведомую зверюшку, то я бы поспрошал у товарищей занимающихся журналом на тему интересно ли им это. Полагаю что таки интересно.

По крайней мере мне интересно