Kazuhito Ohmaki;佐托鲁富村;井上,Katsuro;伊藤忠雄;伊藤庆一;Koji Torii公司 术语:方程式语言的并行可执行图形约简机。 (英语) Zbl 0681.68035号 并行计算。 11,第1期,第1-16页(1989年). 摘要:我们设计并实现了一台名为TERM的机器,以便并行执行等式语言。方程语言是基于方程逻辑的非过程语言,是逻辑、代数和函数编程语言的典型计算模型。为了快速执行等式语言,提出了两种硬件系统。一个是字符串约简类型,另一个是图形约简类型。字符串缩减类型更容易实现,图形缩减类型执行速度更快。TERM使用后一种方法。我们开发了一个用于执行等式语言的程序CCM(同余闭包方法)。CCM将等式语言的程序转换为图形结构。然后,它寻找适用的方程,并并行地重写这个图。TERM是CCM的一种实现,它使用交叉开关网络来表示图形结构。TERM可以执行CCM中设想的部分并行性。我们展示了TERM和CCM的优点和缺点。 MSC公司: 68N25号 操作系统理论 68瓦30 符号计算和代数计算 03C05号机组 模型理论中的方程类、泛代数 68N99型 软件理论 03年3月 星期四和邮政系统等。 关键词:图形还原机TERM;TERM的实施特点;并行执行;等式语言;非程序语言;等式逻辑;计算模型;CCM(中央控制模块);同余闭包方法 PDF格式BibTeX公司 XML格式引用 \textit{K.Ohmaki}等人,《并行计算》。11,No.1,1--16(1989;Zbl 0681.68035) 全文: 内政部