3.1.1
Формальная компиляция в Рефал по интерпретатору
IntL
{
}
e
P
(e
X
) = ...
...
<IntL
программа на языке L
(
аргумент
) >
¯
результат
ß
программа
на Рефале
P
{
}
e
X
= <IntL
программа
на языке L
(e
X
)>;
IntL
{
}
e
P
(e
X
) = ...
...
<P
аргумент
>
¯
результат