199213 經濟部屮央標準局貝工消费合作社印製 A 6 B6 五、發明説明（1) 本發明係有闞於一種《腦裝置。 »明背暑 霣腦發明於19 40年代•其後之霣腦以飛躍之速度開發出 來，然而現今之《臞的架構與當初第一部霣臞者嫌乎相同 Ο 大部份的進步均係硬體方面的，VLSI之上市與版印術之 進步使我們能製造僅5年前尚被稱為超级電臞的單晶片霣 腦，埭路寬度已大幅地縮減成現今之小於1微米*時脈速 率與主動電晶《數目已數倍增，實際可行性的限制將埭路 寬度侷限在0.2微米以上。 在同時期間，電腦架構在矽元件之使用上並無改進•相 反地，多數的轚腦為了能更快速而使用超遇最佳數最的矽 元件。 . 上述二事實均將阻斷單處理器速度在未來五年内之演進 。平行處理器之等入造成因複雜度之提昇而提高的硬雅成 本以及對大多數棰類之程式規劃成本之太過昂貴的@高° 彼此相對而言•雖然硬體成本已縮減，但新糸統t程式 規剷成本卻大幅增加且即將達到太過昂貴的程度° 一邰電腦係不同單位的软腊與硬體之複雑組合雅•在演 進的遇程中不同的規範與階段已產生散佈於糸统内的許多 特設的與既定的標準•因為這種不一致性而有許多種界面 〇 所有這些不同品質與型式的界面與規範讓使用式 DP 3 ._ — . 丨丨·丨 _< 丨丨 m" 各紙張尺度逍用中國國家標準（CNS)甲4規格(210X297公發） (請先閲讀背面之注靖事項再續寫本頁) 裝· 線- 199313 A6 B6 經濟部中央標準局员工消費合作社印製 五、發明説明（2) 師難Μ使用機器•因為機器之使用需要許多知雄，且因為 程式師可能造成隱藏錯誤形成之複雜性。 然而近來已有所謂精籣（reduction)處理器開發•一精 簡處理器執行一具有包含數學式之特定结構的程式，且此 结構被Μ數偁精籣步驟精籣·故程式非如他種電臞般地以 一既定次序被執行。 在有限尺寸上開發精籣處理器有相當昨困難。 程式語言之發屏 第一部轚子式電腦之開發促成敝種逋用於此棰霣臞之諸 如 FORTRAN、COBOL、Algol, BASIC、Pascal 等程式語言之 開發*逋些語言被稱為命令式語言（imperative language) —下文中亦稱為傳統語言一主要係因其一般提 供之程式係由一序列待由一傳统電腦-即一種依照約翰、 馮、紐曼（John Von Neumann〉所開發之原理設計的霉腦一 依序執行的命令或指令所構成，此類語言所形成之日增的 困擾導致另一糸列語言：LISP、ISWIM、Scheme(LISP之衍 生語言）、ML、Hope、SASL等的開發，此類語言開發之原 動力係觀念上的簡單化，沒有特別的機器影響其設計。功 能程式（functional program)經過一段時間才受矚目的原 因之一是功能程式的紈行速度慢，後績的發展顯示在某些 情形下執行速度可接近或等於由傳统電腦執行傳统（命令 式）語言程式的速度一雖然這些功能程式並非為此型電腦 之紈行而設。
DP 本紙張尺度边用中國國家樣準（CHS)甲4規格（210x297公龙） (請先閲讀背面之注邊事項再靖窝本頁) 裝- 訂. 線<
C 199213 A6 B6 五、發明説明（3) 杜W ft鶼 導致大量的 式語言日埔的 程式變日益複 、尤其是難Μ 可簡化程式設 起來般地高階 霣臞一的概念 準•功能程式 的缺點之特點 若需進一步 1 9 8 7年出版由 努力投入功能語言之發展的原因是對 困擾•软體危機在1970年左右開始被 雑且常包含許多錯誤、難以藺讀、難 修改•其原因之一乃在於對高階命令 計之期望訂得太高一逭些辱言並不如 ，命令式語言仍逋於早期霣腦-馮、 ，且程式設的水準仍相當接近於櫬械 語言具有數個可和缓一些較傳统的程 的資料與瞭解請參考Prentice Hall Ake WikstriJm所著之"Functional Programing Using Standard ML"〇 為充分瞭解本發明之目的與儇點，須瞭解電腦中 處理方法所包括的一尤其是相對於傳統上流行的命 理方法。 命令型 搮及* Μ瞭解 式語言 它們看 狃曼型 語言水 式語言 於 功能式 令式處 在 並 成 寫 言 語 bb 功 由 式 程 指 意 辭 - 法 m: 理 處 式 能 功 η 先 闖 讀 背 φ 之 注 項 再 窝 本 頁 經濟部中央櫺準局Α工消f合作社印製 同並 ; 成 行寫 執言 與語 存令 儲命 上由 腦式 電程 的指 體意 硬辭 之一 ^15” 語法 理 此處 合式 適令 別命 特” 括-包地 iEtv 種梯 與 。存 行儲 執上 與腦 存電 儲统 上傳 腦在 電能 的可 體亦 硬式 之程 言之 語寫 令撰 命言 合語 通能 括功 包 Μ 棰是 1 但 在 行 執 於 迪 在 可 亦 式。 程行 之執 寫與 撰存 -SFD 語上 令腦 命電 Μ之 - 式 然程 亦寫 之所 反 ^110 , 語 行能 執功 本紙張尺度边用中國國家標準（CNS)甲4規格（210x297公龙） 199213 A 6 B6 五、發明説明（4 ) 功砝辑言：》抹it Μ功能語言撰寫之程式可被視為一姐目的特性之定義與 埋算規則，該定義係宜告部份而該理算規則一或精籣或重 寫規則一係霣鼸在執行期間使用的作業部份•功能語言提 供霣腦Μ種一較高階的界面•從而使程式師得Μ免除與Φ 腦硬《相闞的细節，正面的副作用是功能程式常較傅統命 令程式為短且易於瞭解•功能語言的主要缺點之一為其須 被詡譯成傳铳語言Μ便在傳統霣腦上執行•此Η譯係由編 譯器或翻譯程式完成，顥然功能式處理方法的一些好處因 為沒有專為Κ有效方式儲存與執行功能程式之硬體而被抵 消0 宝義 以下所列者為用於此規格之語法與其保留的意義： element元件 在一次料结構中較大 的部份 1 i s t串列 一序列有次序的元件 ，各元件復可為一串 列 經濟部屮央標準局员工消费合作社印製 (請先闖讀背面之注邊事項再填寫本頁) inserted list插人串列 一串列的一部份，其 小得足以完整地儲存 在一程序體内使其可 能代表任意長度的串
DP 本紙張尺度边用中《 B家楳準（CNS)甲4規格(210x297公龙） 199213 五、發明説明（5 ) 列 losure程序 If 界定一程序而具睹级 结構之傾«•所有的 程序體均有唯一界定 該程序體的根 object storage目的雜存體 storage cell儲存格 cell closure格程序體 storage cell filed儲存格權 closure element程序體元件 經濟部中央標準局貝工消费合作社印製 •在一精藺拥 精藺工作係在 上完成，櫬器 狀態被精藺程 包括用Μ儲存 儲存格的記慊 如關聯記憧艚 目的儲存«内 ，其儲存一格 *該格程序體 至儲存在其他 内之其他格程 一儲存格中之 一儲存格内之 儲存在一儲存 之資枓元件 (root) 器内之 程序體 之整僩 序改變 目的之 體，譬 之一格 程序拥 可對應 儲存格 序體 内容 櫊 格檷内 closure identifier程序艄辨識器唯一地指定—程序體 的程序賵格元件 canonical closure正規程序體 不成再進一步被精簡
DP 本紙張尺度边用中國困家楳準（CNS)甲4規格（210X297公釐) (請先閲讀背面之注i!fc事項再^寫本頁) 良 199213 經濟部中央棵準局EX工消費合作社印製 A 6 _ B6 、發明説明 (6) 之 程 序 體 » 即 一 不 包 含 任 何 指 定 其 他 格 程 序 體 之 程 序 雅 辨 m 器 的 格 程 序 體 否 則 此 格 程 序 鼸 即 須 被 進 — 步 精 籣 goa 1目檷 待 被 執 行 — 即 精 簡 — 之 程 序 膪 father^ 階 在 — 值 / 指 定 檷 内 具 有 至 少 一 程 體 辨 識 器 之 程 序 體 son子階 纆 由 '· 指 定 該 子 階 之 -程 序 體 辨 識 器 連 接 至 另 一 程 序 體 之 程 序 體 一 子 階 亦 可 為 一 父 階 * — 父 階 亦 可 為 一 子 階 » 一 子 階 可 有 一 個 上 的 父 階 — 父 階 可 有 — 個 以 上 的 子 階 closure position程序體位置 該 程 序 體 {% —. 根 或 —- 點 r () o t 根 在 一 程 序 體 樹 狀 结 構 中 1=3 Ti 上 端 的 程 序 體 格 DP - 8 - (請先閲讀背面之注考事項再頊寫本頁) 裝. 訂· 線. 本紙張尺度逍用中國困家標準（CNS)甲4規格（210x297公茇) 199313 A 6 B6 五、發明説明（7) 經濟部中央標準局员工消費合作社印製 nod e節 點 在 一 程 序 體 樹 狀 结 構 中 非 根 的 程 序 體 格 w h e re位置檷 包 含 —* 程 序 體 位 置 之 儲 存 格 檷 t y p e型 式 在 一 格 程 序 髓 内 之 型 式 碼 t 即 表 示 — 百 的 之 特 性 的 位 元 型 式 — 譬 如 一 指 令 碼 1 a z y停 滯 在 — 格 程 序 内 表 示 其 係 可 執 行 或 延 遲 評 估 或 不 活 動 的 元 件 i d e n t ί f i e r 辨 識器 用 Μ 指 示 — 儲 存 在 — 儲 存 格 内 之 巨 的 的 特 殊 種 類 的 m 序 體 元 件 e n v i r o n in e n t環境 諸 目 的 可 藉 授 予 其 相 同 瓖 境 而 被 分 成 群 v a l u e / d e s .值 /指定 儲 存 一 簡 單 值 — 即 — 直 接 表 示 — 空 白 或 一 指 定 至 另 __. 程 序 體 — 即 一 間 接 表 示 — 之 程 序 髑 元 件 cor e c :e 1 1核心格 根 m 本 發 明 之 结 構 數 學 單 元 1 核 心 格 可 執 行 包 含 精 簡 程 序 髑 之 DP - 9 - 本紙張尺度遑用中國B家標準（CNS)甲4規格(210x297公¢) (請先閲讀背面之注4事項再^窝本頁)
經濟部中央橾準局貝工消费合作社印M 199213 A 6 _B6_ 五、發明説明（8) 结構數學 nuneric ALU數值數學及邏輯單元可執行ϋ礎數學與《I 輯埋算之數值數學單 元•核心格利用數值 數學及理輯單元作數 值邇算 ful 1 register全暫存器 透穿過一核心格中所 有平面的暫存器 coreword核心字姐 一核心格中一全暫存 器的内容 limited register有限暫存器 透穿過一核心格中有 限個平面的暫存器· '其大小可包括一值/ 指定型式元件的程序 體格 e lenient wo「d元件字姐 一有限暫存器或具有 與有限暫存器相同大 小之全暫存器的一部 份中的内容 表示一值或一指定之 7$件字姐的一部份 具有指示數值字姐内 陳述機能之標籤的元 件字姐之一部份 (請先閲讀背面之注意事項再壤寫本頁) f 裝. 訂 線-
C nura word數值字姐 tag word標截字姐 DP 10 本紙张尺度逍用中B«家標準(CNS)甲4規格(210X297公«：) .199213 A 6 B6 經濟部屮央標準：工消费合作社印製 五、發明説明（9 )reduction精簡 根據使用的特殊程式語言之規則重寫/重 结構一程序19 ’behavior行為 諸如在一博處單一化 之順序或顧序的替換 之時間结構·亦被用 於類似於集合理綸中 之數學名辭的空集合 之退化，使得一個" 1 "可在理論上為一 行為。 發明曰的 -本發明的目的之一係提供一種具有宣告式程式語言之霉 腦裝置。 本發明的另一目的係提供一種作為精簡處理器之電腦裝 置。 本發明尚另一目的係提供一種具有一種程式語言之電腦 裝置•而該程式語言甚簡單且使程式師不須考慮所有關於 硬體的細節並使程式撰寫時間縮短且錯誤減少。 本發明的另一目的係提供一種具有作為程式語言、作業 糸统與通信協定之語言的電腦糸統。 尚另有一目的係提供一種可執行功能語言之電腦装置， 該功能語言Μ單一化為其结合方法。 (請先閱讀背面之注奇4事項再蜞寫本頁) DP - 11 - 太址<&尺泞M m小囚闽笔:找iMCNS)平4那格（210x297公处） 199213 A 6 B6 五、發明説明（丨ο) 上述諸目的可緬包括下列諸裝置之罨臞装置完成： a) 包括許多傾儲存格装置之主動儲存装置，各儲存格具有 可造成一理算執行之資訊· · b) 連接至該主動雠存装置的至少一埠装置，及 c) 連接至該至少一埠装置的至少一瓖境装置。 其最好包括裝置以較由一埠裝置提供之信號序列輿雔存 於至少一儲存格内之序列，該被儲存之序列具有在主動儀 存装置内之可能未界定的序列元件•該電臞装置亦宜包括 裝置以在該比較出現顯蓍差異時重寫該比較序列為零一即 代表抵觸的資訊，否則將該比較序列璽寫入一持定序列。 該比較装置可比較包括至少兩届的預定數個串列元件之 群姐。 該信號序列宜為一随時間變動具有儸別的取樣通期之取 樣信號，該信號序列诹一群元件多串列，各群姐包括一持 績時間及在該時間期間中的至少一信號1·在各群姐内之 預定數個串列元件宜為配對方式的兩個 > 各se對包括時間 與信號量的组合。 經濟部屮央櫺準’Αβ工消費合作社印製 (請先閲讀背面之注寺Ϊ事項再蜞寫本頁) 亦可提供裝置Μ將該等埠裝置之一與該等埠裝置中之至 少另一個同步並在各持續時間期間中造成由該等埠之信號 量之平行指示•在不同埠上此特定信號量中可被同時等引 並可能被彼此比較。 該儲存格装置宜為主動儲存體内之结構而適於Μ —抽象 語法的顯性或隱含編碼形式儲_存一電腦程式*該語法賴陳 述描述數個不同的抽象目的，各儲存格裝置可在時間上 DP 12 泞功用中 68 提格（210X297公货） A 6 B6 199213 五、發明説明（ll ) (請先閲讀背面之注意事項再蜞寫本頁) 以逋當的資料及/或程式结構形式辟存一該語法W述的至 少一部份。 每一種陳述可有一對應種類之陳述以指出其係程式形式 ，所有程式形式均係逋於被精籣成其本身故從而不變之諫 述，此使得為其他任何随意種類語言撰寫纒課器或翻譯器 成為可能》 配合該包括語法陳述之雠存格的重寫装置依據預定重寫 規則重寫語法陳述β 琎明埔萝 根據本發明之電腦装置宜為一具有做在硬《上之宣告式 程式語言的電腦•其中該程式語言亦係櫬械語言，但根據 本發明之霄腦裝置的連接亦如現今每種霄子裝置般可被橫 擬成具有編譯器或翻譯器之一般Ρ類的《腦，此類槠器之 範例為例如Sun3之ΜΜ68000處理器之基礎之機器，但根據 本發明之楗器具有提供有單一化能力之埠。 藉精簡而紈行 經濟部屮央標準’知员工消#合作社印製 待被執行之程式可K程序體之方向画表示，其中程式的 各部份均由一程序體表示•在執行期間此程序賴之方向圖 逐漸被依照所用語言之精簡規則精簡，當無可執行程序體 刺下時，程式之執行即结束。程序體之方向圖可被視為樹 狀结構*其中樹内的各節點係一程序艏而最高節點被稱為 根，藉精簡之紈行一般即藉將樹狀结構自底至頂地精簡由 DP 13 太K 1Λ 用屮 Μ B3 它找 f CMS) V 4 拟格 m Ο X 297 公货） A 6 B6 199213 五、發明説明（12) (請先閱讀背面之注意寧項再蜞寫本真) 雛根最遑纗的樹之部份精籣向根推進而完成•此種紈行法 一般被稱為依需求而進行之執行（demand driven execution)，即依照程式一部份執行结果之程式•另一部 份的執行被延埋直到該结果巳得到。 BB式醣诚 為對本發明及其目的和優貼有進一步曄解，請參考下列 與附臑配合之敘述，諸附圓中： 圈1係根據本發明之霣腦装置的概要_ · 圓2係一埠上的一信號序列之圔· 圈3顬示根據本發明之轚臞裝置的一種較佳具《實例之 概要方塊圖。 丁 圖4概要地顯示圓3中所示具艚實例内之目的齡存體中 一儲存格内使用不同檷位，_ ^ 圖5顯示一功能如何可被儲存於目的儲存體中之儲存格 内的一種範例， 圖6顯示一拉姪環境之埠的一種具體實例· 圖7顯示一所謅Η埠之一種具體寅例， 圖8Α、8Β、8C顯示圖3所示電腦裝置之具賴實例中一结 構化數學單元内不同種類之暫存器， 經濟部屮央標準沿只工消费合作社印製 圖8D顯示一结構化數學單元之一種具體實例， 圖9Α至9F顯示一结構化數學單元内之不同資料儲存形式 圖10Α至10Η 、圖11Α至11G 、12Α至12Η顬示根據本 DP 14 199213 A 6 B6 五、發明説明（13) 發明之電腦裝置的隳作籍例。 »住里»奮俐往说 * 雷腦裝詈 *要地顯示於鼷1中之根據本發明的霣臞裝置包括一主 動記憧體ΙΠ-ϋΙ在下文中被稱為主動目的镰存體，其之所 以稱為主動係因其包括各具有機會Κ造味一電睡邏作完成 之儲存格，較佳的是各目的儲存格被分剌成數個儲存檷位 ，且穿過目的儲存《I之配合尋找可執行於儲存檷位之内容 ，一儲存格可儲存一格程序體•一格程序體可儲存指定至 其他格程序體作為和序《I元件•一功能可被儲存為一包括 收個互相指定的格程序《之程序體樹*此機能將在下文中 進一步敘述。 —— 目的儲存髁提供根據本發明之$腦裝置的内部行為 (internal behav丨or)。在目的儲存體内*數個各埠之内 部行為PR1、PR2、____、PRn被儲存於不同位置一即在不 同儲存格内，數個U2至U5之埠被連接至主動目的儲存體 ΙΠ ·蝓人至埠U2之铕人信號RWu2至RWJ5可由電腦裝置外部 的裝置-即真實外在環境一所供應之資訊或偵測器提供。 經濟部屮央標準AA工消«·合作杜印製 (請先閲讀背面之注意事項再蟥寫本頁) 行為(Behaviors) —行為係一可隨時間改麥之基本元件结構，故行為係一 時間结構但並不指出一结構為何改變，該時間结構可被視 為一结構步驟之狀態*根據本發明之電腦装置特別適於一 DP 15 經濟部屮央桴準XJOC工消费合作社印製 ^99213 A6 _；_B6_ 五、發明説明（丨4) * 種在下文中稱為Η的嫌述型程式語言•其不像命令式語言 般地具有吠態與暫態的明確規格而是所有的行為均由課述 說明*故行為一辭係一時間结構、一序列或一序列的替代 品，其亦被用為所有可能值之退化形式中，其亦被輿數學 集合理論中之空集合之使用比較。 埠將轤入信號轉換成一種缠用於主動目的儲存艚之形式 一例如數位形式一並將其Μ —種可與主難目的《存驩中資 訊比較的形式攞供，此在相鬭堉本地的資訊包括一儸或數 個替代性的行為PR1、PR2、——PRn。 一埠ϋί-i為2與5間的數一將提供的真實世界瓌塊之部 份視為一行為*該行為係由一無盡時間序列的值構成*該 序列可以樹狀结構形式雠存在電腦裝置内•其將在下文中 進一步描述，此種序列之一種範例顯示於圖2中，被取樣 信號之序列可醣時間改赛，IP取@週期可明顧地由_2中 可見各自或則由罨腦程式遘揮或則由環境賦予•此處信號 序列係一串列之元件對姐，各對姐包括一遇期時間及在該 時間期間之信號量，每一時間遇期亦可能有一個以上的信 號量，此可能性之實現可藉一具有可能在每遇期期間處理 —個以上信號量之埠或藉數個平行埠且每個埠可能在每週 期期間處理一信號量•然後諸埠被彼此同步化。 行為盟一仆 根據本發明•透遇一埠至環境之榆入與榆出動作係賴提 供於埠兩側之步驟一即霉腦裝置内之内部行為與其環境内 (請先閲讀背面之注意事項再場窝本頁) DP - 16 - 199213 經濟部屮央標準H工消赀合作社印 A 6 B6 五、發明説明（⑸ 之外部行為一的單一化而完成。一在主動目的黼存内W 功能語言Η撰寫之程式產生本地行為*興寫世界行為描述 真實時間之通信協定•故朗向瓖境之霣臞装置埠暫存由Φ 腦裝置可見之環境實際行為•其被Μ霣臞中所敘述之通信 協定單一化，如何在根據本發明之《臞裝置内進行此覃一 化將在下文中進一步描述*故霄腦裝置的内部行為與外界 行為二者均具相同棋式•此造成一甚優準的理作方式而使 該電腦裝置相當通合於執行真賞時間運作。 故該電腦装置包括至少一比較可能性以比較在一指向環 埦之埠上的信賊序列與儲存在主動目的脯存«中大多數情 況下為數個儲存格之至少一儲存格内的序列。在單一化埋 作下所有與真實世界環填中行為不符合之替代性內部行為 均被劂除，一正確程式將在單一化理作後僅剰所有替代性 行為中的一個，且此行為須與在討論中的埠之行為符合， 若諸替代性内部行為中沒有一個對應至在討論中的埠之真 實世界環境*則單一化埋作將有”空無” （η 〇 t h i n g )的结 果而被視為一程式錯誤。 Η馅 上面對输入/输出埠之敘述可被擴大至可處理與结構期 間不同之資枓结構的_入與输出•在此情形下，並非藉單 一化時間期間與信號最Κ外界行為摩一化内部行為，而可 轨行一位元型式單一化，输入信號可為數位化者，該输入 信號尚可代表資料结構或諸如Η語言程式之程式结構，例 DP 17 (請先閲讀背面之注意事項再媾寫本頁) 裝· 線. 太witκ ΛίϋπηΦ因μ宅燋迆（CNS)ψ4ffi格m0y297公炝） 經濟部屮央櫺準^只工消赀合作社印製 199313 A6 _；____B6_ 五、發明説明（16) * 如，一埠内一儲存格中~皤存格檷位可被以埠_入上之位 元型式單一化。 範例：一內部结構輪入（$1 $2)可被Μ轤入上之位元型 式單一化使得最终被單一化的内部構如匾11Α與11Β所示 结構般地為：apply (+ list (1 2))，此窳$1與$2代表 ” any bitpattern”，$1被以代表 "+”指令碼之位元型式 單一化而$2被Μ代表” list (1 2)”之位示型式單一化。 一程式可透遇接受Η語言碥之Η埠被載入目的儲存體， Η埠亦可被用於諸處理器間讓該等處理器得以傅送程式或 資料或二者•被傳送之程式碼在初始時可被註記為資料以 避免其立刻被執行。Η埠亦可被用作根攞本發明之電臞装 置與另一種可為先前所知傅統型式之霣腦裝置間的界面。 目的儲存嫌 在圃3中所示罨腦裝置的具賴實例中，一目的儲存體1 包括數個儲存格2 ，每個儲存格被如下詳述般地分割成數 個儲存檷位，因目的儲存體之確買结構並非貢際發明的一 部份故不詳述。可作為目的儲存體1之目的儲存體被描述 於申請中的荼件中。 结纔齡畕塱芬 目的儲存體内各儲存格可儲存一包括數個程序腊元作之 格程序體，目的儲存體1被纆由一記憶匯流排裝置“^至 BIJSN連接至一结構數學單元3 ，該記憶匯流排寬度足以將 (請先閲讀背面之注意事項再搆寫本頁) DP 18 火κ 泞 iA m Ψ ω 团-dsmiCNS) 格（210x297公诈） 199U3 A 6 B6 經濟部屮央標準沿A工消赀合作社印3i 五、發明説明（17) 一雔存格内毎一位元格連接至單元3·各儲存格内之各位 元被踁《睡流排装置埋接至所有其他雠存格内之對應位元 •结構數學簞元3可為目的雠存艚1的一特別部份，該结 構數學單元可供符被精籣之程序《在稍籣程序期間暫時移 入*但亦可能如下文中詳述般地有單元3之特別部份使其 可能提供快速與直接的精簡作業，因犟元3之確實结構非 *際發明的一部份故不詳述，宜作為單示3之單元描述於 申請人之申讅中的案件中。 圈3中所示轚腦裝置瑁编記憶匯流排裝1BUS1至BUSN而 設使得所有資料埋作裝置可直接存取至記慊艚，這種方式 可使單元3與諸埠被視為屬於主動目的儲存體一即被視為 主動目的儲存體内之特別儲存格。 中奂捽制盟G 中央控制單元CU控制目的儲存體與單元3 *亦被中央控 制箪元CU控制之數倨埠4，5，6 · 11被連接至單元3 · 諸埠中的二個埠4，5被顯示為連接至環境之單一化埠， 分別為外界埠之7及8 _諸如一檢測器或由電腦裝置控制 及/或控制電腦装置的裝置一被連接至各埠，埠6係一連 接至另一電腦装置9之Η埠，電腦裝置9傳送待被插入電 腦裝置之程式，埠11係一連接至諸如與電腦裝置1至6 、 1 0、11、C U同類之另一電腦裝置！ 2，罨腦裝置以埠1 1作為 通訊用’數個如圖3中所示般類型的電腦装置可被直接以 介於其記憶匯流排裝置與各裝置内的一暫時儲存程序體（ DP 19 (請先閲讀背面之注意事項再捵窝本頁) 裝- 線. 199313 五、發明説明（18) ' 未顯示）間之傅繪繚相互連结Μ形成一多重平行式電臞装 置，藉此可使鏊體專找可能性得以保留，但在某些實腌例 中可方便地將二或三儷電腦裝置或多重平行式霣腦装置以 一 Η埠11相互連结以使各霄臞裝置均Μ —獮立分艫的霣臞 裝置方式運作且諸裝置在其間傳送程式及/或資料作分別 處理，一 Η埠11亦可被用作與另一種處理器間之界面。當 Η埠傳送一程式時，該傅_與資料傳输«同且《臞裝置以 相同方式處理該傳输。 射字AU1 一用以進行特別型式之特殊作業的額外裝置10亦可被埋 接至單3，此種裝置的一種範例係一數字數學單元，該單 元在下文中稱為數字ALU ，但該額外裝置10亦可被用作比 較用途或類似槻能。該數字ALU g乎可為任何現有技術中 普偏使用的ALU，但特別逋用於根據本發明之電腦装置的 數字ALU敘述於本發明申請人之另申請荼中。 (請先閱讀背面之注ί項再填窝本頁) 裝. 訂· 線. 經濟部屮央櫺準局Α工消赀合作社印製 包括單元3之主動儲存體具有至少一比較可能性•該比 較機能被用Κ比較諸埠中之一埠一例如4 -上的信號序列 與其他諸埠中至少一埠一例如6 —上的至少一序列。此比 較可能性可直接地在儲存體内進行或Μ提供具有值之程序 體而在埠上進行，該值之範例_諸如各具有一持續時間與一 以一信號量形式之值的期間對姐。但亦可能僅在額外單元 DP 20 太K泞iA m + η 03玄歧迆（匸奶）ΨΊ捣.i&rn〇x297公货） 199U3 A 6 B6 經濟部屮央標準杓Η工消费合作社印製 五、發明説明（19) 10内進行比較·且當二外界行為被比較時若比較结果有差 異一即接至環境的二埠上之持續時間或信號量不同·一則比 較序列被寫入"零” （nothing)，否則被比較之序列即被 寫入” 1 ”及相同的特定序列。 所以主動目的儲存體1 ，3具有能K 一摘要語法 (abstract syntax)之明確的或R8含的編碼型式拥存並執 行一電腦程式之结構•該語法鞴助陳述描述數俚不同的摘 要目的，每儷儲存格均各能以一適當的資料及/或程式结 構儲存在該時間内之語法陳述的至少一部份，該語法將於 下文中詳述。 目的雠存W能力 目的儲存體1較普通RAM式記憶體更具智慧，其係聯合 性的（associative)，此聯合性坪其能提供較普通RAM型 式記憶體所提供之"讀”與”寫” ·更多的服務。 如上所述•目的儲存體被分割成數個各包括數個儲存檷 位之儲存格2 ，被提供之服務係在一高階上，例如可找到 一特定資料元件一不論其在個別儲存格内任何位置一之所 有事件並將被找到的特定資料元件完整地—即整個目的儲 存體内一僅使用一記憶體指令重寫至—新值，因目的儲存 體涤聯合性的故此重寫作業可在二實際記憶體循環内完成 而與被影绺之儲存格數目無論。 (請先閱讀背面之注意♦項再填寫本页) 裝. 訂· 線. DP 21 r ίί iA rn Ψ ta H Ψ 4i0iS(2inx297-i>·^) 199213 經濟部屮央標準劝A工消"合作社印製 五、發明説明（20) ' 維存雄 一雠存格2之一種具《實例《括地顯示於·4 ·其可镰 存二種元件且包括特別进合被雔存之元件的《存檷位•埴 些橘位在_4中被賦予和雔存於其内之元件相同的名字。 各雔存格遘於儲存下列諸特性中@至少一部份： 表示該格内陳述是否應精籣之檷雄（nark)， 表示該陳述是否係一樹狀结構的一 Μ及該陳述之特性的檷 識， 表示該陳述如何被產生的檷雄， 表示該陳述是否包含數個重複的行為之棵識， 表示該陳述是否僅係一串列的一部份之檷識*而該串列之 其他串列元件被儲存在另一儲存格内。 在下文中稱為屬性元件（attribute eleaent)之第一種 元件描述儲存格之不同吠態J此類狀態元件之一為LAZY, LAZY表示該格是否閒置，LAZY情況下該格之剌餘内容被視 為被動性資訊、exec時該格係在可執行狀態、或wait時該 格之評估已被延佇且在等待一结果後才可被執行，另一個 鼷性元件係TYPE, TYPE包括一型式碼（Par, seq, apply, list, unify)等 0 下文中稱為目的元件（object element)之第二棰元件描 述辨識器、環境或值，這些是IDENTIF丨ER、 ENVIRONMENT 、V A L U E / D E S ,這些目的元件適合於儲存在平面Η E A D與N U Μ (請先閲讀背面之注意事項再蜞窝本頁) DP 22 火认α尺泞β m屮阁B3 阳格m〇x297公帒） 199213 A 6 B6
經濟部屮央標準杓A工消货合作社印M 五、發明説明（21) · (見圔7B、7C)中提供之核心暫存器的數部份中*逋些元 件中的每一届包括一元件字姐（element word) *該元件字 姐復被分割成一數值字姐輿一欏鏑宇姐。 4 糴箱幸铂 第二棰程序艚元件有一表示數值字组之機能的欄纗宇姐 ，該檷籤有二種：用於辨雄器與環境之网接檷鏑和用於單 純值或類似值之直接檷簸。 間接棵截之範例為els、canon與open。若禰箱字姐為 els ，其意指數值宇姐代表一可被精簡之程序«。若檷籤 字姐為canon ，其意指數值字组代表一不能再被精籣之程 序體。若檷籤字姐為open，其意指數值字组代表一為被插 入串列之程序雅。 —— 直接標截之範例為,discr'cont、unused與nothing ° 若標籤字姐為discr ，其意指數值字姐係一整數。若搮籤 字姐為c ο n t ·其意指數值字姐係一浮點值。若檷蕺字姐為 unused，其意指數值字组缺乏意義。若檷雄字姐為 nothing ，其意指數值字姐代表零一即包括一被搮示為零 之檷位的程序體上之單一化將恆為一零。 辨識器與環境_ 若一儲存格内的一辨識器檷位包括一辨識器元件’則該 fiS存格内之步驟狀態可被轉換成下文中所稱核心格之结構 性数單元3 ，儲存格檷位V A L U E /丨)E S中的每一個可包含一 (請先閲讀背面之注意韋項再填寫本頁) 装· 線· DP 23 太认？f, ίί βυψ ta m:找迆（CMS) V 4 扣仫 m 0 乂 297 公货） .199213 A 6 B6 經濟部中央標準^=3:工消仲合作社印製 五、發明説明（22) 指示另一格序《之辦雄器，從而提供一連接至此另一格程 序體。瓖堍檷位包括一指示提供該程序體之環埦的程序體 之網路部份一即樹狀结構一的根程序《之辨識器。•但瑁堍 檷位亦可有其他用途，瑁墉可》儲存所有產生之格程序» 環塽内產生器的辨雄器而被用以與一结檐之產生器保持接 觸•例如一樹狀分支内所有的程序艚格可藉具有相同環塊 而被分成一群，在該樹吠分支内具有相同名字之所有符》 將代表相同事物，鞴此鏊儷结構可僅在一作業中由樹狀结 構内的一程序應透過根而被存取。 指定機能可被視為由一父階至一子階之指向連结，即一 程序體元件唯一地辨識一格程序體，故具有一聯合式目的 儲存體的一櫬器之行為被K —指向性程序圔表示。 故若一程序雅之瓖境為已知|則此環境内之根程序體即 可尋獲。一環境之根程序體在其儲存格内WHERE檷位中被 賦一特別標記（譬如”1”） ，一環境之節點程序體在 W Η E R E檷位中則被賦另一檷記（譬如” 0 ”〉。 節例 圖5所示係一儲存格之範例。該儲存格儲存下列陳述： idi= list(pa「 （123) par (456)> 該陳述丨系一雙平行值姐合的串列，第一平行姐合口3!~ < 1 2 3 )具有身份i d 2，而第二平行姐合P a r ( 4 5 6 )具有身 DP 24 (請先閲讀背面之注意攀項再祺寫本頁) 裝. 訂- 線· f 太 W.铬 R 泞 m 屮 93 田 tUttfCNS) 乜mo乂297公处） 經濟部屮央榣準X;A工消赀合作社印製 199313 A6 _；___B_6 五、發明説明（23) ' 份id_3 •包括具有樹狀结嫌中身份之格程序鱷的根儀 存格被檷示為els 、在LAZY檷位中禰記為exec、在WHERE 禰位中設定為” 1 ”、在TYPE檷位中禰示為list〆並在首 二value/des禰位中為id2與id3 ，這些檷位之禰示被註 記為canon-因為埴些權位之内容為間接者並被連接至獮準 的程序《格。包括具有身份為 id2之格程序驩的節點躲 存格具有被設定為”〇”之WHERE檷位：在TYPE檷位中欏 示為par 、並在首3value/des.檷位中儲存不埋績值1、 2、及3，故這些檷位之棟示被註記為discr 。包括具有 身份為id3之格程序體的節點儲存格具有被設定為’，〇·， 之WHERE檷位、在TYPE檷位中檷示為、並在首3 value/des.檷位中儲存不連縯值4、5、及6 ，故造些檷 位之檷示亦被註記為dliCJL。 - 作為Si外界現撺介面之谁 如前所述’根據本發明之處理装置具有一個或數個埠以 將資枓输入/输出該装置，各埠均係一提供與該處理裝置 之外界環境溝通的單元•埠宜連接至目的儲存體1 (見圖 3)中之傳蝓界面（未顯示）。埠可被視為目的儲存體之 延伸，因其宜包括4個機能類似且與目的儲存格2 (見圖 4 )相容之儲存格。埠透過單一化紈行愉入/输出作業。 (請先閲讀背面之注意事項再蜞寫本頁) 裝· 訂- 線. DP 25 太Μ 铒 R d m Ψ 阁 B3 它it谁公处） 199313 A 6 B6 五、發明説明（24) ^ 行 鉍 囟 為 行- 埠 每 I 為 行 部 內 之 器 I 理 處 供 提 H 存 儲 的 巨 ，狀 示的 表a 囂步 語之 的成 構姐 结列 間序 時間 之時 表值 代窮 構無 结一 體由 序為 程視 1 被 由可 可構 一 结 係間 為時 行該 態 行 界 外 中 境 環 界 世 實 真 即- 部 外 器 1 理 處 自 來 可 號 信 的 埠 至 入 输 存一 儲係 的式 目格 於體 合序 通程 成此 換’ 轉式 號格 信體 入序 输程 將一 埠即 丨 I 置式 装形 或位 器數 測之 偵式 之格 _ 0 處 由 故 * ο 為為 行行 ρ ΘΓ QX1 _ 外 構一 结為 間視 時被 之可 較構 比结 為間 行時 部此 内， 中看 器來 理場 處立 與器 可理 即部 - 内 驟、 步成 化完 1 -單為 之行 側部 各外 埠之， 該内 藉境 係環 出其 输及 與為 入行 输部 之內 堉之 _ 内 過器 透理 處 常。 nr. _ 棰作 一 間 供時 提實 式真 模行 該執 ’ 於 式適 模常 同非 相器 具理 均處 者該 二使 為式 行方 部業 ΓΓ ΡΓ 夕作 與的 為潔 行簡 取示 被顯 ’地 2 顯 圖明 於所 示中 顯 2 _ 圖 列如 序即 間’ 時變 1 改 即而 I 間 例時 範隨 1 可 的列 為序 行號 部信 外之 樣 (請先閲讀背面之注专¥項再填寫本頁) f -装· 訂· 經濟部中央標準Χ;Α工消t合作社印Μ 對量 j 件號為 元信 i 的之中 列内其 串間， 1 期ti 係間為 列時記 序該3}; 號在被 信 一 間 該與時 間績 時持 續而 持gi 1 為 括記 包註 姐被 週對虽 樣每號 取，信 般姐， 處 此 異 差 有 可 期 至 接 ί I 3 地 般 例 IG 如 可 埠 的 境 環 至 接 的 4 0 埠 數之 之中 6 3 與圖 1 如 於諸 介 3 1 9JS9 1
AB 25) /V 明 説 明 發 、 五 信佳 類較 種 -有故 所， 的援 中干 念的 觀统 般系 _ 對 在成 理造 處常 可.且 面雜 界複 的太 漳面 , 界 7 種 器此 測但 偵， I 號
量0 - . 次 在 號 信 之 量 澜 被 量0 :被 質間 品時 列定 下特 有在 具號 應信 面一 界 的L
器號 櫬信 由鐘 或時 、界 期外 遇由 定或. 固式 之程 定由 決或 埠、' 該期 由邇 一 定 。為固 定定之 恆被 為可 視間 被時 前該 Z 定 決 式 程 内 段係 時號 定信 特的 之量 定測 決被 或 號 信 化 位 數 該 式le 形oo 位(B 數爾 之布 器為 檄則 表 可 成 碼0 被 或 (請先閲讀背面之注意事項再磺窝本頁) 式像 形不 位並 數置 之装 值腦 點電 浮之 1 明的 或發明 數本發 整據在 1 根-示K值 所出 输 視 被 埠 中 器 理 處 或與 入式 插程 地一 般内 臞器 霣理 通處 普為 言 語 式 程 能 功 與 可 置 装 腦 11 該- 面 界 的 間 境 環 之 器 m"l 理 處 - 境 呈環 倒 ， 1 構 其结 在 Η 供一 提的 被中 件式 事程 的器 串理 連處 1 1 使呈 能亦 係側 面一 界另 該其 ’在 合而 配號 Η 信 份 一 之 部同達 1 均到 那者能 的二可 它該其 定得近 設使接 器，能 理成可 處完儘 而時為 份冏象 部側景 1 兩置 那的裝 的面腦 它界電 中或使 象埠此 景由 -際係象 實此景 定且的 設，事 装. 線· f 經濟部屮央捣準杓A工消费合作社印製 式内 程面 , 界 為到 行看 部均 内者 生二 產 並 内 體 存 0 儲 間的 時目 寶動 Qi 39 真主 的在 間存 時儲 宵被 真式行 實程執 確 之 境 環 與 式 程 之 内 置 装 腦 於 基 姐 對 之 間 時 續 持 與 (I 的 列 '串 件長 事盡 的無 串一 連為 一 面 間界 時述 實描 真式 同程 相
P D 7 2 199213 經濟部屮央標準灼Α工消费合作社印Μ 五、發明説明（26) ' 即各信號值在一持鑛時間期間持纊*故在各時段期闢一包 括一對姐的信號值與持鑛時間一界面描述該持鑛時間長度 與該值，所有埴些對姐被依序列提供且一埠將一輿實時間 行為轉換為相同型式的串列。 進出電腦装置之艙入輿_出係藉單一化完成*此意指各 期間内之持鑛時間與值被在埠之兩側定為相似。 程式可指定一特定信號量值，其亦可不指定信《量值而 利用一諸如$之特殊符號表示所有可能值。 一正確程式應在單一化作業後僅餘眾替代性行為之一， 且此行為須與對象的埠之行為符合，若諸替代性内部行為 中沒有一個對應至對象的埠之真茛世界環境，則單一化作 業输出之结果將為nothing ，此被視為一程式錯誤因 n q t h. 1.XL&-代表牴觸。在單干作業後尚餘一假K上的替代性 行為亦被視為一程式錯誤。> 當内部行為指定一亦被稱為信號量之特定信號值時，此 特定信號值被输出至環境。若内部行為未指定信號值·則 一特定信號值被由境输入。 當内部行為指定一時般内之特定持續時間時，則環境容 許一任意持績時間長度。若内部行為未指定持續時間·則 環境決定持續時間。 故該機制為對稱性： κ 一具有d u r i n S陳述之時段包括一持维時間及一信號Si。 2 .該時段被以如下形式之程式描述： d u r ί n g持镄時間 信號量。 DP 28 (請先閲讀背面之注杳華项再埤寫本頁) 裝. 線· Γ iuw+ffi·尺冲 iS m + ta S3 «找迆（CNS) Ψ4Μ?格（210x297公处） 199213 A 6 B6 經濟部屮央標準工消你合作社印3i 五、發明説明（27) 3. 環境可如上述般Μ不同方法描述此一時段° 4. 埠界定其兩側之信號量，此意指一信號量須被決定*霣 腦装置内之程式設定埤朝向霣腦裝置的一俩之持續時閬或 信號悬，一输出在一特定持續時間期間被執行且/或一信 號量被饋送至埠朝向環«的一側之導線。 培gfll滄之埠的一種具W奮例 圔6所示為用K输入及/或输出時段的一種具體寅例* 埠被連接至结構數學單元3或K —匯流排裝置DU直接連至 目的儲存«11 ，匯流排裝置DU内之每一匯流排代表一具有 諸如38條線之匯流排，埠被中央單元CU控制，埠包括一辨 識器暫存器PID •該儲存於暫存器PID内之辨雄器可被用 作目的儲存膀1内之辨識器一即該辨識器可被用Μ將埠連 结至目的儲存體内之格程序賴，此辨識器僅被使用於處理 器内部。埠亦包括一辨識器暫存器CEID, CEID可以被如暫 存器PID類似的方法使用。埠亦包括數個儲存格CEdu、 CEl^ast、CEmext、CEid·各該儲存格均被像目的儲存賭1 内儲存格般地架構及動作。 各儲存格可儲存一具有至.，少3儲存檷位之程序體以儲存 諸如d u r i n S、持續時間、及信號量之至少3程序體元件。 至少前述的兩個程序體元件可被儲存在值/指定類的儲 存檷位内，during陳述可在一 TYPE檷位中，因為埠恆提供 —d u r i n g作樂，故此T Y P E欄位可予省略 但在圖6所示具體蜇例中，d u r i n s之形式係與一預先界 D Ρ - 29 - (請先閲讀背面之注$項再填窝本頁)
C 裝· 線. f ^ Μ ^ η Ρΐ a if： .μ a 03 m lCNS > Ψ 4 tHM (?A0y 297^ ^) 199313 五、發明説明（28 ) 定的功能名稱一持績碼（during code)-共同放置在一 型式檷位内之型式apply (’◎)，該功能名稱被儲存在埠 儲存格之第一值/指定檷位中，其方式與諸如+ =來/等 属於’apply型式之所有功能名稱一致，該持績碼可為一儲 存在目的儲存麵内表示一功能定義之辨讖器。 辨識器亦可被髌存在一值/指定禰位内，此辨雄器將埠 结構體輿目的髂存«内的一持續结構體車结。 若不需一包括辨讖器之檷位*則圖6中所示具體實例中 實際上僅需3個值/指定灌位，但被註記為unused之第四 個值/指定檷位仍可具镅Μ使該埤暫存器與電腦裝置内其 他儲存格相容。但亦可能連接一作為VALUE IN/0UT的額外 装置至該第四值/指定暫存器，此將使該埠成為一群值一 即持續時間與二種信號1一的埠。 埠内每個齡存格亦可有屬性欄位，至少前述之諸儲存格 可用匯流排 Wei、 Wii、 W τ 2 ' Wvi、 Wei ' W τ 2 ' W v z ' We2相 互連接，每匯流排範例性地具有38條線且以位元對應方式 連接至各暫存器内之位元格，標示I表示可連接至暫存器 (請先閲讀背面之注項再域、窝本頁)
C 装· -線· f 經濟部屮央標準而只工消费合作社印製
持存至境向示 之暫接瑁方顯 器至連向1 未 存接可示體丨 暫連示表存面 至可表 2 儲介 接示 Ε 示的換 連表示標目轉 可 V 標-動 一 示示，排主過 表標排流向透 I Τ -流匯示示 示排匯的表表 ο 標流的位1能 3 , 匯位檷示可 排的欄定搮 3 _ 流位定指而示 匯檷指 \排標。 的定\ 值流、排 位指值外匯排流 檷 \ 虽額之流匯 碼值號之接匯之 绩間信器連之接 持時之存向接連 之缡器暫方速>DP 199213 經濟部屮央標準杓A工消赍合作社印製 五、發明説明（29) · 請注意可能使型式檷位包括’S且第一值/指定檷位包括 實際上被省略的持續碣，因為在其内之資訊將恒一致•故 此事實僅可在中央控制軍元CU中實施，所以可能使一埠具 有僅包括2值/抱定檷位-其一為持鑛時間檷位、另一為 信號量（未顯示）檷位一之脯存格。 在所示埠之具髑實例中的4儲存格儲存次一優先程序» 、實際程序體、次一程序體、及指向未來程序體之辨識器 ，諸儲存格可有規定的位置，故其内之轚個内容可在其間 傳送。暫存器内各位元格的通當结構可具有與结構數學單 元3内位元格相同之结構且顯示於申請人正申請的專利案 件中。 但亦可能安排3個前述儲存格使其可藉改變其命名而彼 此互換位置，該換名係由中央控制單元CU之控制完成。 埠可具有例如一儲存格之不同數量的儲存格。 防間計齡器ai瞄間卟齡玆 埠包括一時間計数器TCOUNT，該時間計數器係被來中央 控制單元C U之時脈信號C L 0 C Κ P控制並測量時間，其可被外 界重置信號或來自控制單元c U的重置信號重置。時間計數 器TCOUNT被連接至第一選擇器SEU，選擇器SEU由中央控 制單元C U控制以將來自時間計數器T C 〇 U N T之_出直接連接 至可連接到儲存格内時間儲存權位之1流排Wt2或連接至 時間比較器TCaMP的第一输入，時間比較器TCt3MP之第二 赌入連接至蹯流排WT2 *該時間比較器之_出為一外界時 DP - 31 - (請先閲讀背面之注寺爹項再現寫本頁) 装· 線·
C f 夂说铬尺出屮ta W :鸩迆（CNS ΉΜ拟格（210 X 297公贽） 經濟部屮央捣準A工消费合作社印31
199313 A 6 ___B_6__ 五、發明説明（30) ' 間_出*該時間比較器之轤出亦被轉送至控制單元CU。 埠亦包括一外界值_入與输出埠接脚VALUE IN/0UT*其 被連接至一諸如數位/類比轉換器之输出信號轉換器 CON VOUT，其亦被連接至一諸如為输入信號取樣之類比/ 數位轉換器的轤入信號轉換器CONVxh •該取樣時間可由時 間比較器TCOMP之输出或時間計數器TCOUNT$璽置信號（ 未顯示）決定，一連接至匯流排WV2可惇制地可連接至雔 存格CEDU、CELAST、CENExT之信號量暫存器的選揮器 SEL2賴由中央控制單元CU之控制選揮是否一信號量是否將 由埠饋出或餱入埠*控制單元CU首先讀取包含將被連接至 瓖境之暫存器的儲存格内的暫存器之内容看其是否包括特 殊符號$表示暫存器内的值係任意值且可與任何可能值交 換，然後控制單元CU據此控制連接至暫存器之埠選擇器。 亦可能完成一更複雑的埠，例如VALUE IN/0UT之信號量 可由一儲存在轉換電路C0NtfIN之公式轉換祐入值而由一儲 存在CON VOUT之公式轉換输出值，範例性的轉換功能可為 数橫分，每個積分對應一不同级數的信號量信號值或類 f以值。 亦可能在各持續時間内採二值一譬如在持績時間開始時 採一值而在持續時間结尾採一值一並將二值之一直接儲存 人一值/指定欄位且以該二測量值與持續時間饋予一斜率 計算装置（未顯示），該斜率計算裝踅之陆出則可被範例 性地儲存入額外值/指定檷位（未顯示）一即v A L [j E (請先閲讀背面之注音ΗΦ項再填寫本頁) c 裝- 線. f DP 32 199213 A 6 B6 經濟部中央標準劝U工消"合作社印製 五、發明説明（31 ) IN/OUT之額外選擇器装置。 信虢噩之綸出 待被饋出之資訊位在儲存格CEDU& •故該格具有下列資 訊： during持績時間 信號量 此暫存器内之信號量為已知故將被_*，信號悬被由儲 存格内之信號1暫存器抓取並透過作為驅動级之選擇 SEL2m轉換器C0MTOUT餓出。 信號量之揄入 儲存格CEDU内之資訊為 during持績時間 $ - 故此暫存器内之信號量為未知且該暫存器準備接收一信 號量，信號量被由埠信號量輸入/输出抓取、在類比/數 位轉換器CONVINrt數位化、並饋人儲存格CEDU之信號量暫 存器内。 持墙時間被雷腦奘晉稃忒設宙 儲存格C E D u内之資訊為 d u r i. n g持續時間 信號量 故持續時間為已知，時間計數器Tc 〇 u Ν T被在持绾時間之 啟始菡被中央挖剌單元C U塱置，計數器T c 0 υ n τ内繼績逐步 增加的時間被時間比較器Tc ο Μ Ρ與儲存格C E D u内時間暫存 DP 33 (請先閲讀背面之注項再填寫本頁) 裝. 訂 線- f 太Μ锊尺冷d m Ψ囚囚文找迆（(:NS Ί中4抝找f 210 乂 297公处） 199213 A 6 B6 經濟部屮央櫺準杓Α工消赀合作社印31 五、發明説明（32) ' 器中的時間比較*當此二時間相同時，持續時間即结束。 在此持續時間期間，儲存格CEiAST被空出且醏存格 CENExT被填滿。在轉換至次一期間時*儲存格CEDU中之内 容被移人儲存格CELAST内，且儲存格CEnext中之信號量被 移入儲存格CEDU内。 持墉時間被現墉設宙 儲存格C E D u内之資訊為 during $ 信號量 故持時間為未知而將由環境決定之，時間計數器 TCOUNT在持鑛時間放始時被外界控制重置，時間計數器 TC〇UNT内繼續增加的時間被饋入儲存格CEDU之時間暫存器 ，當環境送來次一外界重置哼*持績時間即结束，故外界 重置信號控制選擇器S E L α K直接地或由來自時間計數器之 零信號將連接到時間計數器之連結切斷。 在此持續時間期間，儲存格C E ^ A s τ被空出且儲存格 C Ε Ν Ε χ τ被填#，在轉換至次一期間時·儲存格C E D u中的内 容被移至儲存格C E ^ A s τ，且儲存格C E N E X τ中的内容被多入 儲存格C E D u。 --傾簡匿的節例 為敉述埠之運作| Μ下是一小盹例假設我們要檢測二 相異序列之--·二相異序列中的第一個序列之每個秒信號 DP 34 (請先閱讀背面之注竟#項再礓寫本頁) 裝. 線· ( 太认6 R泞A m Φ阖囚玄说進（CNS) Ψ4婭格（210X297公 199213 A6 __B_6 五、發明説明（33) ' 量已定一例如值17，且所有持續時間已定一例如1秒；而 第二個序列之所有信號量已定一例如1 ，2，3，4等， 但無一持纘時間已定，使用的埠稱為porti ，程序《陳述 unify (porti ” 内部行為"）， 其中”内部行為”係一alt作業，該alt作業表示所有替 代性序列一即下列型式之大型資料結構： alt (seq (during (Is 17) during (Is $) during (Is 17)......) seq (during ($ 1) during ($ 2) during ($ (請先閱讀背面之注意事項再填寫本頁) 裝· 經濟部屮央標準沿U工消贽合作社印製 現在若输入信號序列可被M上列结構單一化，則該输入即 被接受且可探取適當行動|被接受的序列之一個範例為 ((1 s 1 7 ) (1 s 0 ) (1 s 1 7 ) (1 s J 9 ) U s 1 7 ))—此序列可被上 述内部行為之第一序列單一化。另一被接受之序列為 ((2 s 1) (4 s 2 ) (1 s 3 ))-此序列可被内部行為之第二序列 單一化。不被接受之序列的一個範例為（（1 s 2 )......)， 因為信號量一即2 —無法被内部行為之二序列的信號量單 一化。 Η — 的具_宵例 圖7中所示Η _埠的具體筲例係將二個分離運算的根據 本發明之電腦装置彼此連接。屬於第一電腦装置的那一半 Η埠包括一型式櫊位Τ Υ Ρ Ε : 1、4值/指定爛位V /!) α :、 DP 35 -線· 太μ汴尺泞i幻η小囚S3 抝格（210x297公处） 199213 Μ 經濟部屮央櫺準杓Π工消费合作社印5i 五、發明説明（34) V/D12、V/D13、V/D14* 及一辨雄暫存 #IDpil。屬於第二 霉腯装置的那一半Η埠包括一型式橘位ΤΥΡΕ21、4·值/指 定檷位V/D21、V/D22、V/D23、V/D24 、及一辨雄器暫存 器IDp21 。在·7所示具體實例中，埠的兩半之諸型式櫊 位與值/指定禰位各被以一匯流排彼此相連*傳_係透遇 串列匯流排完成。 因為最好儘可能減少實際相連嫌，故$佳作楽棋式將為 僅透遇一串列匯流排在埠的兩半間傳送資料•但此種傳送 法將使中央控制單元CU中的内部控制電路較每儲存禰位使 用一傳送匯流排進行傳输為更複雑。用來將並列資料轉換 成串列資料與反向轉換之界面未顯示於圃7中且未被敘述 ，因為精於此方面技術者應已對它們很熟悉了。 Η埠的每一半分別被連接至控制單元CIU與CU2並控制 其所鼷的電腦装置，控制單元之一 CIK提供一用以同步化 另一控制單元CU2之同步信號SYNC 。當要進行一傳送時 ，Η埠兩半中的一半除了辨識器暫存器之其所有暫存器内 均包括特殊苻號$，該辨識器暫存器被控制單元指出’該 半個Η埠接著接管另一半個埠中對應暫存器内的内容。 當一程式的大包裝資料透過-Η埠由一電腦装置傳送至 另一電腦裝置時，辨識器須在接收端電腦装置内被更改為 適合於辨識號碼之内部分派Μ避免重搜使用相同號碼’故 一樹吠结構被以由其根部往葉端的較佳方式傳送，或者亦 可由葉端傳送往根部但將被傳送的程序體内之各辨識器交 換成新的辨識器並將其依序儲存在0的儲存體内。 DP 36 (請先閲讀背面之注$項再搆寫本頁) 199213 A 6 B6 五、發明説明（35) 經濟部屮央標準"JA工消汾合作社印製 Η語言行為 Η程式語言使用具有下列3種形式相態的語言r ii七a 其中h 、t 、與a係三種不同的棋式參數，h、t、與a 參數分別抱定平行、串序時間、與代替性行動，它們可被 視為分別檷示不同平行行動、不同事件？與替代性行為的 索引，此三棰相態通合於執行由命令式語言中特殊構念描 述之數種行為，它們的全體為Η語言行為之中心概念—即 核心，故根據本發明之II腦装置的结播適合於處理具有此 三相態的行為，請注意在某些應用例中，模式變數a可有 一個K上的值一即相同期間内可有數個替代性車件發生。 结纔齡學望元（栈心榇） 如前所述，精簡作業宜在一特殊结構化數學單元3内執 行•當精簡作業執行時一有限的格程序賭樹被傳m至該结 構數學單元3。 現簡單解釋结構化數學單元3 (核心格）的—種具牌實 例•且儲存在目的儲存體内的諸陳述與值的範例將在核心 格3中暫存器内有其對應部份和目的儲存體1與核心格間 之配合。 柊心格內的慙存器 可被用於核心格之具體背例中的？W存器顯示於圖8 A至 (請先閲讀背面之注Je事項再减寫本頁) f 裝· 線· f DP 37 η ^ ;Λ in ·(- Η K VUU.K%(2U)y297^)i·) 199213 五、發明説明 8C 可 被 8D 〇 圔 8Α顯 立 一 暫 存 被 繪 出 的 同 的 諸 平 圔 8Β顯 全 暫 存 器 面 中 之 暫 中 TYPE 中 的 上 述 圖 8C_ 器 一 即 一 圖 8D顯 心 格 有 被 器 基 礎 之 主 列 ， 稱 為 次 暫 W 存 器 f 在 核 心 經 濟 述 形 式 者 屮 圖 8B中 所 標 格 準 心 人 « 作 中 不 (36) 用於核心格之具 示一暫存器，該 器•毎一暫存器 方法係用以描述 面，每一暫存器 示一延伸透穿核 ，此棰暫存器可 存器格内的辨識 WHERE 、 LAZY 與 狀態。 示一僅延伸穿透 有限暫存器。 示核心格具體實 稱為基礎暫存器 暫存器在沿其二 各在其底部有一 存器*核心格亦 一行次暫存器被 格的一棰具體實 一即有限暫存器 述形式者一即全 硬體结構之更詳 同資料儲存形式 A 6 B6 體實例中暫存器 係用Μ描述由 格可信存一位元 一暫存器延伸透 格位於一平面内 心格内所有平面 保有位於核心格 器或值，其亦可 CLOS/SIMPLE 平 核心格之N U Μ與 例中暫存器的一 矩陣之宜先排成 側中之一側有一 主暫存器之基礎 可具有一辨識器 置於基礎暫存器 例中•次暫存器 ,而圖8 I)内其餘 暫存器。 细敘述列於申諮 的簡單描述將參 的姐態顕示於_ 諸暫存器格内建 的資訊，暫存器 穿核心格内之不 〇 的暫存器_即一 内NUM與HEAD平 保有位於核心格 面内之暫存器格 HEAD平面的暫存 棰可能姐態·核 方形的基礎暫存 被稱為主暫存器 暫存器的諸行被 暫存器與一環境 矩陣的一邊。 可為如圖8C中所 的暫存器可為如 人之其他申請案 考圖9 A至9 F進行 (請先閲讀背面之注意事項再填寫本頁) 199213 A 6 B6 經濟部屮央標準，X,JU工消"合作社印3i 五、發明説明（37) '，而其作乘之—些範例將參考_1〇Α至10H、11A至11G、及 12A至12G說明。篛盟蘸锎 如圏9 A所示，一精藺作業之结果籣單值25出現於主暫存 器之一特殊暫存器内，此结果可為一格程序《的一部份。S陛结壤 —目檷（goal)係被入核心格嫌被精簡者。如圔9B中所示 •一僅包括一階的目檷——般係與其他格程序體無關聯的 程序體_被儲存在主暫存器内，該範例顥示一藺單數學運 算一即值1 * 2 ，與3之加法.數學指令（+ )被儲存於 第-主暫存器内而待被處理之諸元件被儲存於其他主暫存 器内。 . 二脑结構 如圖9C所示，一包括二階结構之樹狀结構的父階根串列 水平儲存於主暫存器内而子階串列垂直儲存於基礎暫存器 内 > 在本範例中，具有（（1 2 ) (3 4 ) >串列陳 述的结構被儲存在基礎暫存器矩陣内*諸次串列之第一元 件的根串列一即1與3 —被儲存在主暫存器内•而子階串 列一即（1 2 )與（3 4 )-敁垂直誧存在次暫存器 内：一種使用此棰儲存賵的範例將於下文中參照圆9 A至 9H描述。 DP 39 (請先閲讀背面之注意4事項再搆寫本頁) 199213 經濟部屮央標準>ί.;ίχ工消费合作社印51 五、發明説明（38 ) - =瞄结纔 如疆9 E所示* —具有三階结構之目標樹的根辟存於睹輔 肋暫存器之一中，而其單一子階髂存於主暫存器内。在· 9D中*目的樹之根一 Transpose指令一髄存於諸輔肋暫存 器之一中，而其子陏一串列（id: , id2 , id7) —髄存在 主暫存器内·此串列之毎一元件後為一具有子階的父陏* 在圖9E中，這些子階被垂直地載入基礎暫存器内，其中 icU被其代表的串列一即（1 ，2，3) —交換，1(^被 其他表的串列一即（11，12，13) —交換，id7被其他表 的串列一即（21 * 22，23) —交換。 答植保式（Pipe line mode) 如圖9卩所示，Μ管埭横式儲存之樹被截入，該目檷串列 載入主暫存器、目檷之父階載入輔助暫存器、且待處理之 指令及元件儲存於二種暫存器内，管線埋作棋式宜使用於 精簡數字陳述時*好處之一是中間结果可暫時儲存在核心 格内而非在目的櫧存體内。 所以一目標樹的根串列較佳地根據樹狀结構之階數與待 執行之作業而儲存在核心格內暫存器中之不同位置。 H頡言楢念餌相闞砷賭 · 特別適用於根據本發明的電腦裝置之語言稱為Η語言， 對複雑問題傅統解決方案因陳藏所有複雜事件而只讓簡單 者可見故增加了複雜性•根據本發明的甯腦裝置採用相反 ..............f ........參.....町..：· : C (請先閲讀背面之注意事項再填寫本頁) DP 40 本紙張尺度逍用中國國家榣準（CNS)甲4規格(210x297公垃） 199213 Λ 6 Β6 經濟部屮央標準局貝工消t合作社印製 五、發明説明（39) 的方法，所有非必要的软《階靥均被移除，Η諝言被用作 櫬器内的所有東西：拥器語言、程式諝言、作樂糸统、與 通信協定。但像現今每種霣子裝置一般，根據本發明之霉 腰装置的嫌路亦可被播轚在具有某種程度之拥譯器或编譯 器的霣臞内，此種機器的一種範例為Sun 3，但該種機器 須有一具備單一化可能性的埠。 傅统理輯程式語言以分解與單一化作赛主要語意特性， 具備Η語言之根據本發明的霣臞装置則在精籣語言中使用 型式符合作分解並使用自由變數與型式符合作單一化，Η 語言内儲存在記憶格中檷位内之目的具有平行存在、序列 存在、與替代存在的特性。 目檷樹的根係一諸如unify、alt、apply及在某情況下 諸如及等可精簡型式之程.序體，因為及 有時可被精簡成空白。在懕用功能apply (亦稱為©_)中 •第-元件係直接被硬賴两譯之指令（+ - )/ during)或 係間接指定一作為功能定義之程序體结構的辨識器.而其 他諸元件則為指令/功能定鶉之參數，如上所述，根據本 發明之電腦裝置通合於處理稱為Η的特定陳述性語言，該 Η語言丨糸被一摘要語法與語意界定。 該語法藉陳述之助描述數個不同的摘要目的，下列基礎 陳述可以使用： port, nothing, alt(list), par(list'), seq(list), unify(list), during(list), cont(v), period(v), 其中（丨丨st)係目的儲存格中包括其所颺之陳述的特定資枓 (請先閲讀背面之注意事項再填寫本頁) DP 41 本紙張尺度遑用中BB家樣準(CNS)甲4規格（210X297公釐） 199313 Μ
經濟部屮央標準局β工消费合作社印M 五、發明説明（40» ' 元件形式（ei，e2.....en)，而v係一實數。 由於本發明之線路實例中各儲存格只有有限涸值/指定 橘位，故一串列可被雠存於敝儷镰存格内，請注意若目的 餘存«之结構被一昝通型式《臞内的程式撗擬，則一被棋 擬的雔存格可有不問數目個儲存檷位。 Port 代表實際埠一即一序列的持績一的陳述且係一 特殊種類的間接元件》 NottLim 係代表矛盾的一特別種類之值。 UJL 表示包括此陳述之儲存格包含被視作替代性元 件之串列元件。 Lax_ 表示包括此陳述之儲存格包含被視作平行55件 之串列元件。 S^a. 表示包括此陳述之儲存格包含被視作序列$ & 之串列元件。 _ Uti.iLy 表示包含此陳述之儲存格包括被視作待單 元件之串列元件。 Pur i.n.g- 表示包括此陳述之儲存格包含賦予某事件 生 或 期間之持續時間的串列元件。 L±(..) c q 代表一空間量，該空間量沿著長度v的距gg胃 有一無限數個極小行為。 ^r i-Qd 代表一持績時間，該持績時間在持續期間v期 間具有數個極小短的行為。 DP 42 本紙張尺度边用中Η S家標準（CNS)甲4規格（210x297公¢) {請先閱讀背面之注意事項再填寫本頁) 199213 Λ 6 Β6 五、發明説明（41) * 串列中元件被Κ值髄存在值/指定禰位中。 —重寫裝置被連同儲存格内建入中央控制装置Cii·故控 制裝置執行重寫規則，其根據預定重寫規則重寫該語法陳 述。 中央控制装置宜為一布連（boolean)閛串列，該裝置被 連接Μ讀取皤存的陳述並根據内建規則執行重寫作業，在 現時僅樹的一部份須被讀取*布連Μ串列的建構具有對姐 合输入反應Μ根據内建協定提供姐合输出的能力之事描述 於卡彿密德（Carver Mead)與林恩•康威（Lynn Conway) 所著 Addison Wesley Publishing Company 在 1980年出版 的"Introduction to VLSI Systems” 一書中。 番宽扭刖 - 下列為諸重寫規則： ^ alt a 11 () -> 空白 a 11 ( e ) - > e a 1 e ( -> a 11 ( ei.._e„)(即空白 值被省略） a I t ( ei. . .alt(ci. . .ck) . . .en) -> a 1 t (e i ... (請先閲讀背面之注意事項再填寫本頁) 經濟部屮央標準Λ貝工消费合作社印製 par p.a.r (ei....空白.....e „ ) ->若ei至en中有任一值為 DP - 43 - 本紙張尺度逍用中Β國家標準(CNS)甲4規格(210X297公澄) 199213 Λ 6 Β 6 五、發明説明（42) 白 空 為 則 白 空 p a r ( ei. . .alt(ci. p a r (e i · . . e n ) s e...g,, seg(e i · · · ·空白·. s e g ( e i · . · a 1 t ( c i · s e g (e i . . . e n )
c k ) . . . e I 況 狀 他 其 白 空 為 en則 至白 el空 若為 任 有 中 值 )..· S 6 Q (βΐ* · *Ck* · ·θι)) > s e g ( e 1 . . . e η )其他狀 況 (請先閲讀背面之注意事項再蜞寫本頁) 裝 訂
經濟部屮央標準而A工消费合作社印製 3 e 的 elen他 有 至其 白所 Θ Θ 於 空 e 若為若異 則 同 相 均 η β 至 任 有 個 白 空 為
P D 本紙張尺度边用中困a家標準(CNS)甲4規格(210X297公货) Μ 五、發明説明（43) * - 62)63····6η) u n i f V f e 1 . . . e n ) 若 ei 至 en 中有任—值 為空白則為空白 unifvf〇1 alt(ci...cic)...en) -> a 11 (u n i f v (ex. · · c 1 ..
經濟部屮央櫺準;;JA工消费合作社印製 當儲存在目的儲存體内之樹狀结構要進行精籣時•該樹 狀结構的至少—部份將被傳送至單元3，在單元3内處理 一樹结構的不同可能性之進一步敘述將在下文軎Μ鼷3中 装置的一種特殊具《實例進行。 控制單元CU讀取現儲存於箪元3内格程序《中之TYPE檷 位並根據上述重寫規則簠寫一即重安排一單元3内格程序 胯中之内容並將重寫的结果傅回儲存在目的髂存«1内， 若被重寫的结果被精簡成一值或空白，則控制單元CU進行 對目的儲存體之整體尋找Μ將指向被精簡之结構父階之儲 存櫊位中的内容換成精籣结果值。 以下為使用此類語法規則之作業方法的範例，未敘述於 下例中之語法規則非常類似於範例中所述者且在與下例共 同看時對精於此技術者非常易於瞭解。 範例1 圖示於腫1 1 Ο Α至1 Ο Η中的罕一範例丨系平行值之單一化， 該平行值係可精簡程序體： DP 45 本紙張尺度通用中S a家標準（CNS)甲4規格(210x297公货) (請先閲讀背面之注意事項再填寫本頁) 經濟部屮央標準/;Ιβ工消费合作社印51 199313 __λ6 五、發明説明（44) ' unify(par (1 par(l) 3)par(l par(l) 2)) 該程序«係一可精籣程序體，其中有數俚平行單一化要進 行，此可精藺程序«將被重寫為一單一化平行结構。 10A顯示初始的可精«程序« * _1〇Β顯示此可精籣 程序體如何被儲存入目的《存體*可精籣程序體不同部份 所被雔存在的雠存格在·10Α中被檷出，元件程序《與格 程序體間之連结在·II0Β中被欏出，具有辨雄器it之格 程序髓被檷示為els且在形式檷位中有形式碼unify ，而 具有辨識器id2、丨6及丨(14之諸格程序體在其形式欏位中 有形式碼Par »具有辨識器idi之格程序體的首二值/指 定程序體元件指向具有辨識器id2與丨44之格程序《，這 些格程序體被欏示為c.a.iLajL。具有辨谦器id2之格序雅的 第一與第三值/指定程序體元件具有禰示為d i s c r之分饑 值，而其第二值/指定程序體元件指向具有辨識器id3之 格程序雅故從而被檷示為canon 〇具有辨識器id3之格程 序體的第一值/指定程序體元件為一整數故而被標示為 ϋ-SJLn.。具有辨識器icU之格程序體的第一與第三值/指 定程序髓元件為具有搮示disc「的分離值而其第二值/指 定程序體元件指向具有辨識器id3的格程序體故而被標示 為 canon 。 如圖10C中所示，具有帶辨識器idi之格程序體的儲存 格之内容首先被載入核心格，在第一作樂步驟中將其辨識 器置入包括程序體型式碼unify之i d i的辨識器暫存器. 並將值/指定元件作為目標置人主暫存器 (請先閲誚背面之注意事項再填寫本頁) 裝< 訂 線- DP .______ 46 本紙張尺度逍用中國國家標準(CNS)甲4規格(210><297公釐） 199213 Λ 6 Β6 經濟部十央標準沿只工消费合作社印製 五、發明説明（45) · 如圈10D所示•具有辨識器id2與之諸子階被垂直 載入基礎暫存器使得其第一值/辨織器元件内之内容被置 入K其辨雄器檷示之主暫存器内*而其餘的值/辨雄器元 件被置入其上之垂直行内的暫存器中。埴些子階中的毎一 倨之型式碣BJJL亦被載入主暫存器，該型式碼被載入位於 TYPE平面的暫存器格內。 如圖10E中所示，基礎暫存器之内容荦旋轉90°使得基 礎暫存器之第一垂直行的内容被置入主暫存器，而第二垂 直行被置在平行於主暫存器之基礎暫存器列内。辨識器暫 存器内之型式碼b_3JL與unify和主暫存器互換•此互換係 由控剌單元自動執行，規在基礎暫存器包括一具有3個置 於行內之子階的父階。 現在各子階被利用指令make戲回入目的儲存《。作為來 自目的儲存SS之回懕，被儲.存的子階之辨識被提供並儲存 入主暫存器，請注意為一棰閘串列之控制單元CU特別偵測 CL0S/SIMPLE至TYPE平面内暫存器中的内容並根據由該.處 找到的資訊提供指令一即控制諸開關與閘，諸子階已在 i d i之後依順序被命名而已被佔用的名字則不被使用，但 是名字的次序並不重要故而可為任意者。 如圖1 0 F所示.第一子階取得辨識器i d 2 ，包含佔用辨 識器ί d 3 之元件程序體的第二子階取得辨識器i d 4 ，而第 三子階取得i d s 。其元件程序體被連接至具有辨識器i d 2 、i d 4 、i d s之格程序體的父階具有辨識器i d α並接著枝 儲存入目的儲存體。 DP - 47 - 本紙張尺度边用中困Β家標準（CNS)甲4規格（210><297公釐） ..............C" ........^.....· · λ· · · ^ (請先閱讀背面之注意事項再填寫本頁) 199213 Λ 6 Β6 經濟部屮央標準乃只工消赀合作社印31 五、發明説明（46) 'HI 0G顗示皤存下列可精簡程序體之雔存格： par(unify(l 1)unify(par(1)par(1))unify (2 3))該可精籣程序《本身顯示於圏l〇H中，BBIOG與l〇H被M 與圈10A與10B相同方式顯示，故而其本身即足Μ解釋了 Ο 在疆10G中亦顏示具有型式確u-π i-£y之格程序il巳被在 L A Z Y橘位檷示為ex^iL，而具有辨識器idi之格程序Μ已被 搮示為wait.此表示被檷示為e X e.c的格程序體應被在W辨 識器丨di檷示之格程序髑之前執行以便精簡其内容成值。 跚10H中的程序體可在一後鑛時點上被載回核心格内作 進一步處理，例如具有辨識器丨d ?之格程序體將有1值· 因為1值與其值/指定元件中的1相同。而具有辨雜器 ids之格程序體结果將為noth i ns ，因為其值/指定元:件 内的值2與3不同。 在一較佳具髏霣例中，各單—化可在數學ALD内進行， 數學ALU比較比較器内的諸值並將比較结果送至控制單元 CU,然後該控制單元據此設定其布連閘串列Μ將第一主暫 存器内之資訊送入核心格。當一精簡作業结果為一標準指 定或簡單值或空白時，其將被全面分配至可操作Μ儲存第 二棰元件程序膊之目的儲存體内的所有儲存欄位以使得各 指向被精簡程序體之間接指定被改费為值的直接指定。 Π ρ 4 8 本紙張尺度逍用中國國家標华(CNS)甲4規格（210乂297公龙) (請先閲讀背面之注意事項再填寫本頁) 199213 Λ 6 Β6 五、發明説明（47) gg俐2此範例係一硬體指令list p…nsion裹示該格程序《包 括一插入串列，此種指令係其他精籣中的一個_肋步驟。該櫬器進行一作範例稱為ex. type的指令之精籣*該指 令可為任何一種具有下列形式包括值與串列的指令： type (1 1 ist (2 3 1 ist (4 6))7) η 先 閲 讀 背 之 注 意 *事 項 再 寫 本 頁 經濟部屮央樑準沿工消费合作社印製 該形式顯示 11Α 與 11Β 身即足以說 如圔1 1C 心格之主暫 。由於第二 故其所被連 一子階，此 然後硬體 7移至第三 方的第二行 值3 )置入 Η Ε ) ° 由 示為H i s n r 於圈11 A中而其格程 被以與93 10A與10B 明。 中所示，具有辨肩器 存器而其辨識器與型 主暫存器中的内容被 接之格程序體id2被 在圖11D中明顯可見 指令 list expand 將 基礎行中id4旁的位 中之串列的部份移至 第三主暫存器並賦予 於第二主暫存器中的 序體顯示於圈11B中，· 相同方式檷出，故而其本 ich之格程序體被載入核 式碼被載入辨識器暫存器 K —間接元件〇 p e a.檷記， 垂直載入基礎暫存器作為 〇 第三主暫存器内的分皤值 置，並將第二主暫存器上 第三行，將其最低元件（ 其Μ型式碼(見圖 内容係一分離值·故其標 訂k-
DP 49 本紙張尺度边用中國困家標準（CNS)甲4規格（210x297公货） 199213 A 6 B6 經濟部屮央標準x;u工消f.··合作社印製 五、發明説明（48) * 然後一新的串列掮充再進行，將主暫存器上方的第三行 中的内容置入第四行並命其型式為Lia-L 第三主暫存器中 的内容係一分離值故被禰示為diser ，此在匾11 F·中明顧 可見。 然後第四行被利用硬《指令擁存入目的雠存《I *其 被雠存在具有辨雄器id2之雠存格内，因為其已變為靜止 。然後如鼷11G所示般辨讖器id2之供給被送回核心格Μ 儲存在第四主暫存器内。 其後對ex. type之進一步精籣鑛進行，當得到一檷準结 果時，精簡的结果被載回入目的儲存體。 一審睹醅俐一篇一稽方法 現回至_3，根據本發明之基礎想法有關埯的運作係視 環境7、8之相互行為與主動目的儲存賭1 、3為一單一 化運作，該單一化之结果應為每一持續時間内的信號量僅 取得一共同界定值。 下列範例係用Μ儲使對運作方法的瞭解： 一具有一输入埠與一输出埠的機器將平方的输人信號量加 於输出，故儲存在機器中的程式為 u n i F V ( par (port ί n port〇ut) "machine behaviour") 其中” machine behaviour” （機器行為）係_ alt.作業， 該a 1 t作業表示所有蝓人與输出對姐之可想及序列一即下 (請先閲讀背面之注意事項再填寫本頁) _tP_ 〇 p 5 0 本紙張尺度逍用中Η Η家楳準(CNS)甲4規格（210X297公發） 199213 Λ 6 Β6 經濟部屮央梂準而W工消费合作社印製 五、發明説明（49) * 列形式之大型資料结構： alt(seQ(parfduringnS 1 ) d r » i n g f 1 S 1)) (par (during (IS 2)d r u i n g f 1 S 4)) (par(during(!S 3 ) d r u i n g (1 S 9)) (seq (oar fduring(!S 1 )d r u i n g f 1 S 1)) (par (during (IS 3)druing (IS 9)) (par (during (IS 2)d r u i n g (1 S 4)) fseo (par (during (IS 2)d r u i n g i 1 S 4)) (par (during (IS 1)d r u i n g (1 S 1)) (p a r ( during (IS 3 ) drains: ( IS 9 )) (sea (par (during (IS 2 ) d r u i n g (1 S 4)) (p a r ( d u r i n g ( IS 3)d r u i n g ( IS 9)) (par (during (IS 1 )d r u i n g ( 1 S 1)) (seg ( eja_c_( d u r i n g (IS 3 ) dr .ul.a.K-( IS 9 )) (p a r ( d u r i n g ( IS 1 ) dr u i ng_( IS 1 )) (p_aii( d ur inK ϋ S 2 ) dr u i il^( IS 4 )) 當_入埠開始傅送其值時*在核心格内進行之褙簡作業 將逐次刪除替代性作業a 1 t中變為η 〇 t h i n g之所有枝幹一 (請先閲讀背面之注意事項再填寫本頁) f 裝. 線· f DP 51 本紙5艮尺度通用中國囷家樣準(CNS)甲4規格(210X297公没） Λ 6 Β6 199213 五、發明説明（50) 即不符合的枝幹。 下列精籣規則在核心格内執行： 一具有下列形式的陳述： unifv(par(p〇rti....dot t„) sea ( d a r f d u r i n sr (<? 1 1 t 1 ).. ,.during (ai« ta)) (oar f d u r ί n e (q k a t k ) . « ..d u r i η κ ( q w » tk)) 被根據來自瓌埦的信號與陳述之比較重寫為空白或下列陳 述： s e q (par (during (qιi 11) . . . during (q i n 11 )) (請先閱讀背面之注意事項再填寫本頁) 裝- (par (d u r ins (q κi t k) . . . during (q κ n t κ)) s e q中每一par作業中所有的during均使用相同時間， 同步化為必需的K使所有during作業在同一時間開始與 结束。 · 上述陳述之重寫的替代性方式為將其根據來自環境的 信號與陳述之比較重寫為空白或下列陳述： 經濟部屮央標準沿A工消费合作社印製 DP 52 本紙張尺度边用中國國家標準（CNS)甲4規格（210x297公垃） 1999Λ3 經濟部屮央標準劝U工消费合作社印製 五、發明説明（51) * seg iduring (par (q11 q 1)11)) (during ( p a r q k i 11*) t κ )) «該範例中上述第一種重寫規則可引伸出下列精簡規則 u n i f γ(par (eι. ..e n)p a r (hi.. ·h n)-> -> p a r ( unify e 1 hi)·.· u n i f [ e n h n) 與s e.SL.之對應，一旦一輸入值不符合~即不同於—機器中 的對應值，其结果即為nothing.，此將〜直向上傳播至 alt作業而整個的枝幹被由a_ll陳述刪除。 组外#世界通訊 - 建構一埠Μ使值可根據外界信號是否被界定或機器值g 否被界定（具有值$)而傳入或傳出機器的巧妙在於槠器 並非侷限於上述醣單输入埠與输出埠糸統，故可能撰寫一 程式而其中一埠被替代性地寫入並謫出該機器，此程式的 一種範例為下列程式： unify (port ”machine behaviour") 其具有下列機器行為（machine behaviour^ : a」丄（s. €LgL< d r i ηκ IS 1) ( d_ur_i ηκ IS 1 ) ( during IS 2) ( during IS 4) (s_e^L( dx-i-HK.. 1 S 1)( d_u.r i fLg.. IS 1 > ( during IS 3) ( r) u r i n r IS 9 ) DP - 53 本紙張尺度边用中a國家樣準(CNS)甲4規格(210x297公货) (請先閲讀背面之注意事項再填窝本頁) 裝· -線. 199313 五、發明説明（52) ·
(s e q ( d r i n g IS 2)( during IS 4)( during IS 1) (dur i_fLg_ IS 1)
(seqfdring IS 3) (during IS 9) (during IS 2) ( during 1 S 4)等 即 (s e α ( during input) ( during output) ( during input) (during output) 在此櫬器行為中*環境提供一值且櫬器鞴在次一時段期間 嫌出其平方回應*此棰方法提供資料應如何以一簡單方式 流動之完全控制。 單元3與諸埠通訊並適於以一序列儲存來自埠的輸入目 的儲存體中，其以下列形式的陳述出現： unify^prot <;eq (duri ng_ 11 q i ) . . . s e a ( d u r i n r t k Q i< )....) (請先閲讀背面之注意事項再填寫本頁) _ _·—. ,_I_*_ 經濟部中央榀¥M工消"合作社印製 得或 使白 定空 協成 信述 通陳 之此 内寫 u c S 元較 單比 制之 控述 央陳 中與 ，號 時信 簡之 精境 儲環 被自： 述來述 陳據陳 此拫列 當其下 w e π W e η
p D CN 標 I家 199213 經濟部屮央標準而β工消费合作社印製 五、發明説明（53) 在該陳述中newt i係值對姐序列中第i時段的新捋績時間 而nevo,係新信»量（見圓2 )。 若埠上的信號具有羅2中所示形式，則上述unify.陳述 將被在單元3中重寫成空白一若信號之值異於unify-陳述中的對應或信號之值ti異於unify陳述中的對 應t ,。否則該unify陳述即被重寫成sjU陳述。如上所 述，_slilLLl陳述中可有一特殊符號$表示該值可為任意 值° 若陳述中的值ti或qi(i為一任意鳌數）為$ ，則對 應的newti或newqi將被重寫而被測.量的邏：ti或cji被插 入0 故若來自環«之信號未界定而unify臃述之值t,或q, 為確定值，則信號強度在時間11 -期間由埠内之數位/類 比轉換器C0NVOUT (見圖6)输出為qi ·而陳述之 newti 與 newqi 與 unify 陳述之 t ι 或 q ι 。 額外的Η語言埴食 所有能夠存在的行為均可Μ根據上述系統描述·但程式 可能極大•為了處理此一情況•進一步的語言構念可以插 入*該等語言構念中最重要的為symb、lambda與apply。 對Η語言有用的合語法可包括下列語法陳述： tLQJi_L( v ) , delta , per i od ( v ) . de 1 t a t, par ( list), s_e_g_( l i s t ) , ’ a 1 t ( list), ' r ο n ( list), ’ p r i ( list), ’ lambda ( list), ’ h i d e ( list), ' s v m b ( list),
•DP 55 本紙張尺度边用中Η國家樣準(CNS)甲4規格(2丨0X297公:¢) 先 閲 it 背 Φ 之 注 意 .事 項 再 本 頁 裝 π 線 199213 Λ 6 Β6 經濟部屮央栉芈工消费合作社印製 五、發明説明（54) - '» η i f ν (list) , ' s e t (list). ' auB^_l_x_( list). a 1 t ( list), nothing, p q n ( list) , p r i ( list), ij n i f γ f list) , 1 a b d a ( list) . h i d e ( list), set ( Ί i s t)， a dp 1 v (list), svb (list), d i s αχ-.( n ) , pu l.SL&a (n ), 其中諸語法陳述係雔存格内型式檷位中M被碼型式存在之 運算子（operator)。 故各陳述各為齡存在一目的雠存格中之陳述的理算子， 且（list)中的各元件均係表示一行為的串列元件，η係一 整數而ν為一實數，各元件均係可儲存在儲存格内齡存檷 位而包括該串列所臑之該陳述。 陳述c ο n t ( ν) —其中ν係一實數一代表一沿著長度為ν 的距離具有無數個極小行為之空間量。陳述B6r iod ( V )— 其中V係--實數一代表一在期間為V的時段期間内具有 無數儸極短行為之捋續時間？ 陳述d e丄-U·代表一具有在空間中呈原子延伸且具有一不 定持續時間之行為。陳述delta"代表一具有在時間中圼原 子延伸且具有一不定空間延伸之行為。 作為合成绀的睡诚昼 在空間中的一整數延伸可以下列方式被埸碼為d e丨t a的 P i UL : 〇=p a r () 1 = par(delta) (請先閱讀背面之注意事項再填寫本頁) 裝- .1Γ. 線· f DP 56 本紙沒尺度边用中國國家標準（CNS)甲4規格（210父297公茇） 199213 Λ 6 Β6 五、發明説明（55) * . 2 = par(delta delta) 5 = par(delta delta delta delta delta) etc 在時間中的一整數延伸可M相同方式被編碼為delta的 p a 故一整數（discrU))被想像為 平坦合成姐。 最的一非常重要用途係作為一dJi 原子單元delta類的 i作業中的元件*在 此作業中，諸量被用Μ指示時間與空間二者，故對應至 delta被稱為 de 1 tat的時間被使用。 delta係在空間中呈原子狀而在時間中不定 deltat偽在空間中不定而在時間中呈原子狀 上述諸陳述被Μ與語法陳述相同方式於目的儲存體内。 作為”謀言”夕耜式•旦有 (請先閱讀背面之注意事項再填寫本頁) 裝. 訂_ 線- 部 屮 央 並 ΐί 工 消 ft·， 合 作 印 製 機器將所有插入的陳述幾乎立刻精簡至其值，例如下列 陳述 a p p a ν ( + p a r ( 2 4 )) 被直接精PS為值6 ，此使得一程式一旦被安裝時即可能存 収之，有可能將其打散成許多部份並計算該諸部份。 為能進行此種演算，Η介绍平行於基礎語言之被動體· 其被稱為 程式形式，其係正規者故而存在•故其可被打
DP 57 本紙掁尺度逍用中國國家標準（CNS)甲4規格（210x297公；!I：) 199313 Λ 6 Β6 經濟部.屮央梏毕X,I::X工消從合作社印!il 五、發明説明（％ - 散成小部份。 一加法倒向（plusrevarg) 功能可以下列方式界定： unify ( s V a b (plusrevarg) lambda (p ar (y X) ' apply (+ par (x y))) 對應上述程式之程式形式，lapply (+ uil (2 4))給我們 次序相反的加法姐引數，(4 2)。 為將一被雔存之程式形式轉換為對應程式，使用了一棵 準功能eval，如此使程式被裡製然後將”虛影” （blips )拿掉，然後該程式被進一步自然地精簡為其值。 apply (svmb(eval) 'apply (+ p a r ( 2 4)))= a d d1v ( + ( 2 4)))=6 將程式形式分解之可能性使"推論” （reason over) 程式簡單，且此讓使用具有Η語言為其基礎語言的機器撰 寫其他任何棰類語言的翻譯器或編譯器之事簡單。 一般而言，所有的建構元件（例如delta par >均有一 Μ ’起首之第二形式為一棰語句元件（冽如'dPi t.a、 lp-5-Γ.) Μ標示該形式為一程式形式，謓持別注意僅實際構 念而非整涸樹狀结構為一程式形式，若要標示一整個樹狀 结構為程式形式則所有的構念均須被標Μ ’ 〇 若一程式形式（帶有一 ’)内的串列包括nothing，則 陳述將被轉換為nothing ° (請先閱讀背面之注意事項再填寫本頁) _I_W_ DP 58 本蚊悵尺度边用中a國家標準(C N S)甲4規格（210 X 297公垃） 199^13 Λ 6 Β6 五、發明説明（57) m w. w ^ 諸如sqr之界定等用Μ賦予定義所需之櫬制已途述於前 文·但仍需一櫬制Μ形成一由諸小定義结合而成的程式. 我們希望建立一具有許多轜肋定義的主陳述之程式，此係 播助〇i!L( 1 ist)完成。
Con構念包含一可見值v及_個不可見值 一介於1與η間的整數。 其中i係 i 先 閲 讀 背 面 之 注 意 事 項 再 Λ % 本 頁 c ο n ( v e 1 e 2 e 3 ... 此構念具有等於第一元件V之值·〇但若.該串列係一空串列 或該串列之任一元件為g.Q_th LJ1K ，則C 〇 η值為nothing 。 串列之所有元件在同士範销内，故不可見諸元件可被用作 限_ 一或則束缚諸值為諸自由變數、或則單一化諸值為 nothing ^ C ο η之重寫規則為： 經濟部屮央標準杓W工消赀合作杜印製 體 存 儲 動 主 於 介 為 a 内 亦 般 則 規 有 所 如 glc 規 此 中 mV 與 3
P D 本紙張尺度通用中國Η家標準(CNS) Ή規格（210 X 297公授) 199213 Λ 6 Β 6 五、發明説明（58 ) 央控制單元CU間之脚结。 經濟部屮央榀準;;IU工消价合作社印31 上述諸構念中無一可被用以表示若有某一其他構念為無 效（即為nothing )則該構念為有效•由於”負面”陳述 有時較”正”面陳述更精簡，故一”負面”陳述之構念 Ex丄被加上。 E_cJ_之精簡規則係使得一 之值為第一個異於 η 〇 t h ί η κ的元件，若此一元件不存在，則該ΕχΧ將為空白 nothing > 故： Pri (nothing nothing 9 nothing 7 8 ) = 9 建構bjJJ ei e2)可被以下列方式編譯：gei無效則使用 e 2 0 _ 構念類似於aJ_k構念_•其係一組行為•但在一 中，諸行為係有順序的姐，即第一行為係串列中的第一個 、第二行為係串列中的第二個等等。 請特別注意丄構念與用於傳统語言與機器中作程序處 理的優先順序覿念完全無共通處，丄不同地被用以藉誤 失而執行負面陳述。 P r i之重規則為： p r i ( ) — > η o t h i n g nothing. ..nothingn) — > η o t h i n g p r i (nothing...noth ingi<-i e k . . . e n ) ~ > e κ DP 60 本紙張尺度边用中國困家標準（CNS)甲4規格（210 X297公；Ji：) (請先閱讀背面之注意事項再填寫本頁) 裝. c 199213 Λ 6 Β6 五、發明説明（59) :¾濟部中央槛準;';JU工消货合作杜印製 艇雄規Β丨丨（Spodp ru丨esl 一範《係一文字環«•在該文字瓖《中相同符號之所有 事件代表相同的語意fi «，一範醺規則說明一特定構念是 否一及如何一導入一新範_。Η語言具有下列諸範_規則 L p a r . s e q , @與u n i f y等構念不等入一新範嗔。 此意指一述内相同符號之所有事件代表相同個體。 2_ LajLiLda_構念（代換棋式）導入一新附屬範鑲，規則内未 在上階範_中提及的所有符號事件颺於新範轉。 a hiilsJ凍述）構念導入一全新的範@，hide嫌念規則中無 一符號事件代表環鏡hide構念之構念規則中相同符號之相 同個賭。 - Hide 當很大的程式產生時，其需要在不同的意義下使用相同 符讀’此可藉導人隔離（isolated)範镇的構念（hide)達 成。 隱藏（h i d ί n s )非常重要的覲念主要被以隔離一目的之使 用與特定目的的定義，根據本發明之電腦裝置的使用者可 在程式包、工具庫，與執行觀念中發規此觀念。 Η語言界定隱藏構念b,.Lde,( e)，其界定一行為，使用於 此構念内外之自由變數被分敗開一即它們彼此看不到，Η 語言的種機能異於其他種一般输出一資料型態與數個符號 (請先閲讀背面之注意事項再塡寫本頁) _· *
Dp ___- 61 - 衣紙張尺度通用中國a家榣準(〇^)甲4規格⑵0χ297公釐） 199 <> Λ6 B6 五、發明説明（60) 名稱的語言，埴些名稱不能使用於程式包內部，此意味鳌 ®符號範圃興實地是對所有程式包一致而在它們的内部之 全部集合或有限集合中為可見者。 · 一禰準的程式包係以下列方式指定： laabda(a_pkg $ $ ). h i d e ( . . . local implementation...);其界定一規則，該規則的型式以 a-Pkg故始而其餘的未界定。此僅係一規則之定義，其中 規則替換元之本地符號為未知。 —工具庫（lidrary)係Η語言内使用一參數選擇一或 數個規則程式包，其可被以下列方式執行： h i ri p f 11 ( lambda "rule a".a-spec lambda M rule^bf, .b-spec rule n’’.n-spec)) (請先閱讀背面之注意事項再填寫本頁) _A_·_ 濟 部 山 k 工具庫係一包括諸規則之替代物，"rule a”之形式係 被用Μ選擇一程式a的規格，其可被界定為一任意溝念， 但其一般為一規則的摘要。 如上所述· Η語言其有一裡指定所需软镅工程覼念的簡 β方法•語言不必為此目的導人斯語言構念。 請注意隱藏構念僅影響及範蹈之鹵理· 工 消 合 社 印31
DP 62 本紙張尺度逍用中a Η家標準(CNS)甲4規格（210x297公龙） 199^13 Λ 6 Β6 五、發明説明（61) · 1 a mb da 陳述lajdLiaJe· ePl...eP„)係一規則表示元件ee代換 epi...etin ;其中 er 係一規則 lambda ( e· βρί,./βρη)而 該陳述3 Ρ Ρ 1 y ( er e，r*<cl...earac2 )係一應用*該應用在一 精籣作業中被e·替代一若各ePl以對應單一化一否 則該空白取代。 (請先閲讀背面之注意事項再填寫本頁) η 經濟部屮央標準AM工消费合作社印31 a ρ ρ 1 γϋ則之被執行將以下例說明。 節例3 —數字指令要執行，一數字指令可為+、—，来、/、 during等，引數跟随在指令之後，在本範例中將在—串列 中的諸數字間有一加法，該桷器對具有下列型式之aPPiy (applycation)進行精簡： apply(+list(l 2)) 該加法顯示於圖1 2 A ，其格程序體顥示於圖1 2 B ，圖1 2 A 與12B之標示與圖10A與10B相同故其本身即甚清楚。 如圖12C中所示，具有辦識器〖cU之格程序體被載入核 心格之主暫存器内而其辦識器與型式碼載入辦識器暫存器 内，數字指令（+>被標示為一指令，由於第二主暫存器之 内容被標示為一間接元件〇_B.e 〇.，其所連结之格程序體被以 裝. 線- r DP 63 本紙張尺度通用中國國家標準(CNS)甲4規格(210X297公垃) 199^13 Μ濟部屮央標準杓W工消贽合作社印31 Λ 6 _；_Β_6_ 五、發明説明（6¾ - 垂直方式戧入基礎暫存器内為一子階，此在圃12D中明顯 可見。 然後建構一串列、將第二主暫存器内之分齄值棟示為 dis.cx.、並將串列擴充值2檷示為型式碼檷位中的1 Ut。 如此做係因不論具有辦識器id2之串列包含2、3或4偃 元件，楗器均將進行相同作業。由於在所新串列中僅有一 元件，機器將檷示LLstM 一禰示代替，該檷示代表主暫存 器包含一為d i scr的值，此在圖12F中明顯可見。 然後一如圔12G所示般一主暫存器包括入一指令檷示（ + )與二個分難值，而此造成諸指令所儲存在的控制單元 控制數字ALU以執行該加法器指令並將該數字運算的结果 以一棵準值送至第一主暫存器。請注意型式碼位内的 apply欏示係表示進行一機能應用的檷示。然後结果值一 在本範例中為簡單值3 —被金面性地散佈以將辦識器idi 之每個件K此值代替。 蚩寫規刖 重寫規則指定相等的諸陳述，有一重寫指示目2合這些規 則，·當依照重寫指示時將會形成一較簡單的陳述。當陳述 不能被重寫成一較簡單的陳述時，其即為標準陳述。故根 减本發明之電腦裝置使用重寫則以將諸陳述重寫成較搮準 的形式。 如上述諸重寫規則外，中央控制單元c U亦茛現下列諸重 寫規則： (請先閲讀背面之注意事項再填寫本頁) 装 訂_ 線. D P 6 4 本紙ifc尺度边用中SS家標準（CHS)甲4規格（210x297公垃） 199213 Λ 6 Β6 五、發明説明（63) t y p e (ei. . .nothing. . .en) 述 由LJLJ陳 面LLJ的 th上至列 no示上串 S β •1 3Μ 之 件 元 諸 列 串 係 type ( e i . . . a 11 ( Ci...Ck)...en) 中 其 由 面 上 示 表 至 上 除
列 串 之 外 M (請先閲讀背面之注意事項再填寫本頁) 裝· ，可 述 陳 的 件 元 諸 U 歹 串 為 k 線. s ft t () s e t ( a ) 上 係 a 若 經濟部屮央標準，-工消赀合作社印!ii 由 的 中 — 列 史 述liIJ SLX_( 述Da 至 set ( alt ( e i . . . e n )) DP - 65 本紙張尺度逍用中國國家標準（CNS)甲4規格(210x297公犮） 述 陳 中 其 持 何 任 具 不 為 1992.13 Λ 6 Β6 五、發明説明（64) S Θ t ( 63.· · ·6η) lambda (alt e 1 · lambda ( e 1 · · ·e n h i d e ( a 1 t e 1 . . . e ； h i d e (e 1 . · · e n ) a p p I Y () apply ( a ) apply ( f a 1 t ( b 1 · bn)a2· · ·3: apply ( p a r ( bi. . .bn)az. . .a») a卫 p1v ( p a r ( bi. . ,bn)a2. . .a .¾ 濟 部 央 標 準 ί\ 工么、 社 印 製 別次序之諸元件而 e«...e»為經排序過之 諸元件。' -> set (c q n ( e1. . .e n)) -> sjs_t.(a 11 ( e 1 . . · e n )) -> &_ar ( e 1 · · . en ) -> s e t (a i t (e 1 . . . e n )) -> p a r ( e 1 ·…e n ) -> nothing -> e v a 1 » e t · ( e ) -> apply (eval — f (b 1· · *bn)32· · *3n) -> noth La g，若所有的b i 與 ai均係上述陳述串 列中由 p a r ( 1 i s t)至 * a p p 1 v ( 1 i s t)之陳述 * 且nftm或對i>l而 言有任一 a ! # b !。 b 1 *若所有的bi與ai均 係上述陳述串列中由 p a r ( l i s t )至 ’ a p p 1 v ( 1 i s t )之陳述， 且n=rri且對i >丨而 言所有的a i = b i。 (請先閱讀背面之注意事項再填寫本頁) _β_MR_
DP 66 本紙張尺度边用中囷S家標準（CNS)甲4規格（210x297公龙） 經濟部屮央標準工消fr合作社印製 i99213 Λ6 _；_._B6_ 五、發明説明（65) · - a p p I y ( s eg ( bi. . .bn)az. . .a«) -> nothing，若所有的 bi 與 at均係·上述陳述串 列中由Εϋ_( 1 i s t)至 'apply ( 1 i s t)之陳述， 且ntim或對i>l而 言有任一a ! ti b!。 apply ( s e g ( bi...bn)a2...a«) - > b_i_，若所有的 bi 與 ai 均 係上述陳述串列中由 p a r ( 1 ί s t)至 1 a p p 1 γ ( 1 ί s t > 之陳述， 且n=m且對丨 >丨而 言所有的ai=tM。 功能eva U ete將諸陳述由程式形式（即帶有’）轉換 成值形式（即無’），僅最高階结構的’被取掉。 e v a 1 meta 'type (a) - > type(a)其中 type代表上述串 列中由 par ( 1 i s t )上至 u n i f y ( 1 i s t )除 a ] t ( 1 i s t )以 外之陳述。 S-xmiL 包括一元件s且在精簡時被精簡成一標準陳述之陳述 SJOLbJ s )係一辦識器*該元件s可能已被儲存在屬於該目 的儲存體中不同儲存格之儲存檷位内•該儲存格被界定為 (請先閲讀背面之注意事項再填寫本頁) 裝. 訂- 線- ©ip - m - 本紙張尺度边用中國Η家標準（CNS)甲4規格（210 X 297公犮） 經濟部屮央標準杓U工消费合作社印製 199213 Λ6_;_Β6_ 五、發明説明（66) · 安置在範黷内•各範_内之所有辦識器s代表相同行為。 D1s π r . pulses 陳述discr (η)—其中η為一整數一代表一具有η個原子 式行為之平行行為。陳述 EJLija_^s_( η)—其中η為一轚數一 代表一 η個原子式行為之時間鍵。 下列諸重寫規則為規範： p a r (deltai. . ,deltan) — > discr(n) s e g(deltai. . .delta„) — > pulses(n) 一捶g皓16俐一箪二種方法 為示範如何使用延伸語法·在同一埠上交替讀寫之程式 可以一更簡潔方式存在。首先分離值1 · 2與3之方標示 sg「由下列儲存在目的儲存體1中樹狀程序體内的短程式 界定： unify(symb(sqr)alt(lambda(l 1 ) 1 a m b da_( 4 2 ) lambda t 9 3 ) 然後該”機器行為”可被寫成僅一 ^^作業： (請先閱讀背面之注意事項再填寫本頁) 裝- 訂- 線- DP - 68 本紙張尺度边用中国Η家樣準（CNS)甲4規格（210x297公龙） 199213 Λ 6 Β6 經濟部屮央標準rIu工消t合作社印31 五、發明説明（67) · seg (during (Is x)during(ls apply (s vmb (sqr) x ) (d u r i n g (1 s x)during(ls a p p 1 v (s y π b (sqr) x)...) 在執行期間此作乘將被重寫成上面所示的作樂一 即使此程式與鎗入資料同樣地畏。處理逋種作業的一種簡 潔方法係提供數個功能與檷準替化物於硬«中或作為與待 處理程式共同載入的软《8。 乘法（X)係一範例且藉助此欄準作業，值a的平方可被 寫成下列簡單程式： unify(symb(sqr) lanbda (symd (a) apply ^ x pay(symb(a) syed(a))))) 此程式可將所有由硬體界定之數平方。 此規則可被用以撰寫小型迴歸程式，該棰程式在根據精 簡規則重寫期間被展開至上述大型架構’硬》1使得不 必要的展開可被省略•此種做法宜利用申請中另外的案件 中之核心格完成。 具有槠會執行所述重寫規則並藉行為之箪一彳bW導引出 宣告式方法的電腦装置之行為係由明確指定經過時間次序 所指定*該時間性的敘述看來有些像一指示性語言 謂稈式争具可a忡 摘要語法甚簡單•但此使其不太具可讀性，為使程式可 DP 69 本紙張尺度逋用中SH家樣準(CNS)甲4規格（210x297公龙) (請先閱讀背面之注意事項再填窝本頁) 裝· 訂· -線. 199113 Λ6 B6 五、發明説明（58) 雜 裡 望 希 不 類 人 為 因 法 0 的 雜 複 較1 入 引。 茲西 -東 高的 提低 性太 讀性 字 文 - 有 其 地 然 自 很 成 完 法 方 同 不 多 ο 許式 以形 可形 換H 轉一 種與 此式 形 體值Μ 硬似 當類 或
元 位用 偁使 對躭 之後 值然 果。 结示 *指 計 査U 檢U1 如fa 譬ί - 誤 值錯 誤 I 錯有 ο· Ρ 即 得時 偵 I 得 使 則 規 簡 。精 述之 第 為 值 1 在 存 不 件 元： 1 為 此則 若規 . 寫 件重 元之Μ ^ 則 於白 異空 個為
(請先閱讀背面之注意事項再填寫本頁)- ， I 裝. > > 體 存 儲 動 主 為 " 内 被 樣 1 則 。 規物 有接 U=r 4nU 像之 則間 規元 些單 這制 控 與 3 敁濟部屮央標準·-^^工消赀合作社印製 ‘η — j
M 明 說 壶所 述 上 如 核 1 有 語 Η 法 現 表 棰 敝 有 言 語 Η 者 , 其 言 ’ 語 種 要 I 摘 的 棰 本 1 基 的 最 用 外 所 以 法 義 現 定 表 式 言 正 語 是 列：法 糸有現 一 法表 係現 ^ls bs表語 Ha言此 ’ 語 bs的 ΗΠ要 、,L5 Η
ρ D 本紙汝尺度逍用中国Η家標準(CNS)甲4規格(210x297公龙) α99?13 Λ 6 Β6 五、發明説明（69) 雖 請注 背離 明之 係 1, 此 表 而 表 讀 . 此 的 » 無 的 II 此 之 外 然本發 意可有 本發明 啟發而 完全宜 語言表 現之構 其结果 現法所 語法。 語言表 内建组 且無限 使用者 摘要語 種語言 字首檷 告式的•但其無使用者可讀語法。 現法是再Κ將霣腦裝置内硬體錯誤 念延伸者*此語言表現法非宣告式者， 係一推洒值。此表現法係所有其他語言 根據之根基語言表現法》其無使用者可 現法.是Hfeult再 與作為數字和结 替代亦被包括在 可讀語法•此棰 言0 表示法採用普通 Μ作跨整數及實數數學 構數學的邐算子延伸者 内，Hue_r*語言表現法 表現法係使用者看得見 a s c ί i字元與所有語法 不一除了使用插入語法之最普通陳述以 明被參照特定具體實例 許多改赛而且其中許多 之真實精神與範sa，此 作修改。 描述，精於此種技術者 元件可以相當取代而不 外亦可能在不背離本發 η 先 閲 讀 背 面 之 注 項 再 填 寫 本 頁 裝 經濟部屮央標準工消费合作社印製
P D 11 7 本紙乐尺度逍用中a a家標準(CNS)甲4規格(210X297公垃) 豐