ridm@nrct.go.th   ระบบคลังข้อมูลงานวิจัยไทย   รายการโปรดที่คุณเลือกไว้

Completeness Conditions for Mixed Strategy Bidirectional Parsing

หน่วยงาน Edinburgh Research Archive, United Kingdom

รายละเอียด

ชื่อเรื่อง : Completeness Conditions for Mixed Strategy Bidirectional Parsing
นักวิจัย : Ritchie, Graeme
คำค้น : Informatics
หน่วยงาน : Edinburgh Research Archive, United Kingdom
ผู้ร่วมงาน : -
ปีพิมพ์ : 2543
อ้างอิง : http://hdl.handle.net/1842/3465
ที่มา : -
ความเชี่ยวชาญ : -
ความสัมพันธ์ : Informatics Report Series , EDI-INF-RR-0021
ขอบเขตของเนื้อหา : -
บทคัดย่อ/คำอธิบาย :

It has been suggested that, in certain circumstances, it might be useful for a grammar-writer to annotate which rules are to be used bottom-up and which are to be used top-down within a parser, using a bidirectional variant of the active chart parsing technique. The formal properties of such systems have not been fully explored. One limitation of this mixed strategy technique is that certain annotations of rules can lead to incompleteness; that is, there may be valid analyses of the input string which cannot be found by the parser. We formalise a fairly natural notion of mixed strategy bidirectional parsing for context free grammars, in which one or more symbols within a rule may be annotated as ``triggers'' so that the rule is either top-down (triggered from its left-hand side), or bottom-up (triggered from element(s) of its right-hand side). We define a decidable property of annotated grammars, such that any grammar with this property is provably complete. There are, however, some complete annotations of grammars which fall outside this decidable class. We show that membership of this wider class is undecidable. These results suggest that the mixed strategy approach is of rather limited usefulness, regardless of whether it is empirically efficient or not.

บรรณานุกรม :
Ritchie, Graeme . (2543). Completeness Conditions for Mixed Strategy Bidirectional Parsing.
    กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom .
Ritchie, Graeme . 2543. "Completeness Conditions for Mixed Strategy Bidirectional Parsing".
    กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom .
Ritchie, Graeme . "Completeness Conditions for Mixed Strategy Bidirectional Parsing."
    กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2543. Print.
Ritchie, Graeme . Completeness Conditions for Mixed Strategy Bidirectional Parsing. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2543.