3.1.3
Построение компилятора в Рефал по интерпретатору
ComL
{
e
P
= <Scp
P
{
}
e
X
= <IntL
e
P
( e
X
) >
IntL
{
}
e
P
(e
X
) = ...
...
>
}
Scp
{
}
e
R
= ...
...
<ComL
программа на языке L
>
¯
программа
на Рефале
<Scp
ComL
{
e
P
= <Scp
P
{
e
X
= <IntL
e
P
( e
X
) >
}
IntL
{
}
e
P
(e
X
) = ...
...
>
}
Scp
{
e
R
= ...
}
...
>
¯
компилятор с языка L в Рефал на Рефале