Subject: Re: Детерминированность РЕФАЛ
From: A.A.Vladimirov (vladimi@mech.math.msu.su)
Date: Mon Mar 29 2004 - 15:48:49 MSD
В сообщении от 29 Март 2004 15:12 вы написали:
> Скажите , насколько критичен в различных версиях РЕФАЛа
> порядок правил подстановки.
>
> И можно ли пользоваться такой реализацией в которой порядок
> произведения подстановок будет произвольным на декларативный
> манер?
>
> Насколько часто вы пользуетесь приёмами, критичными к порядку
> правил ?
>
> С Уважением Дм.Подкорытов
Лично я постоянно пользуюсь такими приёмами. Вообще, в споре
"машины Тьюринга" versus "нормальные алгорифмы" мои симпатии
всецело на стороне вторых. Ваши, похоже, на стороне первых.
Однако положение, что Рефал выражает именно марковский (а не
тьюрингов) подход к вычислимости, вроде до сих пор никем не
оспаривалось. Полагаю, что Рефал без критичности порядка
формул подстановок - это не Рефал, а что-то другое.
Кстати, а претензий к принципу "сопоставление слева направо" у
Вас, случайно, нет? Ведь сопоставление образца с выражением тоже,
вообще говоря, неоднозначно (если образец нежёсткий).
С уважением,
Антон Владимиров
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:25:00 MSD