We extend the statement language with the following statements: Stat → labelid : Stat → goto labelid for defining and jumping to labels. Extend Fig. 6.5 to handle these as described in Sect. 6.7....

We extend the statement language with the following statements:

Stat → labelid :

Stat → goto labelid

for defining and jumping to labels.

Extend Fig. 6.5 to handle these as described in Sect. 6.7. Labels have scope over

the entire program (statement) and need not be defined before use. You can assume

that there is exactly one definition for each used label.