BNF的歷史如下:
1950年左右,第一種高階語言 Fortran 被開發出來。大約在同一時期,語言學家喬姆斯基﹝Noam Chomsky﹞發明了 context-free grammar (CFG),用來描述其自然語言理論中的深層結構。1960年,Fortran 的開發者 John Backus 被邀請參加 ALGOL 程式語言的開發,Backus 發現 CFG 的衍生語法很適合用來描述高階程式語言的 statements,在那篇著名的 ALGOL60 Report 中,他稍微修改了了 CFG 的衍生語法,用來描述 ALGOL60 的語言結構以及 statement 的衍生方式。該篇報告的負責編輯是 Peter Naur,所以 ALGOL60 的 CFG 衍生語法就被稱為 Backus-Naur Form﹝BNF﹞。CFG 所描述的是英文的階層結構與衍生方式,BNF 則是 CFG 的程式語言版本。CFG 的例子如下:
sentence -> NP VP (NP = noun phrase, VP = verb phrase)
NP -> article adjective noun | article noun
VP -> verb NP
noun -> house | boy | gurl
verb -> likes | hits
" | "這個符號的意義,
這個符號是"或者"的意思,
比如說:
noun -> house | boy | gurl
這句的意思就是noun這東西可以是house 或者 boy 或者 gurl
BNF(Backus-Naur Form)是由John Backus所開發,可用來表示與上下文無關文法的語言,也就是一種用來描述語言的中繼語言(meta-language)。一個BNF表示式是由一個非終端符號(non-terminal)和它的產生式所組成,產生式可以是一個終端符號(terminal)和非終端符號組成的序列。(終端符號中的標點符號一般使用單引號括起來,而字串則使用雙引號)
底下為一個簡單的範例:
sent := subj verb '.'
subj := “Birds”
verb := “sing”
在上面的例子裡面,如Birds、sing及句點('.')表示終端符號。而sent及verb表示為非終端符號。這條BNF句子定義了一條文法,表示的意思為,一個sent是由subj及verb再以一個句點為結尾所構成。
BNF表示式有以下幾種主要表示形式:
(1) S := A B C
(2) S := A | B | C
(3) S := {A}
第一條表示說,S是由ABC三個符號所定義, 而ABC是以序列的形式依序出現,也就是說A之後一定跟著一個B,而B之後一定跟著一個C。第二條表示說,由S可推導出A或B或C其中之一。第三條表示說,由S可以推導出一個或多個A。
範例:
S := x A
A := y | z
(1) xy (O)
(2) xz (O)
(3) xx (X)
(4) yz (X)
以上4個範例中,只有(1)(2)是符合上面BNF文法定義的句子,因為x之後只能接y或z所以(3)不符合文法,因為S只能以x開頭為句子所以(4)也文法錯誤。
範例:
id := alpha {alpha}
alpha := a | b | c | d
(1) aabbbcdd (O)
(2) cabbbda (O)
(3) baccab (O)
(4) bdax (X)
(5) 5acd (X)
在上面的5個範例裡面,其中(1)(2)(3)項是正確符合上面BNF的文法定義。而(4)因為alpha裡不包含x符號所以語法不正確。而(5)因為alpha裡面不包含5所以也不正確。
範例:
S := '-' FN | FN
FN := DL | DL '.' DL
DL := D | D DL
D := '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9'
這幾條規則可以用來描述如3.14這樣的浮點數或如-3.14具有負號的浮點數。在DL這條規則裡面我們看到了它的定義中還出現了自己,用自己來定義自己的情況,也就是說這是一種遞迴的定義形式。雖然還是勉強能夠看的懂這些定義,不過還是有點不是那麼直覺易用,所以後來又出現了BNF的擴展形式EBNF(Extended Backus Naur Form),EBNF引進了底下幾個新的符號改進了這些問題。
(1)?:表示符號左方的符號(或左方的括號中的一組符號)是可有可無 (optional)。
(2)*:表示符號左方的符號的數量可以出現0次以上。
(3)+:表示符號左方的符號的數量可以出現1次以上。
所以上面的浮點數範例使用EBNF可以重新改寫成如下的形式。
S := '-' D+ ('.' D+)?
D := '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9'
這樣是不是變的簡單明瞭多了?當然EBNF並沒有比BFN強大到那裡,只不過和BFN比較起來在使用上更加方便而已,而所有的EBNF表示式都是可以轉換為BNF表示式的。
;
有了EBNF表示式的基本認識之後對實作parser會有幫助,之後再介紹如何使用不同工具實作parser。
http://www.scribd.com/doc/20355940/Chapter-7
http://www.cs.olemiss.edu/~cbzickos/download_files/450/ch3.ppt
http://hpds.ee.ncku.edu.tw/~hjsin/courses/SP/Chap03.pdf
也就是說,你要先根據某種語法規則(rules of grammar)定義一個Language,對於某個符合這個語法規則的statement,可畫出一棵樹,這棵樹就稱為「Parse Tree」。
相關資料,可在「系統程式」得到一些,在「編譯程式」會提到很多,並且還有實作的方法。而在「計算理論」裡面,會有一些理論方面的討論
2011年2月12日 星期六
2011年2月11日 星期五
Facebook 的神兵利器- HTC 的 INQ cloud touch (第一款臉書手機)
英國手機INQ公司即將推出一款號稱Facebook 手機的INQ cloud Touch,當然這是HTC作的一隻Android 2.2的手機,
比較一般Android手機不同的是這隻手機的介面是第一款針對Facebook的愛好者而設計的,
所以很多功能都是為Facebook量身打造的,可是它畢竟還是一個Android手機,所以我相信一般的Android手機也會逐漸有一些類介面的軟體出現,目前看來玩Android已經是一股羽翼已成的勢力,而HTC這樣來勢洶洶的追趕,相對於iphone白色機的難產,INQ一口氣推出三色手機,漂亮大方的簡潔外觀,看樣子Apple真的是需要用更靈活的戰略來應戰這個台灣對手了。
今年肯定是Android迎頭趕上Apple重要的一年,如果年中Apple iphone5與ipod 2的出現如果還不能朝向令人耳目一新的彈性化打造功能的話,還是照以往的高高在上的作風(HTC這樣不同類型的手機也會慢慢的出現在不同的客製化廠商端),相信將有更多的客製市場被Android所蠶食佔有,而iphone打下來的touch手機江山將會慢慢面臨這個小機器人的圍攻,屆時將是一個葉問打十個小機器人的局面了,笑~。
是一代宗師勝出呢?還是綠色小人綠化手機界呢? Anyway,當消費者將會有更多方便好用的手機供選擇的時候,真正的贏家就是用戶了。
標籤:
facebook phone
為何安裝Ubuntu後 會讓XP時間延後 8 小時?
如果一臺電腦裡同時安裝了Ubuntu 與 XP,你會發現兩個時間不一樣的話,那是正常的。
因為微軟的作業系統讀取時間是從硬體抓取,而ubuntu從抓取電腦硬體時間到顯示並沒那樣單純,因為Ubuntu時間設定默認值是UTC時,當你在Ubuntu中看到正確的時間(你自己手動調整或用指令同步網路上的time server)後,也意味你已經修改了電腦硬體的時間,而且這個改過的硬體時間會變成格林威治時間(沒有經過加減過的那個值),
所以妳設定時區是+8的話,Ubuntu就會把你的電腦硬體時間再減8,
如果你在Ubuntu看到的是14:02,回到XP就變成06:02,你會發現時間整整慢了八小時,這個就是兩者不同步的原因了。
要修正這個不同步的問題的話,妳可以不要讓Ubuntu使用UTC時間,單純一點的讓Ubuntu直接顯示硬體的時間,
因為微軟的作業系統讀取時間是從硬體抓取,而ubuntu從抓取電腦硬體時間到顯示並沒那樣單純,因為Ubuntu時間設定默認值是UTC時,當你在Ubuntu中看到正確的時間(你自己手動調整或用指令同步網路上的time server)後,也意味你已經修改了電腦硬體的時間,而且這個改過的硬體時間會變成格林威治時間(沒有經過加減過的那個值),
所以妳設定時區是+8的話,Ubuntu就會把你的電腦硬體時間再減8,
如果你在Ubuntu看到的是14:02,回到XP就變成06:02,你會發現時間整整慢了八小時,這個就是兩者不同步的原因了。
要修正這個不同步的問題的話,妳可以不要讓Ubuntu使用UTC時間,單純一點的讓Ubuntu直接顯示硬體的時間,
標籤:
linux,
linux ubuntu
2011年2月5日 星期六
Ubuntu 如何加入 ADSL撥接 到最上面的面板?
有時候很奇怪,最上方的面板並不會出現 網路連線 的工具(Networkmanger),網路連線是上方會出現 無線標誌,或 上下兩個箭頭,或是兩台小電腦重疊來告訴你目前連往狀態,
不出現的話,有兩個方法可以讓它現身,
1.不要想太多的話,
直接執行 ALT-F2(懶得叫出終端機的話),鍵入"nm-applet",上方就會自動出現那個icon了.
2.如果堅持想要用加入面板的功能來加入Networkmanager的話(原來就應該用這個方法啦,比較直覺),可惜,你根本會找不到這個網路連線工具,又是一個講著看不懂的國語的類微軟例子,難道這是作業系統的傳染病嗎?
其實,你要選"程式狀態通知區"這個項目,這個才是網路連線.呵 ~~
Don't ask me why wierd~~~
延伸閱讀:
不出現的話,有兩個方法可以讓它現身,
1.不要想太多的話,
直接執行 ALT-F2(懶得叫出終端機的話),鍵入"nm-applet",上方就會自動出現那個icon了.
2.如果堅持想要用加入面板的功能來加入Networkmanager的話(原來就應該用這個方法啦,比較直覺),可惜,你根本會找不到這個網路連線工具,又是一個講著看不懂的國語的類微軟例子,難道這是作業系統的傳染病嗎?
其實,你要選"程式狀態通知區"這個項目,這個才是網路連線.呵 ~~
Don't ask me why wierd~~~
延伸閱讀:
Ubuntu NetworkManager 使用要項
標籤:
linux,
linux ubuntu
2011年2月4日 星期五
注音符號 漢語拼音 对照表
注音符號 漢語拼音
ㄅ ㄆ ㄇ ㄈ b p m f
ㄉ ㄊ ㄋ ㄌ d t n l
ㄍ ㄎ ㄏ g k h
ㄐ ㄑ ㄒ j q xㄓ ㄔ ㄕ ㄖ zh ch sh rㄗ ㄘ ㄙ z c s
注音符號與漢語拼音母音對照表:
ㄧ ㄨ ㄩ i u u(u)/v
(yi wu yu – 單母音成字時)
ㄚ ㄛ ㄜ ㄝ a o e e
ㄞ ㄟ ㄠ ㄡ ai ei ao ouㄢ ㄣ ㄤ ㄥ an en ang eng
ㄦ er
注音符號與漢語拼音結合母音(20 個)對照表
ㄧㄚ ㄧㄝ ㄧㄠ ㄧㄡ ia ie iao iu
( ya ye yao you )
ㄧㄢ ㄧㄣ ㄧㄤ ㄧㄥ ian in iang ing
( yan yin yang ying )
ㄨㄚ ㄨㄛ ㄨㄞ ㄨㄟ ua uo uai ui
( wa wo wai wei )
ㄨㄢ ㄨㄣ ㄨㄤ ㄨㄥ uan un uang ong
( wan wen wang weng )
ㄩㄝ ㄩㄢ ㄩㄣ ㄩㄥ ue uan un iong
(yue yuan yun yong )
( 註﹕括弧裡是這些複合母音單獨成字音時的拼法 )
非常完整的漢語拼音對照表
http://humanum.arts.cuhk.edu.hk/Lexis/Lindict/
ㄅ ㄆ ㄇ ㄈ b p m f
ㄉ ㄊ ㄋ ㄌ d t n l
ㄍ ㄎ ㄏ g k h
ㄐ ㄑ ㄒ j q xㄓ ㄔ ㄕ ㄖ zh ch sh rㄗ ㄘ ㄙ z c s
注音符號與漢語拼音母音對照表:
ㄧ ㄨ ㄩ i u u(u)/v
(yi wu yu – 單母音成字時)
ㄚ ㄛ ㄜ ㄝ a o e e
ㄞ ㄟ ㄠ ㄡ ai ei ao ouㄢ ㄣ ㄤ ㄥ an en ang eng
ㄦ er
注音符號與漢語拼音結合母音(20 個)對照表
ㄧㄚ ㄧㄝ ㄧㄠ ㄧㄡ ia ie iao iu
( ya ye yao you )
ㄧㄢ ㄧㄣ ㄧㄤ ㄧㄥ ian in iang ing
( yan yin yang ying )
ㄨㄚ ㄨㄛ ㄨㄞ ㄨㄟ ua uo uai ui
( wa wo wai wei )
ㄨㄢ ㄨㄣ ㄨㄤ ㄨㄥ uan un uang ong
( wan wen wang weng )
ㄩㄝ ㄩㄢ ㄩㄣ ㄩㄥ ue uan un iong
(yue yuan yun yong )
( 註﹕括弧裡是這些複合母音單獨成字音時的拼法 )
非常完整的漢語拼音對照表
http://humanum.arts.cuhk.edu.hk/Lexis/Lindict/
標籤:
pc
雲端運算的五四三,關於雲端運算的定義
近年來關於雲端運算,不斷有各種討論及應用出現,甚至李家同教授也提出所謂"雲端"就是以後大家都會去的地方,呵,這個定義是滿好笑的。不過李家同教授是平行演算的行家,這肯定是開玩笑的,不必當真了。
簡單地說,雲端可以拆成 雲 跟 端 兩個部份
來解讀,
雲 當然是遠處摸不到的那個服務,端其實便是client(使用者這一端),由這樣的角度來看雲端便有一種Web service的感受出現了,其實Web servie本身也正是雲端運算下的一種商業服務。未來3C產業也會在這兩端去發展,舉凡手機,PDA,筆電 因為是使用者端所必備的工具,硬體商便要提供更輕便的上網工具給使用者;而深處另一端-雲,像 Google ,Yahoo,Amazon 等服務商 便要研究如何將軟體及硬體的結合上,以至於提供用戶端更快速便利的服務,由此來看雲端可謂無處不在。
這邊美國 NIST 有一篇文章雲端運算的定義一文很值得一讀,他們將Cloud computing 定義分成五四三的口訣,
我認為這五四三正代表了雲端運算 如何由構成 經 佈建,最終至 運用 三大階段及領域。
構成:五種必備特徵
(On-demand self-service, Broad network access, Resource pooling, Rapid elasticity, Measured Service)
建置:四種部署型態 Public,Private,Community,Hybrid cloud,
功能:提供三種類型的服務 (Cloud Software as a Service (SaaS), Cloud Platform as a Service (PaaS), Cloud Infrastructure as a Service (IaaS))
看完這篇文章 相信對於雲端運算的涵蓋及定義不只是"升天"一說了!(偷笑)
原文如下:
簡單地說,雲端可以拆成 雲 跟 端 兩個部份
來解讀,
雲 當然是遠處摸不到的那個服務,端其實便是client(使用者這一端),由這樣的角度來看雲端便有一種Web service的感受出現了,其實Web servie本身也正是雲端運算下的一種商業服務。未來3C產業也會在這兩端去發展,舉凡手機,PDA,筆電 因為是使用者端所必備的工具,硬體商便要提供更輕便的上網工具給使用者;而深處另一端-雲,像 Google ,Yahoo,Amazon 等服務商 便要研究如何將軟體及硬體的結合上,以至於提供用戶端更快速便利的服務,由此來看雲端可謂無處不在。
這邊美國 NIST 有一篇文章雲端運算的定義一文很值得一讀,他們將Cloud computing 定義分成五四三的口訣,
我認為這五四三正代表了雲端運算 如何由構成 經 佈建,最終至 運用 三大階段及領域。
構成:五種必備特徵
(On-demand self-service, Broad network access, Resource pooling, Rapid elasticity, Measured Service)
建置:四種部署型態 Public,Private,Community,Hybrid cloud,
功能:提供三種類型的服務 (Cloud Software as a Service (SaaS), Cloud Platform as a Service (PaaS), Cloud Infrastructure as a Service (IaaS))
看完這篇文章 相信對於雲端運算的涵蓋及定義不只是"升天"一說了!(偷笑)
原文如下:
標籤:
web-service
訂閱:
文章 (Atom)