《一種全新的時態邏輯框架的研究》是依託上海交通大學，由沈恩紹擔任項目負責人的面上項目。
基本介紹
- 中文名：一種全新的時態邏輯框架的研究
- 項目類別：面上項目
- 項目負責人：沈恩紹
- 依託單位：上海交通大學
- 批准號：69673009
- 申請代碼：F0201
- 負責人職稱：教授
- 研究期限：1997-01-01 至 1999-12-31
- 支持經費：9（萬元）
項目摘要
將目前流行的研究二維picture語言的(2×2)tiling系統改造成等價的(1×1)stencil系統，進而可引入Grid自動機概念（取代目前的一種細胞自動機式的操作語義），及相應的生成文法—Grid文法，彌補了Giammarresi-Reotivo的等價性定理中的一個缺環；提出了一個新的可識別的picture語言的等價性定理。Grid自動機及Grid文法中的採用的機動的並發控制機制，可以pictures被視為一種特殊的（有限）二元樹，且grid自動機也更相似於binary的tree自動機，且可進一步拓廣到三維或更高維的場合。
