Category:形式语言

• 形式语言

B

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

C

• 串接
• 交談循序程式
• CYK算法

D

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

E

• 鄂登引理

F

• 附标文法
• 附标语言

G

• 格雷巴赫标准式

H

• 黑田范式

K

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

L

• 两级文法
• L系統

M

• 蒙塔古語法

Q

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

S

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

T

• Thompson构造法

W

• 无限制文法

X

• 形式文法
• 形式系統
• 星高

Y

• 语法幺半群
• 预期释义

Z

• 作用代数
• 字母表 (计算机科学)
• 字符串
• 字符串运算
• 正则文法
• 正则表达式
• 正则语言
• 自動機理論
• 自由么半群

一

• 一元語言

双

• 双字母组

左

• 左遞歸

形

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

抽

• 抽象語法樹

稀

• 稀疏語言

終

• 終結符與非终結符

解

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

迈

• 迈希尔－尼罗德定理