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 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