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

以互动方式浏览历史

←上一版本下一版本→

删除的内容添加的内容

可视化wikitext

行内

2016年4月17日 (日) 16:00的版本

@@ 第1行： / 第1行： @@
 {{Navbox
 |name = 形式语言与形式文法
-|title   =[[自动机理论]]：[[形式语言]]和[[形式文法]]
+|title = [[自动机理论]]：[[形式语言]]和[[形式文法]]
 | list1 =
  {{{!}} 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.
  {{!}} [[Mildly context-sensitive language|Mildly context-sensitive]]
  {{!}} [[Thread automata]]
  {{!}}-
- {{!}} —
+ {{!}}—
  {{!}} [[树-邻接文法|树-邻接]]
  {{!}} [[适度上下文有关语言|适度上下文有关]]
  {{!}} [[嵌入下推自动机|嵌入下推]]
  {{!}}-
- {{!}} 类型 2
+ {{!}}类型2
  {{!}} [[上下文无关文法|上下文无关]]
  {{!}} [[上下文无关语言|上下文无关]]
  {{!}} [[下推自动机|非确定下推]]
  {{!}}-
- {{!}} —
+ {{!}}—
  {{!}} [[确定上下文无关文法|确定上下文无关]]
  {{!}} [[确定上下文无关语言|确定上下文无关]]
  {{!}} [[确定下推自动机|确定下推]]
  {{!}}-
- {{!}} —
+ {{!}}—
  {{!}} [[Nested word|Visibly pushdown]]
  {{!}} [[Nested word|Visibly pushdown]]
  {{!}} [[Nested word|Visibly pushdown]]
  {{!}}-
- {{!}} 类型 3
+ {{!}}类型3
  {{!}} [[正则文法|正则]]
  {{!}} [[正则语言|正则]]
  {{!}} [[自动机|有限]]
  {{!}}-
- {{!}} —
+ {{!}}—
- {{!}} —
+ {{!}}—
  {{!}} [[Star-free language|Star-free]]
  {{!}} [[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>
 [[Category:形式语言]]
 </noinclude>