高科技啊。。 樓主牛13  回復(fù)  更多評論
  

牛人！  回復(fù)  更多評論
  

好東西.  回復(fù)  更多評論
  

請教樓主一個問題。既然語法分析里的lr1算法那么好用，為什么編譯原理每一本教科書里都還保留著ll(1)的內(nèi)容。是不是ll(1)在實(shí)際應(yīng)用中有比lr(1)優(yōu)勢的地方。還是僅僅是它比較適合初學(xué)者學(xué)習(xí)，而在實(shí)際應(yīng)用中與lr比較一無是處？到底有沒有從ll(1)開始學(xué)習(xí)的必要？  回復(fù)  更多評論
  

@ooseven
你不認(rèn)為這樣做理解會深刻一點(diǎn)么  回復(fù)  更多評論
  

請問博主，這個自動機(jī)是lair(1)? , 它是在編譯期生成還是在執(zhí)行期呢？
boost::spirit是在編譯期生成還是在執(zhí)行器呢？先謝謝了。  回復(fù)  更多評論
  

呵呵，我把博主當(dāng)成老師了，沒辦法水平比較差，請老師多多包涵。我還有一個問題。正則語法中大部分操作的意思與ebnf或abnf的意思是一樣的，不知道為什么ebnf或abnf要標(biāo)新立異？
比如正則文法中的 *, + ,{ 、}, ?
分別可對應(yīng)于上下文無關(guān)文法中的:
元素* = {元素}
元素+ = 元素,{元素}
元素{1,2} = ebnf沒有相對應(yīng)，abnf中有 1*2元素
元素? = [元素]

二者的文法所表達(dá)的意思完全一樣，但是形式不統(tǒng)一，給開發(fā)分析器的同學(xué)增加了工作量。我想問的是這么做有什么原因嗎？  回復(fù)  更多評論
  

歷史原因  回復(fù)  更多評論
  

你很強(qiáng)我佩服你，但是你能不能不用unicode編碼。vc6完全打不開。  回復(fù)  更多評論
  

@dingding
不能  回復(fù)  更多評論
  

陳梓瀚兄還沒解答我的問題呢，你這個分析器的自動機(jī)是用元編程于編譯期生成的還是在執(zhí)行期才生成呢？  回復(fù)  更多評論
  

@林林
大部分編譯期生成，循環(huán)嵌套的由執(zhí)行期生成并做垃圾收集。  回復(fù)  更多評論
  

陳大俠好：
請教大俠一個問題，我已經(jīng)完成了一個初級可用的LALR(1)語法分析引擎，里面包含了詞法分析，并且設(shè)計(jì)了ide界面。正在爽的時候，卻被一個不起眼的小問題給難到了。就是當(dāng)發(fā)現(xiàn)錯誤的時候，如何實(shí)時的與窗口界面交互？一般來說編譯器都允許出現(xiàn)錯誤的情況下繼續(xù)編譯，如果在dos的界面下就簡單了，一個printf語句就解決問題，但在窗口下就麻煩了。如果直接向窗口發(fā)送消息，就會引起引擎與界面代碼混在一起的引起人們詬病的設(shè)計(jì)，如果用throw那么就只允許發(fā)生一次錯誤。如果這樣的話，那錯誤恢復(fù)策略就白做了！，不知道有沒有什么好的解決方案啊！
感謝您白忙之中的恢復(fù)
敬禮！
2009/08/01
來自廈門。  回復(fù)  更多評論
  

@ooseven
用Observer模式  回復(fù)  更多評論
  

Observer模式！馬上去學(xué)習(xí)，謝謝大俠！  回復(fù)  更多評論
  

