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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

第二個(gè)歸約與歸約沖突在于,當(dāng)遇到'$'的時(shí)候，是以program : arithmetic_exp歸約，還是以compare_exp : arithmetic_exp歸約。
我搞不定！請(qǐ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
| 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ù)  更多評(píng)論
  

改成下面這樣子之后，就只剩下上面那個(gè)移進(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ù)  更多評(píng)論
  

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

經(jīng)過(guò)了下面的修改，已經(jīng)通過(guò)！！！，哈，高興
%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ù)  更多評(píng)論
  

最新問(wèn)題！
問(wèn)題在于這條產(chǎn)生式：
statement : block
| sentence
| ifstmt
| whilestmt
| forstmt;
當(dāng)加入了ifstmt,whilestmt,forstmt后出現(xiàn)了沖突！
可是，如果不加的話就不支持如下的語(yǔ)法：
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ù)  更多評(píng)論
  

@林林
別刷屏，你應(yīng)該這么寫(xiě)：
(C++)
ifstmt = if (exp) stmt else stmt //我沒(méi)有考慮那個(gè)經(jīng)典問(wèn)題
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之可以省略最后一個(gè)分號(hào))
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ù)  更多評(píng)論
  

@陳梓瀚(vczh)
問(wèn)題解決了，謝謝陳兄的指導(dǎo)！
最終是通過(guò)%right,與優(yōu)先級(jí)來(lái)解決的  回復(fù)  更多評(píng)論
  

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

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

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

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

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

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

@ooseven
用Reactive Style來(lái)做，類(lèi)似Rx那樣  回復(fù)  更多評(píng)論
  

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

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