6103

令 \(0,1,2,3,4\) 分别表示「程序片段」「语句」「语句块」「函数」「值」，把它们之间的转移关系画出来如下图： 首先整个图可以看做一个 \(0\to 2\to 1\) 的环，这三步是必经的。 因为空串是「程序片段」，所以 \(1\to 0\) 这一步从整体上看是把若干个「语句」接起来，每次 ......