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的版本