Thompson's construction: 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 19:5519:55, 12 July 2024‎ Discospinster talk contribs‎ m 13,329 bytes −43‎ Reverted edits by 2403:6200:8916:7E4:81C2:A7BA:D778:FFE7 (talk) (HG) (3.4.12) undo Tags: Huggle Rollback
curprev 19:5119:51, 12 July 2024‎ 2403:6200:8916:7e4:81c2:a7ba:d778:ffe7 talk‎ 13,372 bytes +43‎ →‎Rules undo Tags: Reverted Mobile edit Mobile web edit

curprev 13:3613:36, 16 May 2024‎ 178.197.168.17 talk‎ 13,329 bytes −2‎ →‎Rules: the proof is based on structural induction, not mathematical induction. undo

curprev 09:4909:49, 25 July 2023‎ Citation bot talk contribs‎ 13,331 bytes +1‎ Misc citation tidying. | Use this bot. Report bugs. | #UCB_CommandLine undo

curprev 19:2719:27, 29 January 2023‎ OAbot talk contribs‎ m 13,330 bytes +17‎ Open access bot: doi added to citation with #oabot. undo

curprev 23:5323:53, 11 November 2022‎ The Anome talk contribs‎ 13,313 bytes +6‎ fmt headword undo Tag: Visual edit

curprev 17:5717:57, 3 November 2022‎ Jochen Burghardt talk contribs‎ 13,307 bytes +21‎ →‎top: "transform" is more specific; singular is more precise; expand "(N)FA" undo
curprev 17:4517:45, 3 November 2022‎ Deep Gabriel talk contribs‎ 13,286 bytes +69‎ Adding short description: "Algorithm relating regular expressions to NFAs" undo Tag: Shortdesc helper

curprev 04:5904:59, 15 November 2021‎ Citation bot talk contribs‎ 13,217 bytes +16‎ Add: s2cid. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_toolbar undo

curprev 23:5323:53, 19 March 2021‎ 181.94.229.53 talk‎ 13,201 bytes +2‎ →‎Small Example undo

curprev 16:5716:57, 9 February 2021‎ AnomieBOT talk contribs‎ m 13,199 bytes +19‎ Dating maintenance tags: {{Clarification needed}} undo
curprev 16:3016:30, 9 February 2021‎ Jochen Burghardt talk contribs‎ 13,180 bytes 0‎ →‎The algorithm: rename to upper case delta to be consistent with Nondeterministic finite automaton; I guess this resolves the ((clarify)) undo
curprev 16:1516:15, 9 February 2021‎ MaxEnt talk contribs‎ 13,180 bytes +175‎ flag undefined transition function for clarify undo
curprev 16:0616:06, 9 February 2021‎ MaxEnt talk contribs‎ m 13,005 bytes +4‎ ndashes undo

curprev 18:3918:39, 14 January 2021‎ Yobot talk contribs‎ m 13,001 bytes +6‎ References after punctuation per WP:REFPUNCT, WP:CITEFOOT, WP:PAIC + other fixes undo Tag: AWB

curprev 15:1515:15, 4 February 2020‎ 162.246.240.72 talk‎ 12,995 bytes +30‎ →‎References: Added navbar undo

curprev 04:1204:12, 18 December 2019‎ InternetArchiveBot talk contribs‎ 12,965 bytes +66‎ Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

curprev 07:3107:31, 27 October 2019‎ Stuart.clayton.22 talk contribs‎ m 12,899 bytes −1‎ agreed -> agree undo

curprev 20:5920:59, 7 September 2019‎ InternetArchiveBot talk contribs‎ 12,900 bytes +77‎ Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

curprev 18:1718:17, 14 March 2019‎ Citation bot talk contribs‎ m 12,823 bytes +40‎ Alter: page, isbn. Add: chapter-format, chapter-url. Removed or converted URL. Removed parameters. Formatted dashes. | You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 04:0204:02, 13 November 2018‎ 2607:fea8:2c5f:ff7b:293a:7631:1594:1e19 talk‎ 12,783 bytes +49‎ Add link to algorithm creator Ken Thompson undo

curprev 01:1001:10, 29 June 2018‎ Jonesey95 talk contribs‎ 12,734 bytes −1‎ Fix invalid self-closed HTML tag or other HTML Tidy-related tag error undo

curprev 10:3910:39, 27 June 2018‎ Jochen Burghardt talk contribs‎ 12,735 bytes −4‎ →‎top: grammar undo

curprev 21:1621:16, 26 June 2018‎ Bhbuehler talk contribs‎ 12,739 bytes +242‎ →‎Rules: Clarification that the Dragon Book has an induction proof that the resulting construction is equivalent; undo
curprev 21:0721:07, 26 June 2018‎ Bhbuehler talk contribs‎ 12,497 bytes +590‎ Added alternate name for algorithm given in Dragon Book; Updated Dragon Book citation; undo
curprev 20:0420:04, 26 June 2018‎ Bhbuehler talk contribs‎ m 11,907 bytes +378‎ Minor: add citation for definition of Thompson's construction undo

