Deterministic pushdown automaton: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 10:4110:41, 4 June 2025 Jochen Burghardt talk contribs 10,012 bytes +4 →top: grammar undo

curprev 19:5719:57, 3 June 2025 Sahaib talk contribs 10,008 bytes +77 add hatnote undo

curprev 06:5506:55, 31 January 2025 223.185.50.133 talk 9,931 bytes −1 No edit summary undo Tags: Manual revert Visual edit
curprev 06:5506:55, 31 January 2025 223.185.50.133 talk 9,932 bytes +1 No edit summary undo Tags: Reverted Visual edit

curprev 06:0906:09, 27 November 2024 Anon423 talk contribs 9,931 bytes +59 Adding short description: "Abstract machine in computer science" undo Tag: Shortdesc helper

curprev 03:1403:14, 30 May 2024 Citation bot talk contribs 9,872 bytes −28 Add: authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Jay8g | Category:CS1 errors: DOI | #UCB_Category 2/4 undo

curprev 15:0515:05, 29 May 2024 Jochen Burghardt talk contribs 9,900 bytes 0 →Closure: per MOS:PUNCTREF undo
curprev 09:2609:26, 29 May 2024 A3nm talk contribs 9,900 bytes +413 →Closure: add reference for complementation claim undo Tag: 2017 wikitext editor

curprev 15:4215:42, 8 March 2024 Dexxor talk contribs m 9,487 bytes +566 →Formal definition: add references for the acceptance criteria paragraph undo

curprev 09:1009:10, 18 August 2023 OAbot talk contribs m 8,921 bytes −4 Open access bot: doi updated in citation with #oabot. undo

curprev 08:1108:11, 30 July 2023 AP 499D25 talk contribs 8,925 bytes −2 Reverted good faith edits by 103.171.169.42 (talk): It is automaton - 'automation' and 'automaton' are two different things undo Tags: Twinkle Undo
curprev 08:0008:00, 30 July 2023 103.171.169.42 talk 8,927 bytes +2 Added character undo Tags: Reverted Mobile edit Mobile web edit

curprev 12:5412:54, 20 July 2022 Jochen Burghardt talk contribs 8,925 bytes −4 →Formal definition: grammar undo
curprev 12:1512:15, 20 July 2022 103.77.20.159 talk 8,929 bytes +16 name added undo Tag: Visual edit

curprev 22:1922:19, 21 December 2021 Toploftical talk contribs 8,913 bytes +7 →Further reading: link undo

curprev 12:4312:43, 11 December 2021 Citation bot talk contribs 8,906 bytes +19 Add: s2cid. | Use this bot. Report bugs. | Suggested by Abductive | Category:Formal languages | #UCB_Category 197/214 undo

curprev 06:5306:53, 5 July 2021 OAbot talk contribs m 8,887 bytes +36 Open access bot: doi added to citation with #oabot. undo

curprev 17:0417:04, 3 May 2021 Zinnober9 talk contribs m 8,851 bytes +1 memoize->memorize - Fix a typo in one click undo

curprev 12:0412:04, 22 January 2021 Jochen Burghardt talk contribs 8,850 bytes +4 Undid revision 1001999722 by 2405:205:F:62B5:6B04:2D41:2B00:543B (talk) undo Tag: Undo
curprev 09:5109:51, 22 January 2021 2405:205:f:62b5:6b04:2d41:2b00:543b talk 8,846 bytes −4 No edit summary undo Tags: Reverted Mobile edit Mobile web edit

curprev 14:1614:16, 18 December 2020 Tom.Reding talk contribs m 8,850 bytes +9 Enum 1 author/editor WL; WP:GenFixes on undo Tag: AWB

curprev 02:1802:18, 8 December 2020 Monkbot talk contribs m 8,841 bytes −35 Task 18 (cosmetic): eval 9 templates: del empty params (4×); hyphenate params (1×); undo Tag: AWB

curprev 10:4310:43, 9 June 2020 InternetArchiveBot talk contribs 8,876 bytes +130 Bluelink 2 books for verifiability (prndis)) #IABot (v2.0.1) (GreenC bot undo

curprev 22:4022:40, 11 April 2020 OAbot talk contribs m 8,746 bytes +17 Open access bot: doi added to citation with #oabot. undo

curprev 16:2616:26, 18 December 2019 InternetArchiveBot talk contribs 8,729 bytes +71 Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

curprev 12:2812:28, 13 September 2019 AnomieBOT talk contribs m 8,658 bytes +20 Dating maintenance tags: {{Reference needed}} undo
curprev 12:0612:06, 13 September 2019 A3nm talk contribs 8,638 bytes +20 →Formal definition: {{reference needed}} undo Tag: 2017 wikitext editor

