Category:形式语言
维基百科,自由的百科全书
跳转至:
导航
、
搜索
頁面分類
>
人文學科
>
语言学
>
语法
> 形式语言
頁面分類
>
人文學科
>
人类学
>
语言学
>
语法
> 形式语言
子分类
本分类包含下列3个子分类,共3个子分类。
分
×
分析演算法
(9个页面)
字
►
字符串算法
(2个分类, 1个页面)
文
×
文法框架
(4个页面)
"形式语言"分类中的页面
本分类包含下列58个页面,共有58个页面。
*
形式语言
B
不收缩文法
半自动机
巴科斯范式
泵引理
C
串接
交談循序程式
CYK算法
D
递归可枚举语言
递归语言
E
鄂登引理
F
附标文法
附标语言
G
格雷巴赫标准式
H
黑田范式
K
克莱尼代数
克莱尼星号
可识别语言
扩充巴科斯范式
扩展巴科斯范式
K 续
空字元串
L
两级文法
L系統
M
蒙塔古語法
Q
乔姆斯基范式
乔姆斯基谱系
前缀文法
确定上下文无关文法
确定有限状态自动机
S
上下文无关文法
上下文无关语言
上下文有关文法
上下文有关语言
适度上下文有关语言
SCIgen
W
无限制文法
X
形式文法
形式系統
星高
Y
语法幺半群
Y 续
预期释义
Z
作用代数
字母表 (计算机科学)
字符串
字符串运算
正则文法
正则表达式
正则语言
自动机
自由么半群
一
一元語言
左
左遞歸
形
Template:形式语言与形式文法
抽
抽象語法樹
稀
稀疏語言
終
終結符與非终結符
解
解釋 (邏輯)
迈
迈希尔-尼罗德定理
5个分类
:
人工語言
语法
數理邏輯
计算机科学基础理论
理论计算机科学
1个隐藏分类:
使用Catnav的页面
导航菜单
个人工具
创建账户
登录
名字空间
分类
讨论
不转换
变换
不转换
简体
繁體
大陆简体
香港繁體
澳門繁體
马新简体
台灣正體
查看
阅读
编辑
查看历史
操作
搜索
导航
首页
分類索引
特色内容
新闻动态
最近更改
随机条目
帮助
帮助
维基社群
方针与指引
互助客栈
询问处
字词转换
IRC即时聊天
联系我们
关于维基百科
资助维基百科
工具
链入页面
相关更改
上传文件
特殊页面
打印页面
永久链接
页面信息
其他语言
Afrikaans
العربية
Български
Bosanski
Català
Česky
Deutsch
Ελληνικά
English
Esperanto
Español
فارسی
Suomi
Français
עברית
Hrvatski
Magyar
Íslenska
Italiano
日本語
한국어
Македонски
Nederlands
Norsk nynorsk
Norsk bokmål
Polski
Português
Română
Русский
Srpskohrvatski / српскохрватски
Slovenčina
Српски / srpski
Svenska
ไทย
Türkçe
Українська
اردو
编辑链接