RR
Но до TAPL её читать скорее всего полностью бесполезно...
Size: a a a
RR
AT
RR
JT
D
R -> addr Rs
D
R -> addr Rs
%define lr.type ielrs
D
D
R -> addr L
R -> L
Непонятно по какому правилу сворачиватьJT
R -> addr RD
JT
R -> addr L
R -> L
Непонятно по какому правилу сворачиватьD
D
JT
JT
D
expr: ...
| ADDR expr
;AT