Re: Re[2]: транслятор с паскаля на си, н аписанн ый на паскале нужен.

From

Valentin Davydov ()

To

Andrey Belyakov

Date

2002-11-19T09:31:17Z

Area

RU.ALGORITHMS

From: Valentin Davydov <val@sqdp.trc-net.co.jp>

>   From: "Andrey Belyakov" <andrejb@netmail.lv>
>   Date: Thu, 14 Nov 2002 15:16:42 +0000 (UTC)
>
>> AB> Хммм... Ну начни с того, что обоснуй метематически возможность
>> AB> перехода от языка La(G1) к языку Lb(G2), где G1 & G2 - грамматики,
>> AB> в стандартной (G(N,T,S,P)) форме. Остальное будет несложно.
>>
>> Зачем такие сложности ? Можно просто разбирать исходник по
>> паскалевской грамматике и заменять выделенные конструкции
>> эквивалентными конструкциями на Си
>Ну ладно - перейдем на просторечье. Предлагается доказать наличие
>возможности для любой паскаль-программы формально построить
>эквивалентную на Си. Начнем с SET...

С множествами как раз всё просто: в сях имеется точный эквивалент,
только называется по-другому (битовые поля, параграф 6.9 K&R).

Вал. Дав.

--- ifmail v.2.15dev5
 * Origin: St. Petersburg State University (2:5020/400)