Основания теории вычислимости (где трактуется про "нормальные алгорифмы Маркова"; например, кажется, Мальцев), конечно, читал и читал давно (причем реально читал). Программеры таких книг, конечно, не читают, а заимствуют фразы для дальнейшего комбинирования друг у друга.
Есть, конечно, тексты Ильи Ермакова, но они, по ощущению
, вторичные по отношению к указанной ссылке -- если нет, пусть И.Е. меня поправит. Например, какую-нибудь бы историческую фразу из прошлого насчет рефала, какой он марковский язык (а то даже в названии "ф" от "функц...").
Итак, где впервые на одном дыхании было сказано об "императивном, функциональном, марковском" программировании/парадигме/языках?
Обычно "императивное, функциональное, логическое...". Нужно, чтобы в едином смысловом ряду (не обязательно в одной строчке) было еще и "марковский" (ну, или хотя бы "сентенциальный" -- это прилагательное уже, видимо, достижение Ильи Евгеньевича
)
Ну, про Непейводу уже написали. Но и так, вообще-то, невооруженным взглядом, так сказать, видно, что РЕФАЛ напрямую основан на марковской модели вычислений - замене слов.
Вход
FAQ
Поиск
Ну, про Непейводу уже написали. Но и так, вообще-то, невооруженным взглядом, так сказать, видно, что РЕФАЛ напрямую основан на марковской модели вычислений - замене слов.
Марковские цепи (видимо, имеются в виду случайные процессы) Маркова-старшего не имеют никакого отношения к нормальным алгорифмам Маркова (младшего)!