In a production A → α, the translation rule of A.CODE consists of the concatenation of the CODE translations of the non-terminals in α in the same order as the non-terminals appear in α.
Production can be factored to achieve postfix form.
Postfix translation of while statement
Can be factored as:
A suitable transition scheme would be
Postfix translation of for statement
Can be factored as