3.1.5
Генерация эффективного компилятора компиляторов
<Scp
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
= ...
...
>
¯
эффективный компилятор компиляторов