> -- Info21 писал(а):
> Искал-искал, и нашел только это: (2005). Еще раньше в своих лекциях. Еще раньше когда-то отклассифицировал (для внутреннего понимания) систему компьютерной алгебры SCHOONSCHIP как марковскую, т.к. чтобы научиться там программировать "что угодно", пришлось когда-то (начало 80-х) мозги вывернуть.Основания теории вычислимости (где трактуется про "нормальные алгорифмы Маркова"; например, кажется, Мальцев), конечно, читал и читал давно (причем реально читал). Программеры таких книг, конечно, не читают, а заимствуют фразы для дальнейшего комбинирования друг у друга.
1. О "марковских" языках в программистской литературе нет ничего - это я вам как нехилый знаток программерской литературы говорю.
Хотя надо посмотреть в книжке Кауфмана
http://proklondike.com/contentview.php? ... 44&print=1
Тамможетбыть.
В книжках по рефалу, которые в свое время издал ЦНИИПИАСС - точно не было.
2. Зачем так программеров-то обижать, Федор Васильевич?
Я Дейкстру реально читал - с разбором каждого доказательства и даже сам доказывал кое-что, что там без доказательства дается.
Введение в теоретическое программирование тоже нам не чуждо. И вообще, теория графов в изложении Касьянова и Евстигнеева - рулит.
К сожалению марковские цепи нам в универе почему-то не давали - это проехало мимо меня.
Теперь посмотрю внимательно.