yacc

Question

में लिस्प व्याकरण मैं एक लिस्प व्याकरण बनाने की कोशिश कर रहा हूं। आसान, सही? जाहिरा तौर पर नहीं।

मैं के रूप में पास के रूप में मैं बता सकता हूँ इन इनपुट प्रस्तुत करते हैं और त्रुटियों का सामना करना ...

(1 1) 
23 23 23 
ui ui 

यह व्याकरण है ...

%% 
sexpr: atom     {printf("matched sexpr\n");} 
    | list 
    ; 
list: '(' members ')'  {printf("matched list\n");} 
    | '('')'    {printf("matched empty list\n");} 
    ; 
members: sexpr    {printf("members 1\n");} 
    | sexpr members   {printf("members 2\n");} 
    ; 
atom: ID     {printf("ID\n");} 
    | NUM     {printf("NUM\n");} 
    | STR     {printf("STR\n");} 
    ; 
%% 

, मैं एक गैर टर्मिनल परिभाषित की जरूरत है एक कार्यक्रम के रूप में, जिस पर पूरा पार्स पेड़ लटका सकता है। लेकिन मैंने कोशिश की और यह काम नहीं कर रहा था। -

संपादित करें यह मेरी "शीर्ष टर्मिनल" दृष्टिकोण था:

program: slist; 

slist: slist sexpr | sexpr; 

लेकिन यह इस तरह के रूप समस्याओं अनुमति देता है:

