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