看了一下observer模式，其實(shí)沒什么稀奇，我以前做的工程中就實(shí)現(xiàn)了這種思路，只不過不知道這就是observer模式。但是，這種模式不適合作為語法分析引擎與ide的交互吧？
三個理由：
1、還是要包含窗口句柄，只不過改到一個單獨(dú)的類里的觀測者鏈表中。
2、語法分析引擎不需要同時與多個窗口交互，只需要與一個窗口交互就
夠了。
3、還是免不了sendmessge，而ide要注冊這個自定義的message,然后在
這個消息里接收。
耦合得太厲害了，用了observer后簡直就是變本加厲！
不過我倒是在網(wǎng)上看到了一種方案，就是ide端通過創(chuàng)建一線程，在線程里創(chuàng)建命名管道監(jiān)聽stderr，從而達(dá)到實(shí)時接收引擎消息的目的。這種方式雖然在ide端工作量不小，但由于其通用性強(qiáng)，可以封裝成一個類。更主要的是引擎端根本就直接printf 到stderr就行了。
到目前為止，這是我覺得的最好的方案了，不知道還有沒有更好的方案！  回復(fù)  更多評論
  

@ooseven
難道監(jiān)聽stderr就不是observer？  回復(fù)  更多評論
  

@陳梓瀚(vczh)
observer不是處理一個消息源對多個訂閱者發(fā)行的關(guān)系模型嗎?,多個訂閱者一起預(yù)約，一旦有消息發(fā)生，就通知全部的訂閱者。可是，我這里只有一個窗口需要得到引擎的stderr消息啊?  回復(fù)  更多評論
  

@林林
不要搞教條主義和本本主義。  回復(fù)  更多評論
  

請教陳兄一個問題：
邏輯表達(dá)式結(jié)合算術(shù)表達(dá)式的bnf怎么寫啊，我寫的怎么都有沖突！
要實(shí)現(xiàn)的功能很簡單：
實(shí)現(xiàn):
1、 a+1>0 Or b*10
2、 a*9>0 Or b
第一條語句的bnf沒問題，問題在于當(dāng)?shù)诙l語句的bnf加進(jìn)去的時候出現(xiàn)兩個沖突。
第一個移進(jìn)與歸約沖突在于，當(dāng)出現(xiàn)')'的時候有一個移進(jìn)，移進(jìn)到一個新的狀態(tài)，該狀態(tài)有一個歸約arithmetic_factor : '(' arithmetic_exp ')'。或者直接歸約compare_exp : arithmetic_exp

第二個歸約與歸約沖突在于,當(dāng)遇到'$'的時候，是以program : arithmetic_exp歸約，還是以compare_exp : arithmetic_exp歸約。
我搞不定！請陳兄百忙之中，抽空看看啊！

%lextest
{
%skip : <\s| |//[^\r\n]+>
IF : <if>
ELSE : <else>
WHILE : <while>
BREAK : <break>
CONTINUE : <continue>
RETURN : <return>
'(' : <\(>
')' : <\)>
'*' : <\*>
'/' : <\/>
'+' : <\+>
'-' : <\->
ISEQUAL : <==>
ISNOTEQUAL : <!=>
GREATER : <\>>
GREATEROREQUAL : <>=>
LESSER : <<>
LESSEROREQUAL : <<=>
NOT : <Not>
AND : <And>
OR : <Or>
NUMBER : <[0-9]+(\.[0-9])*>
VARIABLENAME : <[a-zA-Z][a-zA-Z0-9]*>
STRING : <"[^\r\n]+">
}
%syntax
{
%terminator_type {int}
program : logic_exp
| arithmetic_exp ;


logic_exp : logic_exp OR logic_and_term
| logic_and_term;
logic_and_term : logic_and_term AND logic_not_term
| logic_not_term;
logic_not_term : NOT logic_factor
| logic_factor;
logic_factor : '(' logic_exp ')'
| compare_exp;

compare_exp : compare_exp ISEQUAL arithmetic_exp
| compare_exp ISNOTEQUAL arithmetic_exp
| compare_exp GREATER arithmetic_exp
| compare_exp GREATEROREQUAL arithmetic_exp
| compare_exp LESSER arithmetic_exp
| compare_exp LESSEROREQUAL arithmetic_exp
| arithmetic_exp;

arithmetic_exp : arithmetic_exp '+' arithmetic_term
| arithmetic_exp '-' arithmetic_term
| arithmetic_term;

arithmetic_term : arithmetic_term '*' arithmetic_factor
| arithmetic_term '/' arithmetic_factor
| arithmetic_factor;

arithmetic_factor : '(' arithmetic_exp ')'
| NUMBER
| VARIABLENAME ;
}  回復(fù)  更多評論
  

