(3.230.76.48) 您好!臺灣時間:2021/04/13 15:52
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果

詳目顯示:::

我願授權國圖
: 
twitterline
研究生:鄭文章
研究生(外文):Cheng, Wen-Chang
論文名稱:一類擴大的多項式時間之有序屬性文法
論文名稱(外文):A Polynomial-Time Extension to Ordered Attribute Grammars
指導教授:楊武楊武引用關係
指導教授(外文):Wuu Yang
學位類別:碩士
校院名稱:國立交通大學
系所名稱:資訊科學學系
學門:工程學門
學類:電資工程學類
論文種類:學術論文
論文出版年:1996
畢業學年度:84
語文別:中文
論文頁數:47
中文關鍵詞:多項式時間有序屬性文法生命週期暫時性屬性全域性堆疊
外文關鍵詞:polynomial-timeordered attribute grammarslifetimetemporary attributeglobal stack
相關次數:
  • 被引用被引用:0
  • 點閱點閱:105
  • 評分評分:系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔
  • 下載下載:0
  • 收藏至我的研究室書目清單書目收藏:0
屬性文法是用來表示程式語言語意的一個標準。本論文探討一類擴大的有
序屬性文法,我們稱為EOAG。在Kastens的有序屬性文法中,藉由增加介
於符號屬性間的相關性,使得屬性文法不具有任何的循環迴圈,其計算所
需時間為多項式時間;我們所提出的EOAG,是將Kanstens有序屬性文法的
演算法加以改進,其時間所需仍為多項式時間;這類屬性文法其範圍介於
有序屬性文法和線性有序屬性文法之間。其次探討屬性的儲存空間,針對
屬性的生命週期發生重疊,以致無法利用堆疊裝置來儲存;在此我們利用
一暫時性的屬性,來改進重疊現象,促使屬性能夠利用堆疊裝置來儲存。

Attribute grammars are a formalism for specifying semantics of
programming languages. Kenstens proposes the class of ordered
attribute grammars, for which there is a polynomial-time
procedure to find an evaluation order. We extend the class of
ordered attribute grammars by improving Kanstens's algorithm.
The new class of attribute grammars is strictly larger than the
class of ordered attribute grammars and it retains the property
that there is a polynomial-time procedure to find an evaluation
order. Reduction of attribute storage is a vital requirement for
practical attribute evaluators. There are four conditions under
which the instances of an attribute cannot be stored on a stack.
We use temporary attributes to change the lifetimes of
attributes, in order to invalidate the four conditions. The
introduction of temporary attributes makes it possible to store
certain attributes on a global stack.

QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top
系統版面圖檔 系統版面圖檔