User contributions for Pexatus
A user with 125 edits. Account created on 19 April 2005.
16 November 2016
- 19:4619:46, 16 November 2016 diff hist −159 CYK algorithm →As pseudocode: changed pseudocode variables (i,j,k) to correspond to English description, and to be evocative of what they represent (l=length, s=start, v=variable, p=partition location); also changed to one start symbol (like English description)
- 19:4619:46, 16 November 2016 diff hist −5 CYK algorithm →As prose: changed variable names to be evocative of what they represent (l=length, s=start, v=variable, p=partition location); also changed "subsequence" to "substring" and got rid of "word", which can mean "string" but meant "symbol" in this context
22 November 2010
- 00:0700:07, 22 November 2010 diff hist +824 m Talk:Polynomial hierarchy No edit summary
15 February 2008
- 07:5407:54, 15 February 2008 diff hist +72 m Normal number Implemented Mike Rosoft's and Travatore's suggestion about Agavonoff's result.
- 07:5107:51, 15 February 2008 diff hist +101 m Talk:Normal number No edit summary
14 June 2007
- 04:4404:44, 14 June 2007 diff hist −46 m Normal number got rid of that lame "proofs are out of reach" phrase that has bugged me for a while; feel free to put it back if ZFC independence results are shown for normality theorems
11 February 2007
- 08:0908:09, 11 February 2007 diff hist +4 m Talk:Normal number forgot the word "not" before "normal"
- 08:0608:06, 11 February 2007 diff hist −154 m Normal number lexicon neq normal; see talk page
- 08:0508:05, 11 February 2007 diff hist +1,111 m Talk:Normal number No edit summary
7 February 2007
- 02:5702:57, 7 February 2007 diff hist +689 Polynomial hierarchy added explanation for substitution of complete problems as "representatives" of entire class
11 January 2007
- 23:3823:38, 11 January 2007 diff hist −177 m Uno (card game) removed ad
12 November 2006
- 20:5520:55, 12 November 2006 diff hist −22 m Normal number there's lots of non-uniform random distributions
28 October 2006
- 23:3723:37, 28 October 2006 diff hist +1 m Edward R. Murrow changed quote back from "correction" issued by someone who didn't bother to check transcript containing that quote that is linked on this very page
26 October 2006
- 15:1115:11, 26 October 2006 diff hist −52 m Rice's theorem Asking about tape head moving to the left is an undecidable property, removed
- 15:1015:10, 26 October 2006 diff hist +940 m Talk:Rice's theorem Asking about tape head moving to the left is an undecidable property
21 October 2006
- 01:1201:12, 21 October 2006 diff hist −141 m Regular expression McCullough and Pitts reference removed
- 01:0601:06, 21 October 2006 diff hist +385 m Talk:Regular expression Why McCullough and Pitts?
31 August 2006
- 01:5601:56, 31 August 2006 diff hist +440 Limit inferior and limit superior changed "opposite" to "in a dual fashion", since the limsup definition isn't really the "opposite" of liminf; also changed some of that limsup_n nonsense to limsup_{n -> infty}
29 August 2006
- 02:4602:46, 29 August 2006 diff hist +125 m Talk:Turing machine No edit summary
- 02:2702:27, 29 August 2006 diff hist +660 m Talk:Turing machine No edit summary
- 02:2202:22, 29 August 2006 diff hist −121 m Turing machine Removed busy beaver reference; see talk page
12 August 2006
- 05:2705:27, 12 August 2006 diff hist +129 m Polynomial hierarchy added explanation of reason for PH collapse if PH=PSPACE
3 August 2006
- 04:4604:46, 3 August 2006 diff hist +378 m Talk:Polynomial hierarchy No edit summary
- 04:4104:41, 3 August 2006 diff hist +3 m Polynomial hierarchy revert (see talk page)
28 July 2006
- 00:5500:55, 28 July 2006 diff hist +1 m Algorithmically random sequence spelling
- 00:5300:53, 28 July 2006 diff hist +15 m Algorithmically random sequence fixed normal number link
- 00:4900:49, 28 July 2006 diff hist −2 m Algorithmically random sequence changed to product measure
20 June 2006
- 18:3518:35, 20 June 2006 diff hist +813 Talk:Algorithmic information theory No edit summary
18 June 2006
- 02:5202:52, 18 June 2006 diff hist +2,584 m Talk:Algorithmic information theory No edit summary
17 June 2006
- 22:1622:16, 17 June 2006 diff hist +1,763 m Talk:Algorithmic information theory No edit summary
13 June 2006
- 04:1404:14, 13 June 2006 diff hist −1 m Resource-bounded measure sp
12 June 2006
- 02:3302:33, 12 June 2006 diff hist +587 m Talk:Polynomial hierarchy No edit summary
21 April 2006
- 15:2515:25, 21 April 2006 diff hist +350 m Algorithmically random sequence added Kučera as reference
30 March 2006
- 02:5202:52, 30 March 2006 diff hist +2 m Normal number agafonov spelling
25 March 2006
- 19:2719:27, 25 March 2006 diff hist +12 m Normal number typo
- 19:1719:17, 25 March 2006 diff hist +274 m Normal number typo and grammar
24 March 2006
- 20:3820:38, 24 March 2006 diff hist +133 m Algorithmically random sequence fixed schnorr reference
- 20:2620:26, 24 March 2006 diff hist +137 m Algorithmically random sequence added Levin reference
- 00:1400:14, 24 March 2006 diff hist +266 m Algorithmically random sequence typos
21 March 2006
- 06:1006:10, 21 March 2006 diff hist +56 m Resource-bounded measure fixed sequence link
20 March 2006
- 01:0201:02, 20 March 2006 diff hist −1 m Resource-bounded measure typo
19 March 2006
- 21:4321:43, 19 March 2006 diff hist +141 m String (computer science) changed "total order" to "well order"
- 00:2200:22, 19 March 2006 diff hist +160 m Talk:String (computer science) response concerning well-ordering of strings
16 March 2006
- 15:2815:28, 16 March 2006 diff hist +228 m Algorithmically random sequence clarified intuition of null cover
15 March 2006
- 23:3723:37, 15 March 2006 diff hist −7 m Algorithmically random sequence removed redundancy in Kolmogorov complexity definition
9 March 2006
- 06:0706:07, 9 March 2006 diff hist +102 m Algorithmically random sequence bolded definitions and minor edits
- 05:5705:57, 9 March 2006 diff hist +2 m Algorithmic information theory added quotes
- 05:5605:56, 9 March 2006 diff hist +26 m Algorithmically random sequence fixed links
- 02:0702:07, 9 March 2006 diff hist +103 m Disjunctive sequence clarified that this is a sequences of characters; removed context tag
8 March 2006
- 05:1705:17, 8 March 2006 diff hist +24 m Sequence No edit summary
