Template:Formal languages and grammars: Revision history

30 August 2023

• curprev 20:0420:04, 30 August 2023‎ SdkbBot talk contribs‎ m 2,870 bytes +2‎ →‎top: Switched to more comprehensive documentation (task 4) undo Tag: AWB

21 July 2022

• curprev 06:3806:38, 21 July 2022‎ Tea2min talk contribs‎ 2,868 bytes +10‎ Skip redirect post-move. undo

20 July 2022

• curprev 12:5212:52, 20 July 2022‎ Jochen Burghardt talk contribs‎ 2,858 bytes −16‎ why not shortcut the redirect and use the more informative name "Decider Turing machine"? We have plenty of space in this column undo
• curprev 11:1711:17, 20 July 2022‎ Tea2min talk contribs‎ 2,874 bytes +5‎ Better match of link text and link target in piped link. (Both Machine that always halts and Decider (computability theory) redirect to Decider Turing machine.) undo

23 May 2019

• curprev 23:1723:17, 23 May 2019‎ Uanfala talk contribs‎ 2,869 bytes +9‎ refine cat undo

6 October 2017

• curprev 04:4404:44, 6 October 2017‎ Izno talk contribs‎ 2,860 bytes −44‎ kill global nowrap undo Tag: 2017 wikitext editor

21 July 2017

• curprev 03:0503:05, 21 July 2017‎ Golopotw talk contribs‎ 2,904 bytes +7‎ No edit summary undo

14 February 2017

• curprev 19:0619:06, 14 February 2017‎ Jochen Burghardt talk contribs‎ 2,897 bytes −94‎ unrestricted grammars undoubtedly correspond to Turing machines; it is at best disputable whether any hypercomputing mechanism can be realized, cf. Hypercomputation#Criticism undo
• curprev 15:1815:18, 14 February 2017‎ Erkinalp9035 talk contribs‎ 2,991 bytes +2‎ No edit summary undo Tag: 2017 wikitext editor
• curprev 15:1815:18, 14 February 2017‎ Erkinalp9035 talk contribs‎ 2,989 bytes +92‎ No edit summary undo Tag: 2017 wikitext editor

11 August 2016

• curprev 12:1412:14, 11 August 2016‎ 2a02:810a:8380:c260:7fbd:ba5e:b131:d42e talk‎ 2,897 bytes −20‎ No edit summary undo
• curprev 09:2609:26, 11 August 2016‎ Tdenk talk contribs‎ 2,917 bytes +52‎ added restricted tree stack automata undo

28 November 2015

• curprev 19:0819:08, 28 November 2015‎ Jochen Burghardt talk contribs‎ 2,865 bytes −81‎ Undid revision 692801064 by 178.245.248.177: the only new link, Hypercomputation, gives no precise definition of its subject undo
• curprev 11:4511:45, 28 November 2015‎ 178.245.248.177 talk‎ 2,946 bytes +81‎ No edit summary undo

20 April 2015

• curprev 18:2818:28, 20 April 2015‎ Jochen Burghardt talk contribs‎ 2,865 bytes −9‎ Undid revision 657358429 by 142.204.16.34 (talk): see Template talk:Formal languages and grammars#Removing "recursive grammar" undo
• curprev 17:5717:57, 20 April 2015‎ 142.204.16.34 talk‎ 2,874 bytes +9‎ No edit summary undo

5 March 2015

• curprev 14:3414:34, 5 March 2015‎ Harp talk contribs‎ m 2,865 bytes 0‎ proper subset for languages (as in the footer) not for grammars undo

12 September 2014

• curprev 04:1904:19, 12 September 2014‎ David Eppstein talk contribs‎ 2,865 bytes −23‎ Remove {{citation needed}} tag. A navigation template like this is a horrible place to put this — templates don't need citations and it unnecessarily adds the tag to large numbers of articles. undo

20 August 2014

• curprev 13:0513:05, 20 August 2014‎ JMP EAX talk contribs‎ 2,888 bytes 0‎ No edit summary undo
• curprev 13:0413:04, 20 August 2014‎ JMP EAX talk contribs‎ 2,888 bytes −21‎ see discussion at WP:COMPSCI. Also dropping "minimal" as it's self-understood in the other columns undo

18 August 2014

• curprev 20:4120:41, 18 August 2014‎ JMP EAX talk contribs‎ 2,909 bytes −4‎ these parentheses are kinda distracting even though people usually mean positive when they say RCG (cf. Kallmeyer) undo
• curprev 20:3920:39, 18 August 2014‎ JMP EAX talk contribs‎ 2,913 bytes +52‎ since we don't know yet (although widely assumed to be so) whether the inclusion PTIME ⊂ PSPACE is strict... undo
• curprev 17:1517:15, 18 August 2014‎ JMP EAX talk contribs‎ 2,861 bytes +130‎ fix wrapping problem undo

17 August 2014

