Parikh's theorem: Revision history

17 May 2024

• curprev 08:2908:29, 17 May 2024‎ NerdOnTour talk contribs‎ 10,673 bytes +278‎ Revision of the proof of p(L_U) \supset p(F\cdot G^*). In the former version, it was stated that |w| < N^k implies w \in F. This is wrong. Therefore, I adapted the proof. Now the induction is not on the length of w, but on the number of factors of G that occur in w. undo

16 May 2024

• curprev 10:3610:36, 16 May 2024‎ NerdOnTour talk contribs‎ 10,395 bytes +81‎ I have put a proof in context. (Before the change, I thought that the proof was for the strengthened pumping lemma. But instead, that proof is only sketched. I hope that this is clearer now.) undo

12 August 2023

• curprev 23:3623:36, 12 August 2023‎ OAbot talk contribs‎ m 10,314 bytes +16‎ Open access bot: doi added to citation with #oabot. undo

26 July 2023

• curprev 07:2807:28, 26 July 2023‎ Citation bot talk contribs‎ 10,298 bytes −15‎ Alter: url. URLs might have been anonymized. | Use this bot. Report bugs. | Suggested by Abductive | Category:Formal languages | #UCB_Category 76/202 undo

13 July 2023

• curprev 02:5002:50, 13 July 2023‎ Fluffy8x talk contribs‎ m 10,313 bytes +8‎ →‎Proof: add missing name undo

26 February 2023

• curprev 17:1017:10, 26 February 2023‎ WikiCleanerBot talk contribs‎ m 10,305 bytes −1‎ v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

22 February 2023

• curprev 23:2123:21, 22 February 2023‎ Cosmia Nebula talk contribs‎ 10,306 bytes −122‎ →‎Proof: format whitespaces of proof undo Tag: Visual edit
• curprev 23:1823:18, 22 February 2023‎ Cosmia Nebula talk contribs‎ 10,428 bytes +855‎ →‎Proof: part 2.2 proved undo Tag: 2017 wikitext editor
• curprev 23:0423:04, 22 February 2023‎ Cosmia Nebula talk contribs‎ m 9,573 bytes +1‎ →‎Proof undo Tag: 2017 wikitext editor
• curprev 23:0223:02, 22 February 2023‎ Cosmia Nebula talk contribs‎ 9,572 bytes +30‎ →‎Proof: cleanup more undo Tag: 2017 wikitext editor
• curprev 23:0023:00, 22 February 2023‎ Cosmia Nebula talk contribs‎ 9,542 bytes +106‎ →‎Proof: cleanup undo Tag: Visual edit
• curprev 22:5722:57, 22 February 2023‎ Cosmia Nebula talk contribs‎ 9,436 bytes +3,429‎ →‎Proof: proof of part 1 undo Tag: Visual edit

19 February 2023

• curprev 18:3118:31, 19 February 2023‎ Cosmia Nebula talk contribs‎ m 6,007 bytes 0‎ →‎Proof: more typo undo Tag: Visual edit
• curprev 18:2818:28, 19 February 2023‎ Cosmia Nebula talk contribs‎ 6,007 bytes −1‎ →‎Proof: fixed proof typo undo Tag: Visual edit
• curprev 17:2917:29, 19 February 2023‎ Cosmia Nebula talk contribs‎ m 6,008 bytes +24‎ →‎Strengthening for bounded languages: put in box undo Tag: 2017 wikitext editor
• curprev 17:1117:11, 19 February 2023‎ Cosmia Nebula talk contribs‎ 5,984 bytes +1,043‎ →‎Definitions and formal statement: proof of half of it undo Tag: 2017 wikitext editor
• curprev 16:5616:56, 19 February 2023‎ Cosmia Nebula talk contribs‎ 4,941 bytes −24‎ →‎Definitions and formal statement: putting it in a box undo Tag: 2017 wikitext editor

29 January 2023

• curprev 04:2604:26, 29 January 2023‎ OAbot talk contribs‎ m 4,965 bytes +16‎ Open access bot: doi added to citation with #oabot. undo

11 December 2021

• curprev 12:2612:26, 11 December 2021‎ Citation bot talk contribs‎ 4,949 bytes +87‎ Alter: pages. Add: s2cid, doi, pages. Formatted dashes. | Use this bot. Report bugs. | Suggested by Abductive | Category:Formal languages | #UCB_Category 143/214 undo

18 November 2020

• curprev 21:5821:58, 18 November 2020‎ 80.7.113.196 talk‎ 4,862 bytes +2‎ Fixed spelling of Quarterly undo

1 December 2019

• curprev 19:5819:58, 1 December 2019‎ David Eppstein talk contribs‎ 4,860 bytes +1,260‎ Undid revision 928785767 by 106.192.41.157 (talk) unexplained removal of sourced and relevant material undo Tag: Undo
• curprev 17:1417:14, 1 December 2019‎ 106.192.41.157 talk‎ 3,600 bytes −1,260‎ →‎Strengthening for bounded languages undo Tags: section blanking Mobile edit Mobile app edit Android app edit

