
【計】 attribute evaluation rule
belong to; category; dependents; genus; subordinate to
【醫】 genera; genus; group; herd
evaluation
regulation; rule; formulae; order; rope
【計】 rule
【化】 regulation; rule
【醫】 regulation; rule
【經】 propriety; regulations; rule
在漢英詞典視角下,“屬性求值規則”(Attribute Evaluation Rules)是編程語言和計算理論中的核心概念,指在語法分析或程式執行過程中,确定符號屬性值的邏輯規範。其核心是定義如何根據語法結構的上下文計算關聯數據(即屬性)。以下是分層解析:
屬性(Attribute)
指與語法符號(如變量、表達式)關聯的附加數據,例如數據類型、值、作用域等。
英文對照:Attribute/Property(如 "Type attribute" 類型屬性)。
求值(Evaluation)
指通過計算或推導确定屬性值的過程。
英文對照:Evaluation(如 "Lazy evaluation" 惰性求值)。
規則(Rules)
定義屬性間依賴關系和計算邏輯的約束條件。
英文對照:Rule/Constraint(如 "Dependency rule" 依賴規則)。
屬性求值規則常見于編譯器的語義分析階段,用于檢查程式邏輯合法性。例如:
典型應用:
# 示例:表達式求值規則
expr → expr + term { expr.value = expr.value + term.value }
term → number{ term.value = number.value }
此處規則明确定義了加法運算的值計算邏輯。
編譯原理經典教材
Aho等人在《Compilers: Principles, Techniques, and Tools》(龍書)中定義屬性求值規則為:
“A rule that computes the value of an attribute at a node from attributes at neighboring nodes.”
(通過相鄰節點屬性計算某節點屬性值的規則)
來源:第2章“Syntax-Directed Translation”
編程語言規範
Python官方文檔強調求值順序對程式行為的影響:
“Evaluation order is determined by precedence and associativity rules.”
來源:Python Language Reference, §6.15
形式化方法研究
屬性文法(Attribute Grammars)的提出者Donald Knuth指出:
“Evaluation rules must ensure non-circular dependencies to guarantee computability.”
(規則需避免循環依賴以保證可計算性)
來源:論文《The Genesis of Attribute Grammars》
參考文獻
Aho A V, Lam M S, Sethi R, et al. Compilers: Principles, Techniques, and Tools. Pearson, 2006.
Python Software Foundation. "6. Expressions." Python 3.12 Documentation.
Knuth D E. "The genesis of attribute grammars." International Conference on Attribute Grammars, 1990.
屬性求值規則是指在不同領域(如編程語言編譯、CSS樣式計算)中,确定屬性最終值的邏輯和方法。根據上下文不同,其含義有所差異,以下是兩類典型場景的解釋:
在編譯原理中,屬性求值規則用于描述語法樹節點屬性的計算方式,主要分為兩類:
綜合屬性(Synthesized Attribute)
自底向上計算,子節點的屬性值決定父節點的屬性值。例如:表達式求值時,子表達式的結果傳遞給父節點進行運算。
繼承屬性(Inherited Attribute)
自頂向下計算,父節點或兄弟節點的屬性值決定當前節點的屬性值。例如:變量作用域的傳遞,父節點的作用域信息傳遞給子節點。
CSS屬性值的計算分為三個階段,需按順序執行:
确定指定值(Specified Value)
color: red
)。background-color
默認為透明)。轉換為計算值(Computed Value)
em
)轉換為絕對值。例如:width: 50%
需根據父容器寬度計算具體像素。auto
、inherit
)為實際可用的中間值。生成實際值(Actual Value)
12.5px
,但浏覽器可能取整為 12px
渲染。如果需要更具體的領域示例或擴展解釋,可進一步說明上下文。
半字界嗤之以鼻磁性探傷檢查促甲狀旁腺的放大常數含硫的酸的鹽黑克爾氏定律恒壓充電化工專用設備灰化間苯二酰氯間條掃描膠出口接插線精确數據傳送裝置離合器離心幹燥器美洲的鈉冷快堆平面流普卡黴素強行提出氫氣壓縮機三氮烷上皮神經體收集古物者提高的同型物魏爾嘯氏腔