04/10/17 03:02:52
>>265
normal reduction = leftmost reduction = lazy reduction
じゃなかったっけ
04/10/17 03:02:52
>>265
normal reduction = leftmost reduction = lazy reduction
じゃなかったっけ
04/10/17 03:02:52
>>265
normal reduction = leftmost reduction = lazy reduction
じゃなかったっけ