標題: | A classification of noncircular attribute grammars based on the look-ahead behavior |
作者: | Yang, W 資訊工程學系 Department of Computer Science |
關鍵字: | attribute grammars;noncircular attribute grammars;ordered attribute grammars;pure multivisit attribute grammars;simple multivisit attribute grammars;well-defined attribute grammars;grammar classification |
公開日期: | 1-三月-2002 |
摘要: | We propose a family of static evaluators for subclasses of the well-defined (i.e., noncircular) attribute grammars. These evaluators augment the evaluator for the absolutely noncircular attribute grammars with look-ahead behaviors. Because this family covers exactly the set of all well-defined attribute grammars, well-defined attribute grammars may be classified into a hierarchy, called the NC hierarchy, according to their evaluators in the family. The location of a noncircular attribute grammar in the NC hierarchy is an intrinsic property of the grammar. The NC hierarchy confirms a result of Riis and Skyum, which says that all well-defined attribute grammars allow a (static) pure multivisit evaluator by actually constructing such an evaluator. We also show that, for any finite m, an NC(m) attribute grammar can be transformed to an equivalent NC(0) grammar. |
URI: | http://dx.doi.org/10.1109/32.991318 http://hdl.handle.net/11536/28996 |
ISSN: | 0098-5589 |
DOI: | 10.1109/32.991318 |
期刊: | IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
Volume: | 28 |
Issue: | 3 |
起始頁: | 210 |
結束頁: | 227 |
顯示於類別: | 期刊論文 |