分类:形式语言与自动机

来自术语
跳转至: 导航搜索
字母表(02.0475) 歧义文法(02.0476)
自动机(02.0477) 空白符(02.0478)
规范序(或正则序)(02.0479) 乔姆斯基谱系(02.0480)
乔姆斯基范式(02.0481) 闭包(02.0482)
完全项(02.0483) 连接(02.0484)
上下文无关文法(02.0485) 上下文无关语言(02.0486)
上下文有关文法(02.0487) 上下文相关语言(02.0488)
穿越序列(02.0489) CYK算法(02.0490)
推导(02.0491) 推导树(02.0492)
确定的上下文无关语言(02.0493) 确定的有限自动机(02.0494)
确定性下推自动机(02.0495) 确定型图灵机(02.0496)
可区分状态(02.0497) 空栈(02.0498)
空串(02.0499) 有限自动机(02.0500)
有限控制器(02.0501) 有限状态系统(02.0502)
形式语言(02.0503) 格雷巴赫范式(02.0504)
文法(02.0505) 句柄(02.0506)
语言同态(02.0507) 同构(02.0508)
固有歧义性(02.0509) 初始状态(02.0510)
输入字母表(02.0511) 输入字符(02.0512)
下推自动机(02.0513) 瞬像描述(02.0514)
逆同态(02.0515) 最右推导(02.0516)
x最左推导(02.0517) 克林尼闭包(02.0518)
语言(02.0519) 左线性文法(02.0520)
串长(串的长度)(02.0521) 线性界限自动机(02.0522)
线性文法(02.0523) 线性语言(02.0524)
LR(0)文法(02.0525) LR-项(02.0526)
米利机(器)(02.0527) 成员问题(02.0528)
有限自动机的极小化(02.0529) 摩尔机(器)(02.0530)
多头图灵机(02.0531) 多带图灵机(02.0532)
多维图灵机(02.0533) 动作函数(02.0534)
不确定的有限自动机(02.0535) 非确定型图灵机(02.0536)
带空转换的不确定有限自动机(02.0537) 标准型下推自动机(02.0538)
非递归可枚举语言(02.0539) 非终极符(02.0540)
脱线图灵机(02.0541) 输出字母表(02.0542)
输出带(02.0543) 回文(02.0544)
正闭包(02.0545) (02.0546)
前缀(02.0547) 前缀性质(02.0548)
产生式(02.0549) 真前缀(02.0550)
真后缀(02.0551) 泵引理(02.0552)
递归语言(02.0553) 正规表达式(02.0554)
正规文法(02.0555) 正规语言(02.0556)
正规集(02.0557) 语言的商(02.0558)
右线性文法(02.0559) 右句型(02.0560)
句子(02.0561) 句型(02.0562)
栈字母表(02.0563) 初始符(02.0564)
状态(02.0565) 抽象语言族(02.0566)
语言替换(02.0567) 后缀(02.0568)
输入带(02.0569) 带字母表(02.0570)
终极符(02.0571) 图灵机(02.0572)
图灵机编码(02.0573) 双栈机(02.0574)
双带图灵机(02.0575) 双向有限自动机(02.0576)
双向无限带(02.0577) 0型文法(02.0578)
0型语言(02.0579) 1型文法(02.0580)
1型语言(02.0581) 2型文法(02.0582)
2型语言(02.0583) 3型文法(02.0584)
3型语言(02.0585) 单产生式(02.0586)
通用语言(02.0587) 通用图灵机(02.0588)
无限制文法(02.0589) 无用字符(02.0590)
(文法的)变量(02.0591) 对可行前缀有效(02.0592)
可行前缀(02.0593)


返回:首页

分类“形式语言与自动机”中的页面

以下117个页面属于本分类,共117个页面。