跳转到内容

Template:形式语言

维基百科，自由的百科全书

形式语言
核心概念形式系統字母表句法（逻辑）（英语：Syntax (logic)）邏輯語義學形式语义学形式文法形成规则（英语：Formation rule）合式公式自动机理论正则表达式产生式（英语：Production (computer science)）基础表达式（英语：Ground expression）原子公式
应用形式化方法命题逻辑谓词逻辑数学符号自然语言处理编程语言理论计算语言学语法分析形式化验证自动定理证明
查论编

检索自“https://zh.wikipedia.org/w/index.php?title=Template:形式语言&oldid=86377599”

分类：

隐藏分类：