你即將離開本站

並前往https://www.wikiwand.com/zh-tw/SKI%E7%BB%84%E5%90%88%E5%AD%90%E6%BC%94%E7%AE%97

SKI組合子演算

注意從這些定義可以證實SKI演算不是完全進行Lambda演算的計算的最小化系統，因為I可以用S和K來表達。這可以通過比較下列表達式和上面的I的定義來證明：.

確定！ 回上一頁

查詢 「ski進行式」的人也找了：

  1. skiing中文
    2.
  2. Skiing
    3.
  3. Skied
    4.
  4. ski過去分詞
    5.
  5. skiing發音
    6.
  6. Go skiing
    7.
  7. ski開頭
    8.
  8. Snowboard
    9.