帮助
Category:形式语言
维基百科,自由的百科全书
跳到导航
跳到搜索
頁面分類
>
人文學科
>
语言学
>
语法
> 形式语言
頁面分類
>
人文學科
>
人类学
>
语言学
>
语法
> 形式语言
子分类
本分类有以下4个子分类,共有4个子分类。
分
分析演算法
(11个页面)
字
字符串算法
(5个分类, 3个页面)
文
文法框架
(6个页面)
模
模式匹配编程语言
(27个页面)
分类“形式语言”中的页面
以下65个页面属于本分类,共65个页面。
形式语言
B
不收缩文法
半自动机
巴科斯范式
泵引理
C
串接
CYK算法
D
递归可枚举语言
递归语言
E
鄂登引理
F
附标文法
附标语言
G
格雷巴赫标准式
H
黑田范式
K
克莱尼代数
克莱尼星号
可识别语言
扩充巴科斯范式
扩展巴科斯范式
空字串
L
两级文法
L系統
M
蒙塔古語法
Q
乔姆斯基范式
乔姆斯基谱系
前缀文法
确定上下文无关文法
确定有限状态自动机
S
上下文无关文法
上下文无关语言
上下文有关文法
上下文有关语言
实体语法系统
适度上下文有关语言
SCIgen
W
无限制文法
X
形式系統
星高
Y
语法幺半群
预期释义
Z
作用代数
字母表 (计算机科学)
字符串
字符串运算
正则文法
正则表达式
正则语言
自動機理論
自由么半群
一
一元語言
元
元字符
双
双字母组
左
左遞歸
帕
帕里克定理
形
形式文法
Template:形式语言与形式文法
抽
抽象語法樹
汤
汤普森构造法
稀
稀疏語言
終
終結符與非終結符
表
表现度
解
解析表达文法
解釋 (邏輯)
语
语法分析组合子
迈
迈希尔-尼罗德定理
分类
:
人工語言
语法
數理邏輯
计算机科学基础理论
理论计算机科学
元逻辑学
隐藏分类:
使用Catnav的页面
导航菜单
个人工具
没有登录
讨论
贡献
创建账号
登录
命名空间
分类
讨论
不转换
不转换
简体
繁體
大陆简体
香港繁體
澳門繁體
大马简体
新加坡简体
臺灣正體
查看
阅读
编辑
查看历史
更多
搜索
导航
首页
分类索引
特色内容
新闻动态
最近更改
随机条目
资助维基百科
帮助
帮助
维基社群
方针与指引
互助客栈
知识问答
字词转换
IRC即时聊天
联络我们
关于维基百科
工具
链入页面
相关更改
上传文件
特殊页面
固定链接
页面信息
维基数据项目
打印/导出
下载为PDF
打印页面
在其他项目中
维基共享资源
其他语言
العربية
Беларуская (тарашкевіца)
Български
বাংলা
Bosanski
Català
Čeština
Deutsch
Ελληνικά
English
Esperanto
Español
فارسی
Suomi
Français
עברית
हिन्दी
Hrvatski
Magyar
Հայերեն
Íslenska
Italiano
日本語
ქართული
한국어
Македонски
മലയാളം
Nederlands
Norsk nynorsk
Norsk bokmål
Polski
Português
Română
Русский
Scots
Srpskohrvatski / српскохрватски
Slovenčina
Српски / srpski
Svenska
ไทย
Türkçe
Українська
اردو
Tiếng Việt
编辑链接