xxxx18一60岁hd中国/日韩女同互慰一区二区/西西人体扒开双腿无遮挡/日韩欧美黄色一级片 - 色护士精品影院www

  • 大小: 196KB
    文件類型: .rar
    金幣: 2
    下載: 0 次
    發(fā)布日期: 2021-06-07
  • 語(yǔ)言: 其他
  • 標(biāo)簽: 合一??，算法??

資源簡(jiǎn)介

簡(jiǎn)介:本程序?yàn)橹旄Ｏ病⒅烊⑽榇合憔幹摹度斯ぶ悄茉怼罚ㄇ迦A大學(xué)出版社）一書的關(guān)于合一算法的演示程序。合一算法：文字L1和L2如果經(jīng)過(guò)執(zhí)行某個(gè)代換s,滿足L1s=L2s，則稱L1與L2可合一，s稱為其合一元。本程序可判斷任意兩個(gè)文字能否合一，若能合一，則給出其合一元。1. 合一：文字1和文字2必須是有效的（目前沒(méi)有對(duì)非法的文字做判別）；2．謂詞項(xiàng)中首字母為大寫的為常量，小寫為變量，函數(shù)名首字母應(yīng)該為小寫；3．表格化：將文字表格化，為合一算法的基礎(chǔ)算法。

資源截圖

代碼片段和文件信息

?屬性????????????大小?????日期????時(shí)間???名稱
-----------?---------??----------?-----??----

?????文件???????4744??2006-03-02?17:07??合一算法\unify.HLP

?????文件?????486400??2006-03-02?17:07??合一算法\unify.exe

?????目錄??????????0??2005-12-14?17:24??合一算法

-----------?---------??----------?-----??----

???????????????491144????????????????????3


評(píng)論

共有 條評(píng)論

相關(guān)資源