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