• curprev 21:2721:27, 17 August 2014‎ JMP EAX talk contribs‎ 2,731 bytes −2‎ this is apparently unnecessarily pedantic in this field; see discussion at WT:WPM undo
• curprev 17:0417:04, 17 August 2014‎ JMP EAX talk contribs‎ 2,733 bytes −70‎ removed "mildly for now" undo
• curprev 16:5916:59, 17 August 2014‎ JMP EAX talk contribs‎ 2,803 bytes +1‎ TA is not ''minimal'' for LCFRS cf. Kallmeyer p. 215 undo
• curprev 13:5813:58, 17 August 2014‎ AnomieBOT talk contribs‎ m 2,802 bytes +34‎ [BRFA55] Dating maintenance tags: {{Cn}} undo
• curprev 13:3813:38, 17 August 2014‎ JMP EAX talk contribs‎ 2,768 bytes +6‎ according to whom? undo
• curprev 13:0513:05, 17 August 2014‎ JMP EAX talk contribs‎ 2,762 bytes +24‎ I don't think the containment of these is known undo
• curprev 13:0313:03, 17 August 2014‎ JMP EAX talk contribs‎ 2,738 bytes +58‎ added Mildly context-sensitive language with no matching grammar (per talk) undo
• curprev 13:0113:01, 17 August 2014‎ JMP EAX talk contribs‎ 2,680 bytes −6‎ No edit summary undo
• curprev 13:0113:01, 17 August 2014‎ JMP EAX talk contribs‎ 2,686 bytes −26‎ REDO undo
• curprev 12:5912:59, 17 August 2014‎ JMP EAX talk contribs‎ 2,712 bytes +51‎ Aaaaaaaaaaaaaaarghhhhhhhhhhhhh. I find the way these lists are designed/edited EXTREMELY ERROR PRONE. Who came up with this column-oriented design in which is so FUCKING HARD TO ALIGN ROWS??? undo
• curprev 12:5712:57, 17 August 2014‎ JMP EAX talk contribs‎ 2,661 bytes −51‎ LCRFL and I don't see why it's tagged as not superclassing tree-adjoining when they do (TAG does not mean MCTAG) undo
• curprev 12:5512:55, 17 August 2014‎ JMP EAX talk contribs‎ 2,712 bytes −5‎ these aren't sets, dude undo
• curprev 09:5109:51, 17 August 2014‎ AnomieBOT talk contribs‎ m 2,717 bytes +17‎ [BRFA55] Dating maintenance tags: {{Dubious}} undo
• curprev 09:2909:29, 17 August 2014‎ JMP EAX talk contribs‎ 2,700 bytes +6‎ balanced undo
• curprev 09:1809:18, 17 August 2014‎ JMP EAX talk contribs‎ 2,694 bytes 0‎ No edit summary undo
• curprev 09:1609:16, 17 August 2014‎ JMP EAX talk contribs‎ 2,694 bytes +130‎ No edit summary undo

17 March 2014

• curprev 23:3823:38, 17 March 2014‎ Qwertyus talk contribs‎ 2,564 bytes +55‎ tries are by no means minimal undo

16 March 2014

• curprev 18:3818:38, 16 March 2014‎ Jochen Burghardt talk contribs‎ 2,509 bytes 0‎ plural-->singular undo
• curprev 18:3718:37, 16 March 2014‎ Jochen Burghardt talk contribs‎ 2,509 bytes −120‎ removed a * after copying a justification Mildly context-sensitive language#Formalisms --> Tree-adjoining grammar#Complexity and application; used new redirect for LCFRS undo

14 March 2014

• curprev 12:2312:23, 14 March 2014‎ Jochen Burghardt talk contribs‎ 2,629 bytes +112‎ temporarily(?) marked non-containment or unknown containment to avoid false claims; cf Template talk:Formal languages and grammars#Subsets not proper undo
• curprev 09:1209:12, 14 March 2014‎ Jochen Burghardt talk contribs‎ 2,517 bytes +11‎ removed repeated "grammar", "language", "automaton" undo
• curprev 07:4007:40, 14 March 2014‎ Jochen Burghardt talk contribs‎ 2,506 bytes +77‎ suggest to add finite languages undo

15 February 2014

• curprev 12:3312:33, 15 February 2014‎ Bernard Lang~enwiki talk contribs‎ m 2,429 bytes −10‎ In column 2, I removed twice "etc." as not useful and causing an alignment error in the table. undo

10 February 2014

• curprev 16:1016:10, 10 February 2014‎ Jochen Burghardt talk contribs‎ 2,439 bytes −57‎ removing "mildly-cs" entry (not a single lang class, cf. talk page); Caption: stating equivalence of formalisms in a line (hope that's true in every line, please crosscheck); removing now-redundant inclusion of grammars+automata undo

21 January 2014

• curprev 21:5921:59, 21 January 2014‎ Jochen Burghardt talk contribs‎ 2,496 bytes 0‎ piped "decidable language" to "recursive language" to avoid redirect, as suggested by NSH001 on talk page undo
• curprev 10:1010:10, 21 January 2014‎ Jochen Burghardt talk contribs‎ 2,496 bytes 0‎ re-did my edit of 11 Jan ('recursive'-->'decidable') after format/layout improvements; see talk page, section 'Removing "recursive grammar"' undo

19 January 2014

• curprev 22:1222:12, 19 January 2014‎ NSH002 talk contribs‎ 2,496 bytes −208‎ use {{Navbox with columns}}, remove non-template category, add new template cat; left-aligned looks better, apart from col 1; fix redirect; remove <small> tags for readability undo