tag:blogger.com,1999:blog-2257407812464695041.post6049154523020345428..comments2022-04-03T23:14:48.607+03:00Comments on Метавычисления и специализация программ: Что такое суперкомпиляция?Sergei Romanenkohttp://www.blogger.com/profile/07642728590209375907noreply@blogger.comBlogger4125tag:blogger.com,1999:blog-2257407812464695041.post-84102177483606250312012-07-01T17:59:00.606+04:002012-07-01T17:59:00.606+04:00Сергей, ещё одна ошибка есть:
add(add(S(Z), Z)) -...Сергей, ещё одна ошибка есть:<br /><br />add(add(S(Z), Z)) ----> ...<br /><br />Должно быть<br /><br />add(add(S(Z), Z), Z) ----> ...Anonymoushttps://www.blogger.com/profile/13276591652558153031noreply@blogger.comtag:blogger.com,1999:blog-2257407812464695041.post-89084266609729419792012-05-31T18:02:13.482+04:002012-05-31T18:02:13.482+04:00на рисунке следующем за "А при изображении в ...на рисунке следующем за "А при изображении в виде графа будем поступать так: под узлом, содержащим C(E1, E2, ..., Ek) будем подвешивать узлы E1, E2, ..., Ek:" <br />(плезно подписывать рисунки(не сочтите за грубость)) ноді подписаны как E1, E1, ... E1 думаю правильно E1, E2, ... Ekvalik.zakharenkohttps://www.blogger.com/profile/12704820359560185712noreply@blogger.comtag:blogger.com,1999:blog-2257407812464695041.post-40775011081136120762009-06-16T00:38:40.738+04:002009-06-16T00:38:40.738+04:00Crazy, спасибо за то, что указали ошибку. Исправлю...Crazy, спасибо за то, что указали ошибку. Исправлю в тексте (пользуясь тем, что в Blogger-е есть возможность вносить изменения в послания задним числом).Sergei Romanenkohttps://www.blogger.com/profile/07642728590209375907noreply@blogger.comtag:blogger.com,1999:blog-2257407812464695041.post-8941982152196058652009-06-16T00:28:24.781+04:002009-06-16T00:28:24.781+04:00Уважаемый Сергей, в последней программе допущена о...Уважаемый Сергей, в последней программе допущена ошибка. Должно быть<br />start(a, b, c) = g1(a, b, c);<br /><br />g1(Z, a, b) = g2(a, b);<br />g1(S(a), b, c) = S(g1(a, b, c)); // а не g2<br /><br />g2(S(a), b) = S(g2(a, b));<br />g2(Z, a) = a;Anonymoushttps://www.blogger.com/profile/06527407923857932351noreply@blogger.com