書き換えシステムに基づく発展的プログラミングの研究

基于重写系统的进化规划研究

• 批准号: 10139214
• 负责人: 外山 芳人
• 金额: $ 1.02万
• 依托单位: Japan Advanced Institute of Science and Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas (A)
• 财政年份: 1998
• 资助国家: 日本
• 起止时间: 1998 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-10139214/
• 关键词: 項書き換えシステム; 停止性; 決定可能性; 高階システム

プログラムの漸増的な発展過程で保存される性質を明らかにするため、書き換えシステムの変形、高階化で保存される性質の理論的解析を中心に研究を進め、以下の成果を得た。1. 木持ち上げ順序による停止性判定従来提案されていた削除法による停止性判定手法を発展させ、新しく木持ち上げ順序による停止性の判定手法を提案した。さらに、この手法が複数の項書き換えシステムの組み合せの解析にも有効であることを示した。2. 高階システムの停止条件従来提案されていた再帰分解順序を拡張し、高階項書き換えシステムの停止性手法として適用可能であることを明らかにした。さらに、高階システムに対する単純化順序の定式化を行ない、高階システムの停止条件の統一的な枠組みを与えることに成功した。3. グローイング項書き換えシステムの決定性左線形なグローイング項書き換えシステムの決定性問題を解析し、到達可能性が決定可能となることを明らかにした。

为了阐明该计划逐渐发展过程中存储的属性，研究的重点是重写系统的变形以及对高层化保留的属性的理论分析，并获得了以下结果。 1。通过木制上升顺序确定，这是由过去提出的《删除法》制定的，并在木制上升的种子中提出了一种新的停工方法。此外，该方法还有效地分析了多个重写系统的组合。 2。高地板悬架条件显示，已提出的递归分解顺序已扩展，并且可以用作高地板子句的重写系统的悬架方法。此外，建立了简化为高地板系统的制定，并成功地将高层系统悬挂的统一框架成功。 3。发光子句，确定左 - 线形状的发光子句被分析了发光子句系统的确定性问题，并可以确定达到的可能性。

项目成果

M.Iwami: "An Improved recursive decomposition ordering for higher-oder rewriting systems" IEICE TRANS.INF.& SYST.E81-D-9. 988-996 (1998)

M.Iwami：“高阶重写系统的改进递归分解排序”IEICE TRANS.INF。

T.Nagaya: "Index reduction of overlapping strongly sequential systems" IEICE TRANS.INF.& SYST.E81-D-5. 419-426 (1998)

T.Nagaya：“重叠强顺序系统的索引减少”IEICE TRANS.INF。

M.Sakai: "Semantics and strong sequentiality of priority term rewriting systems" Theoretical Comput.Sci.208. 87-110 (1998)

M.Sakai：“优先术语重写系统的语义和强顺序性”Theoretical Comput.Sci.208。

T.Nagaya: "Decidability for left-limear growing term rewriting systems" Lecture Notes in Comput.Sci.(発表予定). (1999)

T.Nagaya：“左线性增长术语重写系统的可判定性”Comput.Sci 讲义（待发表）。

M.Iwami: "Simplification ordering for higher-order rewrite systems" Trans.of IPS of Japan. (発表予定).

M.Iwami：“高阶重写系统的简化排序”，日本 Trans.of IPS（待提交）。