(1 1 

EDIT2: FLEX कोड है ...

%{ 
    #include <stdio.h> 
    #include "a.yacc.tab.h" 
    int linenumber; 
    extern int yylval; 
%} 
%% 
\n       { linenumber++; } 
[0-9]+      { yylval = atoi(yytext); return NUM; } 
\"[^\"\n]*\"    { return STR; } 
[a-zA-Z][a-zA-Z0-9]*  { return ID; } 
. 
%% 

से अधिक मिलान का एक उदाहरण ...

(1 1 1) 
NUM 
matched sexpr 
NUM 
matched sexpr 
NUM 
matched sexpr 
(1 1 
NUM 
matched sexpr 
NUM 
matched sexpr 

यहां क्या त्रुटि है?

संपादित करें: त्रुटि lexer में थी।

Answer 1

त्रुटि वास्तव में लेक्सर में है। आपके कोष्ठक आखिरी "।" के रूप में समाप्त होते हैं। लेक्सर में, और पार्सर में कोष्ठक के रूप में दिखाई नहीं देते हैं।

नियम की तरह

\)  { return RPAREN; } 
\( { return LPAREN; } 

lexer को

और पार्सर में क्रमशः LPAREN और RPAREN करने के सभी आवृत्तियां '(', ')' को बदलने के जोड़ें। (साथ ही, आपको # टोकन और रेफर करें जहां आप अपनी टोकन सूची को परिभाषित करते हैं)

नोट: मुझे वाक्यविन्यास के बारे में निश्चित नहीं है, बैकस्लैश गलत हो सकता है।

Answer 2

आपको लगता है कि आप एक गैर टर्मिनल परिभाषित करने की जरूरत में सही हैं। यह sexpr के एक सेट के रूप में परिभाषित किया जाएगा। मुझे इसके लिए वाईएसीसी वाक्यविन्यास का यकीन नहीं है। मैं पार्सर जनरेटर के लिए ANTLR को आंशिक हूँ और वाक्य रचना होगा:

program: sexpr* 

0 या अधिक sexpr का संकेत है।

YACC वाक्य रचना के साथ अद्यतन:

program : /* empty */ 
     | program sexpr 
     ; 

नहीं YACC में

, लेकिन वैसे भी उपयोगी हो सकता है, यहाँ ANTLR v3 में एक पूर्ण व्याकरण कि मामलों आप वर्णित (lexer में शामिल नहीं स्ट्रिंग्स के लिए काम करता है, क्योंकि यह महत्वपूर्ण नहीं है इस उदाहरण के लिए, यह भी सी # कंसोल उत्पादन का उपयोग करता है, क्योंकि जो मैं इसके साथ परीक्षण किया है कि):

program: (sexpr)*; 

sexpr: list 
    | atom   {Console.WriteLine("matched sexpr");} 
    ; 

list:  
    '('')'    {Console.WriteLine("matched empty list");} 
    | '(' members ')' {Console.WriteLine("matched list");} 

    ; 

members: (sexpr)+  {Console.WriteLine("members 1");}; 

atom: Id    {Console.WriteLine("ID");} 
    | Num    {Console.WriteLine("NUM");} 
    ; 


Num: ('0' .. '9')+; 
Id: ('a' .. 'z' | 'A' .. 'Z')+; 
Whitespace : (' ' | '\r' '\n' | '\n' | '\t') {Skip();}; 

यह ठीक से काम नहीं करेगा के रूप में YACC में है क्योंकि YACC उत्पन्न करता है और LALR पार्सर जबकि ANTLR एक संशोधित पुनरावर्ती वंश है। यदि आप उस तरह से जाना चाहते हैं तो एएनटीएलआर के लिए सी/सी ++ आउटपुट लक्ष्य है।

Answer 3

यह एक लंबे समय के बाद से मैं YACC के साथ काम किया गया है, लेकिन आप एक उच्च-स्तरीय गैर टर्मिनल की आवश्यकता है। क्या आप "कोशिश की" और "यह काम नहीं कर रहा" के बारे में अधिक विशिष्ट हो सकता है? या, उस मामले के लिए, त्रुटियां क्या हैं?

मैं भी संदेह होता है कि YACC इस तरह के एक वाक्य रचना की रोशनी भाषा के लिए overkill हो सकता है। कुछ आसान (रिकर्सिव वंश की तरह) बेहतर काम कर सकता है।

Answer 4

लिस्प व्याकरण विषय से मुक्त व्याकरण के रूप में प्रतिनिधित्व नहीं किया जा सकता है, और याक सभी तुतलाना कोड पार्स नहीं कर सकता। यह पढ़ने-मूल्यांकन और प्रोग्राम करने योग्य पाठक जैसे लिस्प सुविधाओं की वजह से है। तो, बस एक मनमाने ढंग से लिस्प कोड पढ़ने के लिए, आपको एक पूर्ण lisp चलाना होगा। यह कुछ अस्पष्ट, गैर-उपयोग की गई विशेषता नहीं है, लेकिन वास्तव में इसका उपयोग किया जाता है। उदा। सीएल-इंटरपोल, सीएल-एसक्यूएल।

यदि लक्ष्य lisp के उप-समूह को पार्स करना है, तो प्रोग्राम टेक्स्ट sexprs का अनुक्रम है।

Answer 5

आप this grammar here को आजमा सकते हैं।

Answer 6

क्या आपको वाकई एक yacc/bison पार्सर की आवश्यकता है? ए "लिस्प सिंटैक्स का सबसेट पढ़ता है" पाठक सी में लागू करना मुश्किल नहीं है (read_sexpr फ़ंक्शन के साथ शुरू करें, जब आप '(' देखते हैं, तो एक read_list पर प्रेषित करें, जो बदले में ') 'देखा जाता है; अन्यथा, एक read_atom को कॉल करें जो परमाणु एकत्र करता है और इसे तब लौटाता है जब यह अब परमाणु-घटक वर्ण नहीं पढ़ सकता)।

हालांकि, अगर आप आर्बिटरी कॉमन लिस्प को पढ़ने में सक्षम होना चाहते हैं, तो आपको एक सामान्य लिस्प को लागू करने के लिए (सबसे खराब) की आवश्यकता होगी, क्योंकि सीएल पाठक रन-टाइम को संशोधित कर सकता है (और यहां तक ​​कि विभिन्न पढ़ने- प्रोग्राम नियंत्रण के तहत तालिकाओं का समय; काफी आसान जब आप किसी अन्य भाषा या लिस्प की बोली में लिखे गए कोड को लोड करना चाहते हैं)।

Answer 7

मैं सिर्फ यह कोशिश की, मेरी "याक तुतलाना व्याकरण" ठीक काम करता है:

%start exprs 

exprs: 
    | exprs expr 
    /// if you prefer right recursion : 
    /// | expr exprs 
    ; 

list: 
    '(' exprs ')' 
    ; 

expr: 
    atom 
    | list 
    ; 

atom: 
    IDENTIFIER 
    | CONSTANT 
    | NIL 
    | '+' 
    | '-' 
    | '*' 
    | '^' 
    | '/' 
    ;