
【計】 admissible mark; admissible symbol
在漢英詞典視角下,“容許符號”(Róngxǔ Fúhào / Permissible Symbol)指在特定規則體系中被允許使用的标識或記號。其核心含義需結合語言學、數學邏輯及計算機科學等多領域理解:
根據《現代漢語詞典》(第7版),“容許”意為“允許、許可”,“符號”指“代表某種事物或概念的标記”。故“容許符號”即符合既定規範、可被系統識别并使用的有效标識。
來源:中國社會科學院語言研究所詞典編輯室. 現代漢語詞典(第7版)[M]. 商務印書館, 2016.
英語對應術語"Permissible Symbol" 在計算理論中特指:
符合形式語法規則的字符或字符串,例如編程語言中允許的變量名(如字母、數字、下劃線組合),或邏輯系統中的有效運算符(如¬, ∧, ∀)。
來源:Hopcroft, J. E., Motwani, R., & Ullman, J. D. Introduction to Automata Theory, Languages, and Computation (3rd ed.). Pearson Education, 2006. p. 72.
形式語言與自動機理論
在喬姆斯基層級(Chomsky Hierarchy)中,“容許符號”需滿足特定文法規則(如正則文法僅允許終結符和非終結符的組合)。
來源:Sipser, M. Introduction to the Theory of Computation (3rd ed.). Cengage Learning, 2012. Section 2.1.
數理邏輯
一階邏輯中,容許符號包括:
其使用需遵守形成規則(formation rules),避免語義沖突。
來源:Enderton, H. B. A Mathematical Introduction to Logic (2nd ed.). Academic Press, 2001. pp. 69–71.
計算機編程
例如Python标識符規則:首字符必須為字母或下劃線(_
),後續字符可為字母、數字或下劃線,但不得使用關鍵字(如if
, class
)。
來源:Python官方文檔. 标識符與關鍵字.
特征 | 容許符號 | 非法符號 |
---|---|---|
合規性 | 符合系統語法規則 | 違反語法或語義約束 |
示例 | SQL中的 SELECT , WHERE |
SQL注入字符 ; DROP TABLE |
處理結果 | 被解析器/編譯器接受 | 引發語法錯誤或安全攔截 |
在符號學(Semiotics)中,容許符號需符合社會文化約定(如交通标志的顔色與形狀規範);在密碼學中,則指符合編碼規則的字符集(如Base64編碼僅使用A-Z, a-z, 0-9, +, /, =)。
來源:Peirce, C. S. Collected Papers. Harvard University Press, 1931–1958. Vol. 2, para. 228.
“容許符號”的本質是在特定語境下通過規則驗證的有效記號,其定義與實踐需嚴格依托于所屬系統的規範性文件。
“容許符號”并非固定搭配的術語,需結合“容許”和“符號”的獨立含義及可能的語境進行解釋:
符號是傳遞信息、表達思想的标志,包括文字、數字、圖案等,具有以下作用:
建議根據實際場景選擇解釋方向,或補充具體語境以便更精準解答。
播土隆插烯沉船漂浮物存儲響應達電價配位鍵電子計算尺蝶腭神經節試驗二金屬取代作用馮雅克什氏試驗汞提取法回飛棒會聚性的霍伊塞氏膜鍵式電路寄生電流抗飽和尼日利亞菌素判别平焊法蘭皮質精神性盲汽缸柱溶液槽實時模拟程式受潮受熱險數據存取裝置樹脂醇特殊作用體腔放射療法投資證券的銷售