Kleene's algorithm: 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 05:2805:28, 25 October 2023 Citation bot talk contribs 17,207 bytes −80 Alter: title, template type. Add: chapter. Removed proxy/dead URL that duplicated identifier. Removed parameters. | Use this bot. Report bugs. | #UCB_CommandLine undo

curprev 12:2112:21, 12 October 2023 81.194.27.158 talk 17,287 bytes 0 Typo in the title of Kleene's article undo

curprev 04:1404:14, 15 November 2021 Citation bot talk contribs 17,287 bytes +19 Add: s2cid, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_toolbar undo

curprev 01:2701:27, 25 July 2020 Meters talk contribs m 17,277 bytes −617 Reverted edits by 38.18.114.116 (talk) to last version by Citation bot undo Tag: Rollback
curprev 00:0500:05, 25 July 2020 38.18.114.116 talk 17,894 bytes +617 →Algorithm description: Preventative delineation. undo

curprev 03:3103:31, 1 December 2019 Citation bot talk contribs m 17,277 bytes −25 Alter: url. Add: volume. Removed URL that duplicated unique identifier. | You can use this bot yourself. Report bugs here.| Activated by User:Nemo bis | via #UCB_webform undo

curprev 13:1613:16, 8 August 2019 A3nm talk contribs 17,207 bytes +485 →Algorithm description: fix to add ε in the case where i=j, as per https://en.wikipedia.org/wiki/User_talk:A3nm#Kleene%27s_algorithm undo Tag: Visual edit: Switched
curprev 13:1113:11, 8 August 2019 A3nm talk contribs 16,722 bytes +139 →Algorithm description: point out that the algorithm is in gross2004handbook undo Tag: 2017 wikitext editor
curprev 13:0813:08, 8 August 2019 A3nm talk contribs 16,583 bytes +80 →Algorithm description: fix discussion of Hopcroft and Ullman and link, as per https://en.wikipedia.org/wiki/User_talk:A3nm#Kleene%27s_algorithm undo Tag: 2017 wikitext editor

curprev 22:0822:08, 27 April 2018 Dylanmorroll talk contribs 15,116 bytes −139 Updated some more of the Kleene algebra simplifications to give more concise forms - again can provide proof if needed! I've checked these new expressions are equivalent to the old ones and to the expressions their derived from. undo
curprev 18:0518:05, 27 April 2018 Dylanmorroll talk contribs 15,255 bytes −73 Changed the result of R^2_{01} to a more simplified version. (I can provide proof if needed!) undo

curprev 10:3610:36, 22 February 2018 Jochen Burghardt talk contribs 15,328 bytes +227 →Algorithm description: suggest to give upper bound for reg.exp. of M, too, for convenience undo
curprev 10:2610:26, 22 February 2018 Jochen Burghardt talk contribs 15,101 bytes +366 →Algorithm description: upper bound for the length of R^k_{ij} undo
curprev 09:5109:51, 22 February 2018 Jochen Burghardt talk contribs 14,735 bytes +22 →Algorithm description: guessed sect. and page number in Kleene's 1956 paper (not *quite* sure, crosscheck appreciated) undo

curprev 22:4022:40, 31 January 2018 63.232.95.4 talk 14,713 bytes +545 →Example: Simplified remaining results using this tool: http://ivanzuzak.info/noam/webapps/regex_simplifier/ undo

curprev 20:5620:56, 8 March 2017 Headbomb talk contribs m 14,168 bytes +18 →Example: Double sup/double sub tags using AWB undo
curprev 20:5620:56, 8 March 2017 Headbomb talk contribs m 14,150 bytes +18 →Example: Double sup/double sub tags using AWB undo
curprev 20:5620:56, 8 March 2017 Headbomb talk contribs m 14,132 bytes +18 →Example: Double sup/double sub tags using AWB undo

curprev 21:0421:04, 7 March 2017 Headbomb talk contribs m 14,114 bytes +40 Proper minus signs and other cleanup. Report bugs, errors, and suggestions at User talk:MinusBot using AWB undo