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

From

Andrey Belyakov ()

To

Nick Kovaliov

Date

2002-11-14T18:14:10Z

Area

RU.ALGORITHMS

From: "Andrey Belyakov" <andrejb@netmail.lv>

>     AB> Хммм...
>     AB>  Ну начни с того, что обоснуй
>     AB> метематически возможность
>     AB> перехода от языка La(G1) к языку Lb(G2),
>     AB> где G1 & G2 - грамматики, в
>     AB> стандартной (G(N,T,S,P)) форме.
>     AB> Остальное будет несложно.
> ;-)
> Что значит "перехода" ??
> Просто некоторого отображения
> множества деревьев вывода одной грамматики
> в выражения другого языка (семантику) ?
> Для любого языка просто какое-то отображение
> куда-то (например, в другой язык) существует.
>
> Это отображение должно сохранять семантики.
> То есть, для A, B из G1, G2 соответственно,
> A - исходное выражение, B - его образ,
> так должно быть Q(A) = Q(B), где Q -
> отображение текста программы в "действия"
> (не асм код, а именно действия,
> т.к. асм код может сильно отличаться).
> Ну и потребовать это св-во нужно, конечно,
> только для "правильных программ",
> а не для всех синтаксически корректных.
:) - понимаешь, однако...



-- 
Отправлено через сервер Форумы@mail.ru - http://talk.mail.ru
--- ifmail v.2.15dev5
 * Origin: Talk.Mail.Ru (2:5020/400)