規範歸約

規範歸約，是最右推導的逆過程，它總是歸約一個句型當前句柄。