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

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

• 批准号: 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（待提交）。