改成下面這樣子之后，就只剩下上面那個移進(jìn)與歸約沖突了

%lextest
{
%skip : <\s| |//[^\r\n]+>
IF : <if>
ELSE : <else>
WHILE : <while>
BREAK : <break>
CONTINUE : <continue>
RETURN : <return>
'(' : <\(>
')' : <\)>
'*' : <\*>
'/' : <\/>
'+' : <\+>
'-' : <\->
ISEQUAL : <==>
ISNOTEQUAL : <!=>
GREATER : <\>>
GREATEROREQUAL : <>=>
LESSER : <<>
LESSEROREQUAL : <<=>
NOT : <Not>
AND : <And>
OR : <Or>
NUMBER : <[0-9]+(\.[0-9])*>
VARIABLENAME : <[a-zA-Z][a-zA-Z0-9]*>
STRING : <"[^\r\n]+">
}
%syntax
{
%terminator_type {int}

program : ifstmt ;

ifstmt : IF '(' logic_exp ')' arithmetic_exp
| IF '(' logic_exp ')' arithmetic_exp ELSE arithmetic_exp
| IF '(' logic_exp ')' arithmetic_exp ELSE ifstmt ;

logic_exp : logic_exp OR logic_and_term
| logic_and_term;
logic_and_term : logic_and_term AND logic_not_term
| logic_not_term;
logic_not_term : NOT logic_factor
| logic_factor;
logic_factor : '(' logic_exp ')'
| compare_exp;

compare_exp : compare_exp ISEQUAL arithmetic_exp
| compare_exp ISNOTEQUAL arithmetic_exp
| compare_exp GREATER arithmetic_exp
| compare_exp GREATEROREQUAL arithmetic_exp
| compare_exp LESSER arithmetic_exp
| compare_exp LESSEROREQUAL arithmetic_exp
| arithmetic_exp;

arithmetic_exp : arithmetic_exp '+' arithmetic_term
| arithmetic_exp '-' arithmetic_term
| arithmetic_term;

arithmetic_term : arithmetic_term '*' arithmetic_factor
| arithmetic_term '/' arithmetic_factor
| arithmetic_factor;

arithmetic_factor : '(' arithmetic_exp ')'
| NUMBER
| VARIABLENAME ;
}  回復(fù)  更多評論
  

發(fā)現(xiàn)問題在于 當(dāng)邏輯表達(dá)式也要支持(logic_exp )優(yōu)先級的時候，就會有沖突！  回復(fù)  更多評論
  

