编译器设计代码来解析 goto 和 block

Question

有人可以帮助我了解如何为 C 程序编写 lex 和 yacc 文件来解析 goto 和 block (标签)。

这是我在网上找到的一些例子:

<statement> ::= 
<variable> <inc> <semi>
| <variable> <assign> <null> <semi> 
| <goto> <label> <semi>

但是如何唯一标识标签。有人可以给我一个例子或任何提到它的链接吗？

Answer 1

<label>这里实际上意味着一个符号 - 一个标识符 - 它必须对应于其他地方的标签定义才能使程序正确。