https://www.vigyanwiki.in/index.php?action=history&feed=atom&title=Template%3AFormal_languages_and_grammars 2026-04-05T22:28:46Z Revision history for this page on the wiki MediaWiki 1.39.3 https://www.vigyanwiki.in/index.php?title=Template:Formal_languages_and_grammars&diff=94365&oldid=prev 2023-02-22T16:43:37Z

<p>1 revision imported from <a href="https://alpha.indicwiki.in/index.php?title=Template:Formal_languages_and_grammars" class="extiw" title="alpha:Template:Formal languages and grammars">alpha:Template:Formal_languages_and_grammars</a></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <tr class="diff-title" lang="en-GB"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 22:13, 22 February 2023</td> </tr><tr><td colspan="2" class="diff-notice" lang="en-GB"><div class="mw-diff-empty">(No difference)</div> </td></tr></table>

Indicwiki https://www.vigyanwiki.in/index.php?title=Template:Formal_languages_and_grammars&diff=94364&oldid=prev 2023-02-13T09:00:00Z

<p>Created page with &quot;{{Navbox with columns | name = Formal languages and grammars | title = <a href="/index.php?title=Automata_theory&amp;action=edit&amp;redlink=1" class="new" title="Automata theory (page does not exist)">Automata theory</a>: <a href="/index.php?title=Formal_language&amp;action=edit&amp;redlink=1" class="new" title="Formal language (page does not exist)">formal languages</a> and <a href="/index.php?title=Formal_grammar&amp;action=edit&amp;redlink=1" class="new" title="Formal grammar (page does not exist)">formal grammars</a> | state = {{{state&lt;includeonly&gt;|aut...&quot;</p> <p><b>New page</b></p><div>{{Navbox with columns<br /> | name = Formal languages and grammars<br /> | title = [[Automata theory]]: [[formal language]]s and [[formal grammar]]s<br /> | state = {{{state&lt;includeonly&gt;|autocollapse&lt;/includeonly&gt;}}}<br /> | listclass = plainlist<br /> <br /> | col1header = [[Chomsky hierarchy]]<br /> | col1style = text-align: center;<br /> | col1 =<br /> * Type-0<br /> * —<br /> * Type-1<br /> * —<br /> * —<br /> * —<br /> * —<br /> * —<br /> * Type-2<br /> * —<br /> * —<br /> * Type-3<br /> * —<br /> * —<br /> <br /> | col2header = [[Formal grammar|Grammars]]<br /> | col2 =<br /> * [[Unrestricted grammar|Unrestricted]]<br /> * (no common name)<br /> * [[Context-sensitive grammar|Context-sensitive]]<br /> * &lt;span style = &quot;white-space:nowrap;&quot;&gt;Positive [[range concatenation grammars|range concatenation]]&lt;/span&gt;<br /> * [[Indexed grammar|Indexed]]<br /> * —<br /> * [[Linear context-free rewriting system]]s<br /> * [[Tree-adjoining grammar|Tree-adjoining]]<br /> * [[Context-free grammar|Context-free]]<br /> * [[Deterministic context-free grammar|Deterministic context-free]]<br /> * [[Nested word|Visibly pushdown]]<br /> * [[Regular grammar|Regular]]<br /> * —<br /> * [[Non-recursive grammar|Non-recursive]]<br /> <br /> | col3header = [[Formal language|Languages]]<br /> | col3 =<br /> * [[Recursively enumerable language|Recursively enumerable]]<br /> * [[Recursive language|Decidable]]<br /> * [[Context-sensitive language|Context-sensitive]]<br /> * &lt;span style = &quot;white-space:nowrap;&quot;&gt;Positive [[Range concatenation language|range concatenation]]&lt;sup&gt;*&lt;/sup&gt;&lt;/span&gt;<br /> * [[Indexed language|Indexed]]&lt;sup&gt;*&lt;/sup&gt;<br /> * —<br /> * [[Linear context-free rewriting language]]<br /> * [[Tree-adjoining grammar|Tree-adjoining]]<br /> * [[Context-free language|Context-free]]<br /> * [[Deterministic context-free language|Deterministic context-free]]<br /> * [[Nested word|Visibly pushdown]]<br /> * [[Regular language|Regular]]<br /> * [[Star-free language|Star-free]]<br /> * [[Finite language|Finite]]<br /> <br /> | col4header = [[Abstract machine]]s<br /> | col4 =<br /> * [[Turing machine]]<br /> * [[Decider (Turing machine)|Decider]]<br /> * [[Linear bounded automaton|Linear-bounded]]<br /> * [[PTIME]] Turing Machine<br /> * [[Nested stack automaton|Nested stack]]<br /> * [[Thread automaton]]<br /> * restricted [[Tree stack automaton]]<br /> * [[Embedded pushdown automaton|Embedded pushdown]]<br /> * [[Pushdown automaton|Nondeterministic pushdown]]<br /> * [[Deterministic pushdown automaton|Deterministic pushdown]]<br /> * [[Nested word|Visibly pushdown]]<br /> * [[Finite-state machine|Finite]]<br /> * [[Aperiodic finite state automaton|Counter-free (with aperiodic finite monoid)]]<br /> * [[Deterministic acyclic finite state automaton|Acyclic finite]]<br /> <br /> | below = &lt;span style = &quot;white-space:nowrap;&quot;&gt;Each category of languages, except those marked by a &lt;sup&gt;*&lt;/sup&gt;, is a [[proper subset]] of the category directly above it.&lt;/span&gt; &lt;span style = &quot;white-space:nowrap;&quot;&gt;Any language in each category is generated by a grammar and by an automaton in the category in the same line.&lt;/span&gt;<br /> <br /> }}&lt;noinclude&gt;<br /> {{collapsible option}}<br /> [[Category:Computer science navigational boxes]]<br /> [[Category:Linguistics navigational boxes]]<br /> &lt;/noinclude&gt;</div>

alpha>Indicwiki