curprev 04:5904:59, 8 September 2019 InternetArchiveBot talk contribs 8,618 bytes +90 Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

curprev 15:4415:44, 19 July 2019 Nemo bis talk contribs 8,528 bytes −44 Alter: author, author2, author3, title. Add: doi, title-link, author-link, author pars. 2-3. Removed URL that duplicated unique identifier. | You can use this tool yourself. Report bugs here. undo

curprev 09:3809:38, 7 May 2019 180.248.239.102 talk 8,572 bytes −10 →Closure undo
curprev 09:3709:37, 7 May 2019 180.248.239.102 talk 8,582 bytes +10 →Closure undo

curprev 18:1618:16, 30 April 2019 Jochen Burghardt talk contribs 8,572 bytes +649 →Equivalence problem: fix ICALP ref. (not a journal); add 1997 TR with full (old) proof; convert 2001/2 ref.s to ((cite)); add URLs undo
curprev 17:5017:50, 30 April 2019 Jochen Burghardt talk contribs 7,923 bytes −1 inlined 2 Sénizergues ref.s about decidability of DCFL equivalence undo
curprev 17:1717:17, 30 April 2019 Jochen Burghardt talk contribs 7,924 bytes +478 →Languages recognized: mention LL(1) subsetneq DCFL undo
curprev 17:0717:07, 30 April 2019 Jochen Burghardt talk contribs 7,446 bytes +554 →Languages recognized: replaced confusing argument by argument from H.+M.+U. undo

curprev 16:5316:53, 21 October 2018 Tea2min talk contribs 6,892 bytes +550 Undid revision 865081405 by 103.112.213.67 (talk) undo Tag: Undo
curprev 16:2216:22, 21 October 2018 103.112.213.67 talk 6,342 bytes −550 →Properties undo

curprev 12:4012:40, 3 October 2018 85.180.238.215 talk 6,892 bytes +2 →Equivalence problem: accents aigus undo

curprev 13:5113:51, 25 April 2018 Yuval Filmus talk contribs 6,890 bytes +1,292 Undid revision 838165470 by 148.252.209.12 (talk) undo Tag: Undo
curprev 09:3209:32, 25 April 2018 148.252.209.12 talk 5,598 bytes −1,292 →Formal definition undo

curprev 22:0822:08, 23 March 2018 141.58.17.92 talk 6,890 bytes +17 →Formal definition undo

curprev 12:5612:56, 20 August 2017 Quinton Feldberg talk contribs m 6,873 bytes +64 fix citations undo

curprev 14:4614:46, 8 May 2017 24.211.151.200 talk 6,809 bytes +4 →Languages recognized undo
curprev 14:4614:46, 8 May 2017 24.211.151.200 talk 6,805 bytes −3 →Languages recognized undo

curprev 21:5221:52, 16 September 2016 Yuval Filmus talk contribs 6,808 bytes +159 →Formal definition: Clarified the definition of deterministic context-free language undo

curprev 11:3111:31, 11 September 2016 Jochen Burghardt talk contribs 6,649 bytes +49 avoid natural-language text inside a formula; it is ok to give a slightly larger codomain since delta needn't be surjective undo
curprev 09:0009:00, 11 September 2016 R4rounak talk contribs 6,600 bytes −75 Symbol for power set no longer required undo
curprev 08:5608:56, 11 September 2016 R4rounak talk contribs 6,675 bytes +26 The Codomain was written incorrectly. This can be verified by checking the Wikipedia entry on Pushdown automata. undo Tag: Visual edit: Switched

curprev 10:3410:34, 16 May 2016 Jochen Burghardt talk contribs 6,649 bytes +1 →top: ... but 'class' is sing. undo
curprev 10:3410:34, 16 May 2016 Jochen Burghardt talk contribs 6,648 bytes +34 →top: plural should be here undo

4 June 2025

3 June 2025

31 January 2025

27 November 2024

30 May 2024

29 May 2024

8 March 2024

18 August 2023

30 July 2023

20 July 2022

21 December 2021

11 December 2021

5 July 2021

3 May 2021

22 January 2021

18 December 2020

8 December 2020

9 June 2020

11 April 2020

18 December 2019

13 September 2019

8 September 2019

19 July 2019

7 May 2019

30 April 2019

21 October 2018

3 October 2018

25 April 2018

23 March 2018

20 August 2017

8 May 2017

16 September 2016

11 September 2016

16 May 2016