Re: Turchin.-.The.Cybernetic.Foundation.of.Mathematics.(1983).djvu


Subject: Re: Turchin.-.The.Cybernetic.Foundation.of.Mathematics.(1983).djvu
From: A.A.Vladimirov (vladimi@mech.math.msu.su)
Date: Fri Oct 15 2004 - 15:24:44 MSD


>

> Мне эта история известна примерно в таком изложении:

>

> Показал как-то Турчин одному господину Рефал, а тот и говорит:

>

> Ну очень Ваши Рефал-программы напоминают БНФ ... мол, и там, и

> там правила, описывающие как одни нетерминальные понятия

> переписываются через терминалы и другие нетерминальные

> понятия... Ну настолько напоминает, что не ясно, как это Вам

> пришло в голову "<" и ">" заменить на "Ка" и "точку"...

>

> Турчин нашел эти доводы убедительными и заменил "к" и "." на

> угловые скобки.

>

> --------------

>

> Господина звали Бэкус.

>

Спасибо. Буду знать.

>

> PS. А Вы говорите Марков...

> PPS. Думаю Бэкус НА знает.

Функций в НА, разумеется нет - да я никогда и не говорил, что

Рефал НИЧЕМ не отличается от НА. Так что PS и PPS друг другу

отнюдь не противоречат.

С уважением,

Антон Владимиров



This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:25:01 MSD