22/02/11 22:35:25.65 6AYXkq/G.net
>>957
操作的意味論ではそれ以上簡約できない項を値と呼びます
varもlocもどちらもそれ以上簡約できないので値です
試しにTaPLで値ががどのようにBNFで帰納的定義されている集合なのか確認してみたら？
あなたが理解していないだけでは？
22/02/11 22:35:25.65 6AYXkq/G.net
>>957
操作的意味論ではそれ以上簡約できない項を値と呼びます
varもlocもどちらもそれ以上簡約できないので値です
試しにTaPLで値ががどのようにBNFで帰納的定義されている集合なのか確認してみたら？
あなたが理解していないだけでは？