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