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

From

Nick Kovaliov ()

To

Andrey Belyakov

Date

2002-11-14T08:22:52Z

Area

RU.ALGORITHMS

From: "Nick Kovaliov" <Nick@urm.ru>

    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 -
отображение текста программы в "действия"
(не асм код, а именно действия,
т.к. асм код может сильно отличаться).
Ну и потребовать это св-во нужно, конечно,
только для "правильных программ",
а не для всех синтаксически корректных.

До встречи, всего наилучшего.


--- ifmail v.2.15dev5
 * Origin: Demos online service (2:5020/400)