直接推導，直接運用規則進行的推導
間接推導、n次推導
有兩種符號
第一種是
,表示多次運用直接推導
第二種是
,表示零次或多次運用直接推導
n表示中間的步驟數
規范推導
其實就是最右推導
免責聲明！
本站轉載的文章為個人學習借鑒使用，本站對版權不負任何法律責任。如果侵犯了您的隱私權益，請聯系本站郵箱yoyou2525@163.com刪除。
直接推導，直接運用規則進行的推導
間接推導、n次推導
有兩種符號
第一種是,表示多次運用直接推導
第二種是,表示零次或多次運用直接推導
n表示中間的步驟數
規范推導
其實就是最右推導
本站轉載的文章為個人學習借鑒使用，本站對版權不負任何法律責任。如果侵犯了您的隱私權益，請聯系本站郵箱yoyou2525@163.com刪除。