29 January 2019

• curprev 11:1111:11, 29 January 2019‎ 7dare talk contribs‎ 4,860 bytes +289‎ Clarified and reformulated definitions and statements undo

14 January 2019

• curprev 10:3610:36, 14 January 2019‎ Domotorp talk contribs‎ 4,571 bytes +1,260‎ added Ginsburg-Spanier theorem undo

7 August 2018

• curprev 01:4901:49, 7 August 2018‎ Eric Rowland talk contribs‎ m 3,311 bytes −1‎ →‎Definitions and formal statement: better dots undo
• curprev 01:4701:47, 7 August 2018‎ Eric Rowland talk contribs‎ m 3,312 bytes −2‎ →‎Significance: remove comma with bad spacing around it undo

25 February 2018

• curprev 14:1414:14, 25 February 2018‎ Pixel744 talk contribs‎ 3,314 bytes +119‎ No edit summary undo

28 May 2017

• curprev 07:5107:51, 28 May 2017‎ Pyschobbens talk contribs‎ m 3,195 bytes −58‎ No edit summary undo

15 April 2017

• curprev 13:4113:41, 15 April 2017‎ AnomieBOT talk contribs‎ m 3,253 bytes +32‎ Dating maintenance tags: {{Explain}} {{Clarify}} undo
• curprev 11:4111:41, 15 April 2017‎ Nbro talk contribs‎ 3,221 bytes +31‎ Added explain template undo
• curprev 11:3311:33, 15 April 2017‎ Nbro talk contribs‎ 3,190 bytes −39‎ Adding instead a clarify undo
• curprev 11:3011:30, 15 April 2017‎ Nbro talk contribs‎ 3,229 bytes +27‎ Modified template undo
• curprev 11:2811:28, 15 April 2017‎ Nbro talk contribs‎ 3,202 bytes +49‎ Adding a confusing template undo

10 April 2016

• curprev 21:5321:53, 10 April 2016‎ Mikew72324 talk contribs‎ 3,153 bytes +18‎ →‎Definitions and formal statement: After discussion on stack exchange, we noticed that the article incorrectly stated that for any semi-linear set S, the language of words whose parikh vectors are in S is regular. Additional references are welcomed. undo

8 February 2014

• curprev 04:4504:45, 8 February 2014‎ Mild Bill Hiccup talk contribs‎ m 3,135 bytes +6‎ Cleaned up using AutoEd undo

11 January 2014

• curprev 10:3410:34, 11 January 2014‎ 81.57.152.91 talk‎ 3,129 bytes +47‎ Standard notation for the number of occurrences of a letter. undo

22 September 2013

• curprev 18:3218:32, 22 September 2013‎ 86.166.162.73 talk‎ 3,082 bytes −75‎ →‎Definitions and Formal Statement undo

19 August 2013

• curprev 12:3212:32, 19 August 2013‎ Nbarth talk contribs‎ m 3,157 bytes +18‎ →‎Significance: link, wording undo

8 April 2013

• curprev 15:2415:24, 8 April 2013‎ 67.208.185.2 talk‎ 3,139 bytes 0‎ changed name of coefficients to avoid conflict w/ name of characters in alphabet undo

29 March 2013

• curprev 14:3514:35, 29 March 2013‎ 144.212.3.4 talk‎ 3,139 bytes +1‎ →‎Significance undo

12 January 2013

• curprev 22:4122:41, 12 January 2013‎ 50.138.212.37 talk‎ 3,138 bytes +597‎ add formal statement of theorem undo

8 November 2012

• curprev 17:1117:11, 8 November 2012‎ Nxavar talk contribs‎ 2,541 bytes −389‎ →‎Significance: Remove false connections of ambiguity to determinism. undo

8 October 2012

• curprev 08:0108:01, 8 October 2012‎ Nxavar talk contribs‎ 2,930 bytes −27‎ Remove "Stub" notice. undo
• curprev 07:5907:59, 8 October 2012‎ Nxavar talk contribs‎ 2,957 bytes +582‎ →‎Statement: Change section title. Expand section. undo

2 October 2012

• curprev 11:3911:39, 2 October 2012‎ A3nm talk contribs‎ m 2,375 bytes +1‎ typo undo

10 March 2012

• curprev 08:1708:17, 10 March 2012‎ David Eppstein talk contribs‎ m 2,374 bytes +92‎ link Rohit Jivanlal Parikh undo

1 November 2011

• curprev 12:5412:54, 1 November 2011‎ 38.104.188.26 talk‎ 2,282 bytes +255‎ No edit summary undo

31 October 2011

• curprev 14:4314:43, 31 October 2011‎ Farishta Satari talk contribs‎ 2,027 bytes −59‎ Correcting reference per Rohit Parikh's request. undo

28 October 2011

• curprev 13:3513:35, 28 October 2011‎ 38.104.188.26 talk‎ 2,086 bytes 0‎ No edit summary undo

23 May 2011

• curprev 22:1822:18, 23 May 2011‎ 193.170.138.132 talk‎ 2,086 bytes 0‎ →‎Definitions undo