跳转到内容

Template:形式语言与形式文法:修订间差异

维基百科,自由的百科全书
删除的内容 添加的内容
Hildalulau留言 | 贡献
无编辑摘要
老陳留言 | 贡献
取消Hildalulau对话)的编辑;更改回EmausBot的最后一个版本
第1行: 第1行:
{{Navbox
{{Navbox
|name = 形式语言与形式文法
|name = 形式语言与形式文法
|title = [[自动机理论]]:[[形式语言]]和[[形式文法]]
|title =[[自动机理论]]:[[形式语言]]和[[形式文法]]
| list1 =
| list1 =
{{{!}} style="width: 100%"
{{{!}} style="width: 100%"
第9行: 第9行:
! 极小[[自动机]]
! 极小[[自动机]]
{{!}}-
{{!}}-
{{!}}类型0
{{!}} 类型 0
{{!}} [[无限制文法|无限制]]
{{!}} [[无限制文法|无限制]]
{{!}} [[递归可枚举语言|递归可枚举]]
{{!}} [[递归可枚举语言|递归可枚举]]
{{!}} [[图灵机]]
{{!}} [[图灵机]]
{{!}}-
{{!}}-
{{!}}—
{{!}}
{{!}}无公用名
{{!}} (无公用名)
{{!}} [[递归语言|递归]]
{{!}} [[递归语言|递归]]
{{!}} [[判定器]]
{{!}} [[判定器]]
{{!}}-
{{!}}-
{{!}}类型1
{{!}} 类型 1
{{!}} [[上下文有关文法|上下文有关]]
{{!}} [[上下文有关文法|上下文有关]]
{{!}} [[上下文有关语言|上下文有关]]
{{!}} [[上下文有关语言|上下文有关]]
{{!}} [[线性有界自动机|线性有界]]
{{!}} [[线性有界自动机|线性有界]]
{{!}}-
{{!}}-
{{!}}—
{{!}}
{{!}} [[附标文法|附标]]
{{!}} [[附标文法|附标]]
{{!}} [[附标语言|附标]]
{{!}} [[附标语言|附标]]
{{!}} [[嵌套堆栈自动机|嵌套堆栈]]
{{!}} [[嵌套堆栈自动机|嵌套堆栈]]
{{!}}-
{{!}}-
{{!}}—
{{!}}
{{!}} [[Generalized_context-free_grammar#Linear_Context-free_Rewriting_Systems_.28LCFRSs.29|Linear context-free rewriting systems]] etc.
{{!}} [[Generalized_context-free_grammar#Linear_Context-free_Rewriting_Systems_.28LCFRSs.29|Linear context-free rewriting systems]] etc.
{{!}} [[Mildly context-sensitive language|Mildly context-sensitive]]
{{!}} [[Mildly context-sensitive language|Mildly context-sensitive]]
{{!}} [[Thread automata]]
{{!}} [[Thread automata]]
{{!}}-
{{!}}-
{{!}}—
{{!}}
{{!}} [[树-邻接文法|树-邻接]]
{{!}} [[树-邻接文法|树-邻接]]
{{!}} [[适度上下文有关语言|适度上下文有关]]
{{!}} [[适度上下文有关语言|适度上下文有关]]
{{!}} [[嵌入下推自动机|嵌入下推]]
{{!}} [[嵌入下推自动机|嵌入下推]]
{{!}}-
{{!}}-
{{!}}类型2
{{!}} 类型 2
{{!}} [[上下文无关文法|上下文无关]]
{{!}} [[上下文无关文法|上下文无关]]
{{!}} [[上下文无关语言|上下文无关]]
{{!}} [[上下文无关语言|上下文无关]]
{{!}} [[下推自动机|非确定下推]]
{{!}} [[下推自动机|非确定下推]]
{{!}}-
{{!}}-
{{!}}—
{{!}}
{{!}} [[确定上下文无关文法|确定上下文无关]]
{{!}} [[确定上下文无关文法|确定上下文无关]]
{{!}} [[确定上下文无关语言|确定上下文无关]]
{{!}} [[确定上下文无关语言|确定上下文无关]]
{{!}} [[确定下推自动机|确定下推]]
{{!}} [[确定下推自动机|确定下推]]
{{!}}-
{{!}}-
{{!}}—
{{!}}
{{!}} [[Nested word|Visibly pushdown]]
{{!}} [[Nested word|Visibly pushdown]]
{{!}} [[Nested word|Visibly pushdown]]
{{!}} [[Nested word|Visibly pushdown]]
{{!}} [[Nested word|Visibly pushdown]]
{{!}} [[Nested word|Visibly pushdown]]
{{!}}-
{{!}}-
{{!}}类型3
{{!}} 类型 3
{{!}} [[正则文法|正则]]
{{!}} [[正则文法|正则]]
{{!}} [[正则语言|正则]]
{{!}} [[正则语言|正则]]
{{!}} [[自动机|有限]]
{{!}} [[自动机|有限]]
{{!}}-
{{!}}-
{{!}}—
{{!}}
{{!}}—
{{!}}
{{!}} [[Star-free language|Star-free]]
{{!}} [[Star-free language|Star-free]]
{{!}} [[Aperiodic finite state automaton|Counter-free (with aperiodic finite monoid)]]
{{!}} [[Aperiodic finite state automaton|Counter-free (with aperiodic finite monoid)]]
{{!}}}
{{!}}}


|below = <small><span style="white-space:nowrap;">每个语言或文法范畴都是其直接上面的范畴的[[子集|真子集]]</span> <span style="white-space:nowrap;">Any automaton and any grammar in each category has an equivalent automaton or grammar in the category directly above it.</span></small>
|below = <small><span style="white-space:nowrap;">每个语言或文法范畴都是其直接上面的范畴的[[子集|真子集]]</span> <span style="white-space:nowrap;">Any automaton and any grammar in each category has an equivalent automaton or grammar in the category directly above it.</span></small>
}}
}}
<noinclude>
<noinclude>
[[Category:形式语言]]
[[Category:形式语言]]
















</noinclude>
</noinclude>

2016年4月22日 (五) 18:05的版本