分类:形式语言

• 形式语言

B

• 不收缩文法
• 半自动机
• 巴科斯范式
• 泵引理

C

• 串接
• CYK算法

D

• 递归可枚举语言
• 递归语言

E

• 鄂登引理

F

• 附标文法
• 附标语言

G

• 格雷巴赫标准式

H

• 黑田范式

K

• 克莱尼代数
• 克莱尼星号
• 可识别语言
• 扩充巴科斯范式
• 扩展巴科斯范式
• 空字串

L

• 两级文法
• L系統

M

• 蒙塔古語法

Q

• 乔姆斯基范式
• 前缀文法
• 确定上下文无关文法
• 确定有限状态自动机

S

• 上下文无关文法
• 上下文无关语言
• 上下文有关文法
• 上下文有关语言
• 实体语法系统
• 适度上下文有关语言
• SCIgen
• 形式系統

W

• 无限制文法

X

• 星高

Y

• 语法幺半群
• 预期释义

Z

• 作用代数
• 字符串
• 字符串运算
• 正则文法
• 正则表达式
• 正则语言
• 自動機理論

一

• 一元語言

乔

• 乔姆斯基谱系

元

• 元字符

双

• 双字母组

合

• 合式公式

子

• 子串

字

• 字母表 (计算机科学)

左

• 左遞歸

帕

• 帕里克定理

形

• 形式文法
• Template:形式语言与形式文法

抽

• 抽象語法樹

汤

• 汤普森构造法

稀

• 稀疏語言

终

• 終結符與非終結符

自

• 自由么半群

表

• 表现度

解

• 解析表达文法
• 解釋 (邏輯)

语

• 语法分析组合子

迈

• 迈希尔-尼罗德定理

重

• 重写逻辑