經(jīng)過了下面的修改，已經(jīng)通過！！！，哈，高興
%lextest
{
%skip : <\s| |//[^\r\n]+>
IF : <if>
ELSE : <else>
WHILE : <while>
BREAK : <break>
CONTINUE : <continue>
RETURN : <return>
'(' : <\(>
')' : <\)>
'*' : <\*>
'/' : <\/>
'+' : <\+>
'-' : <\->
ISEQUAL : <==>
ISNOTEQUAL : <!=>
GREATER : <\>>
GREATEROREQUAL : <>=>
LESSER : <<>
LESSEROREQUAL : <<=>
NOT : <Not>
AND : <And>
OR : <Or>
NUMBER : <[0-9]+(\.[0-9])*>
VARIABLENAME : <[a-zA-Z][a-zA-Z0-9]*>
STRING : <"[^\r\n]+">
}
%syntax
{
%terminator_type {int}

program : logic_exp;

logic_exp : logic_exp OR logic_and_term
| logic_and_term;
logic_and_term : logic_and_term AND logic_not_term
| logic_not_term;
logic_not_term : NOT compare_exp
| compare_exp;

compare_exp : compare_exp ISEQUAL arithmetic_exp
| compare_exp ISNOTEQUAL arithmetic_exp
| compare_exp GREATER arithmetic_exp
| compare_exp GREATEROREQUAL arithmetic_exp
| compare_exp LESSER arithmetic_exp
| compare_exp LESSEROREQUAL arithmetic_exp
| arithmetic_exp;

arithmetic_exp : arithmetic_exp '+' arithmetic_term
| arithmetic_exp '-' arithmetic_term
| arithmetic_term;

arithmetic_term : arithmetic_term '*' arithmetic_factor
| arithmetic_term '/' arithmetic_factor
| arithmetic_factor;

arithmetic_factor : '(' logic_exp ')'
| NUMBER
| VARIABLENAME ;
}  回復(fù)  更多評論
  

最新問題！
問題在于這條產(chǎn)生式：
statement : block
| sentence
| ifstmt
| whilestmt
| forstmt;
當(dāng)加入了ifstmt,whilestmt,forstmt后出現(xiàn)了沖突！
可是，如果不加的話就不支持如下的語法：
if(a>0)
for(a=1 to 10) do
b = 10;
而一定要象這樣
if(a>0)
begin
for(a=1 to 10) do
b=10;
end

很不爽啊！ 怎么辦！

以下是bnf文法:

%lextest
{
%skip : <\s| |//[^\r\n]+>
IF : <if>
ELSE : <else>
THEN : <then>
FOR : <for>
TO : <to>
DO : <do>
DOWNTO : <downto>
WHILE : <while>
BREAK : <break>
LOOP : <loop>
BEGIN : <begin>
END : <end>
';' : <;>
'(' : <\(>
')' : <\)>
'*' : <\*>
'/' : <\/>
'+' : <\+>
'-' : <\->
'=' : <=>
ISEQUAL : <==>
ISNOTEQUAL : <!=>
GREATER : <\>>
GREATEROREQUAL : <>=>
LESSER : <<>
LESSEROREQUAL : <<=>
NOT : <Not>
AND : <And>
OR : <Or>
NUMBER : <[0-9]+(\.[0-9])*>
VARIABLENAME : <[a-zA-Z][a-zA-Z0-9]*>
STRING : <"[^\r\n]+">
}
%syntax
{
%terminator_type {int}

program : ifstmt
|forstmt
|sentences
|whilestmt;

whilestmt : WHILE logic_exp DO circlestatement ;
forstmt : FOR assignment_exp TO logic_exp DO circlestatement
| FOR assignment_exp DOWNTO logic_exp DO circlestatement ;

circlestatement : circleblock
| circlesentence;
circleblock : BEGIN circlesentences END;
circlesentences : circlesentences circlesentence
| circlesentence ;
circlesentence : logic_exp ';'
| LOOP ';'
| BREAK ';';


ifstmt : IF '(' logic_exp ')' THEN statement
| IF '(' logic_exp ')' THEN statement ELSE statement
| IF '(' logic_exp ')' THEN statement ELSE ifstmt ;

statement : block
| sentence
| ifstmt
| whilestmt
| forstmt;
block : BEGIN sentences END;

sentences : sentences sentence
| sentence;
sentence : logic_exp ';'
| assignment_exp ';';

assignment_exp : VARIABLENAME '=' logic_exp;

logic_exp : logic_exp OR logic_and_term
| logic_and_term;
logic_and_term : logic_and_term AND logic_not_term
| logic_not_term;
logic_not_term : NOT compare_exp
| compare_exp;

compare_exp : compare_exp ISEQUAL arithmetic_exp
| compare_exp ISNOTEQUAL arithmetic_exp
| compare_exp GREATER arithmetic_exp
| compare_exp GREATEROREQUAL arithmetic_exp
| compare_exp LESSER arithmetic_exp
| compare_exp LESSEROREQUAL arithmetic_exp
| arithmetic_exp;

arithmetic_exp : arithmetic_exp '+' arithmetic_term
| arithmetic_exp '-' arithmetic_term
| arithmetic_term;

arithmetic_term : arithmetic_term '*' arithmetic_factor
| arithmetic_term '/' arithmetic_factor
| arithmetic_factor;

arithmetic_factor : '(' logic_exp ')'
| NUMBER
| STRING
| VARIABLENAME ;
}



  回復(fù)  更多評論
  