curprev 01:4501:45, 10 January 2018‎ Cedar101 talk contribs‎ m 11,529 bytes +33‎ →‎Application of the algorithm: nowrap undo
curprev 00:0900:09, 10 January 2018‎ Daviddwd talk contribs‎ 11,496 bytes +19‎ →‎Rules: clarified meaning of N(s) and N(t) (and fixed grammatical number) undo

curprev 06:4806:48, 9 January 2018‎ Jochen Burghardt talk contribs‎ 11,477 bytes −50‎ Undid revision 819383626 by Daviddwd (talk): s,t are assumed, not defined; nfa was linked in the lead undo Tag: Undo
curprev 02:1202:12, 9 January 2018‎ Daviddwd talk contribs‎ 11,527 bytes +50‎ →‎The algorithm undo

curprev 02:1102:11, 27 September 2017‎ Cedar101 talk contribs‎ m 11,477 bytes −8‎ →‎Small Example: {{code}} undo
curprev 02:1002:10, 27 September 2017‎ Cedar101 talk contribs‎ m 11,485 bytes +8‎ →‎Small Example: {{!}} undo
curprev 02:0702:07, 27 September 2017‎ Cedar101 talk contribs‎ m 11,477 bytes +20‎ →‎Small Example: thumbnail image undo

curprev 18:0018:00, 15 September 2017‎ 82.233.37.6 talk‎ 11,457 bytes +1‎ No edit summary undo

curprev 12:1812:18, 24 August 2017‎ Jochen Burghardt talk contribs‎ 11,456 bytes +361‎ →‎top: mention use in deciding regex equivalence undo

curprev 01:2701:27, 16 August 2017‎ DavidBrooks talk contribs‎ 11,095 bytes −110‎ Reverted 1 edit by Thommo.xo (talk): One of many invalid self-referring vandalisms by this user. (TW) undo
curprev 01:0301:03, 16 August 2017‎ Thommo.xo talk contribs‎ m 11,205 bytes +110‎ added information undo

curprev 06:5106:51, 14 April 2017‎ Jochen Burghardt talk contribs‎ 11,095 bytes +70‎ →‎References: commons category undo

curprev 22:2822:28, 13 January 2017‎ AHMartin talk contribs‎ 11,025 bytes −33‎ Rm: technical template - article is now approachable undo
curprev 22:2522:25, 13 January 2017‎ AHMartin talk contribs‎ 11,058 bytes −20‎ Cleanup: simplify lead paragraphs undo

curprev 02:2602:26, 28 November 2016‎ Unready talk contribs‎ m 11,078 bytes +101‎ →‎Application of the algorithm: nowiki undo Tag: nowiki added
curprev 02:0402:04, 28 November 2016‎ Unready talk contribs‎ m 10,977 bytes −899‎ <code> undo

curprev 20:5420:54, 25 November 2016‎ Bpg1968 talk contribs‎ m 11,876 bytes +1‎ Fixed a small typo undo

curprev 04:3904:39, 23 June 2016‎ Seevz talk contribs‎ m 11,875 bytes +8‎ Fixed some grammar undo

curprev 17:3917:39, 18 May 2016‎ Headbomb talk contribs‎ m 11,867 bytes +6‎ →‎Relation to other algorithms: clean up, replaced: IEEE Trans. on Electronic Computers → IEEE Transactions on Electronic Computers using AWB undo
curprev 17:2417:24, 18 May 2016‎ Headbomb talk contribs‎ m 11,861 bytes −4‎ re-categorisation per CFD using AWB undo

curprev 07:1907:19, 11 April 2016‎ 68.189.8.194 talk‎ 11,865 bytes −10‎ The shapes are ovals, not circles undo

curprev 20:4120:41, 23 January 2016‎ Arthur MILCHIOR talk contribs‎ 11,875 bytes +116‎ →‎Relation to other algorithms undo

curprev 09:2209:22, 18 December 2015‎ 115.248.237.201 talk‎ 11,759 bytes −1‎ →‎Application of this algorithm undo
curprev 09:2109:21, 18 December 2015‎ 115.248.237.201 talk‎ 11,760 bytes +1‎ →‎Application of this algorithm undo

12 July 2024

16 May 2024

25 July 2023

29 January 2023

11 November 2022

3 November 2022

15 November 2021

19 March 2021

9 February 2021

14 January 2021

4 February 2020

18 December 2019

27 October 2019

7 September 2019

14 March 2019

13 November 2018

29 June 2018

27 June 2018

26 June 2018

10 January 2018

9 January 2018

27 September 2017

15 September 2017

24 August 2017

16 August 2017

14 April 2017

13 January 2017

28 November 2016

25 November 2016

23 June 2016

18 May 2016

11 April 2016

23 January 2016

18 December 2015