Rewrite nested transformations to use synthetic rules

BjoernLoetters / macrowave

MIT License

4 stars 0 forks source link

Closed keddelzz closed 7 years ago

keddelzz commented 7 years ago

Rewrite

S -> A ^^ (action1) ^^ (action2) ^^ (action3)

S   -> S'  ^^ (action3)
S'  -> S'' ^^ (action2)
S'' -> A   ^^ (action1)