@林林
別刷屏，你應(yīng)該這么寫：
(C++)
ifstmt = if (exp) stmt else stmt //我沒有考慮那個經(jīng)典問題
whilestmt = while (exp) stmt
...

stmt = (ifstmt | whilestmt) ;
stmt = { 很多stmt }
(PASCAL)
ifstmt = if exp then stmt else stmt;
whilestmt = while exp do stmt;
...
stmt = ifstmt | whilestmt
stmt = begin 很多stmt end
(PASCAL之可以省略最后一個分號)
ifstmt = if exp then stmt else stmt
whilestmt = while exp do stmt
...
stmt = ifstmt | whilestmt
stmt = begin stmt-list end
stmt-list = stmt (; stmt)* [;]  回復(fù)  更多評論
  

@陳梓瀚(vczh)
問題解決了，謝謝陳兄的指導(dǎo)！
最終是通過%right,與優(yōu)先級來解決的  回復(fù)  更多評論
  

通過%right 解決了else的移進(jìn)與歸約沖突
通過符號的優(yōu)先級，解決了ifstmt else 與statement : ifstmt的歸約與歸約沖突  回復(fù)  更多評論
  

請教陳兄：
一般的腳本引擎有沒有必要編譯成字節(jié)碼在虛擬機(jī)或簡單的堆棧機(jī)里運(yùn)行？還是直接在語法樹里純解析運(yùn)行就可以了，速度差很多嗎？
如果有一個腳本引擎，沒有源代碼，有沒有什么辦法得知它是純解析運(yùn)行還是在編譯成字節(jié)碼然后才運(yùn)行？  回復(fù)  更多評論
  

@林林
1：一般生成指令就足夠了，至于指令是struct的數(shù)組還是vector還是字節(jié)碼那其實(shí)沒有多大區(qū)別。
2：沒有辦法。
3：速度的瓶頸一般在腳本的對象的內(nèi)存分配以及調(diào)用一個名字的時候查找的過程。  回復(fù)  更多評論
  

@陳梓瀚(vczh)
經(jīng)過了一個早上的優(yōu)化后，現(xiàn)在的結(jié)果是329.032秒，雖然還是很慢，但是已經(jīng)很開心了！
cpu e6600
內(nèi)存 2g

經(jīng)過測試，vc2008 debug下的運(yùn)行時間是2秒
vc2008 release下的運(yùn)行時間是0秒
天啊，太塊了！
陳兄不削拿您的虛擬機(jī)跟我比，可以理解。但拿出來跟vc比比總不會辱沒了您的身份吧:)
我說的是虛擬機(jī)，而不實(shí)您翻譯成機(jī)器碼后拿來比較哦  回復(fù)  更多評論
  

@ooseven
我那個生成的代碼比較垃圾，肯定比debug慢。  回復(fù)  更多評論
  

@ooseven
用Reactive Style來做，類似Rx那樣  回復(fù)  更多評論
  

@U2U
combinator比rx更合適……  回復(fù)  更多評論
  

Reactive Style應(yīng)該是可以的  回復(fù)  更多評論