
【計】 context-free rewriting rule
在漢英詞典視角下,“上下文無關重寫規則”(Context-Free Rewriting Rule)是計算語言學和形式語言理論的核心概念,指一種不受周邊符號約束的語法生成規則。其核心特征與解釋如下:
上下文無關(Context-Free)
指規則的應用僅取決于當前非終結符,與符號所在位置的前後内容無關。例如:
A → α
(無論A
出現在句子的何處,均可被重寫為α
)重寫規則(Rewriting Rule)
描述如何将符號(通常為非終結符)替換為符號串的過程,是形式語法的生成基礎。
S → NP VP
(句子可重寫為名詞短語+動詞短語)上下文無關文法(CFG)由四元組定義:
$$ G = (V, Sigma, R, S) $$
其中:
NP
)規則形式為:
$$ A to beta quad (A in V, beta in (V cup Sigma)^*) $$
表明非終結符$A$可被替換為符號串$beta$。
在漢英詞典中,該術語關聯以下概念:
編程語言設計
定義語法時使用BNF範式(Backus-Naur Form),本質是CFG的變體:
<if_statement> ::= "if" "(" <condition> ")" <statement>
自然語言處理
用于構建句法樹(Parse Tree),例如Stanford Parser的CFG規則庫。
Chomsky, N. (1956). Three Models for the Description of Language. IRE Transactions on Information Theory.
Jurafsky, D. & Martin, J.H. (2020). Speech and Language Processing (3rd ed.), Chapter 11.
馮志偉 (2010). 《計算語言學詞典》. 商務印書館.
(注:因搜索結果未提供直接鍊接,參考文獻僅标注來源,符合學術引用規範。)
上下文無關重寫規則是形式語言理論中的核心概念,屬于上下文無關文法(Context-Free Grammar, CFG)的組成部分。以下是詳細解釋:
指形如 $A rightarrow alpha$ 的規則,其中:
上下文無關性:規則的觸發僅取決于左側的非終結符,與周圍符號無關。例如:
遞歸結構:允許自引用規則,如 $E rightarrow E + E$,可描述嵌套結構
确定性替換:每次應用規則時,隻需關注當前被替換的非終結符
# 賦值語句規則示例
<assignment> → <variable> = <expression>
無論賦值語句出現在函數體、循環體還是條件分支中,該規則始終有效,體現了上下文無關特性。
特性 | 正則文法 | 上下文無關文法 |
---|---|---|
規則形式 | $A rightarrow aB$ | $A rightarrow α$ |
表達能力 | 有限狀态機 | 下推自動機 |
典型應用 | 詞法分析 | 語法分析 |
這種規則體系保證了編程語言結構的可解析性,使編譯器無需全局上下文即可完成語法分析。
【别人正在浏覽】