User contributions for Jochgem
Appearance
A user with 106 edits. Account created on 11 March 2007.
10 June 2024
14 May 2024
- 23:2923:29, 14 May 2024 diff hist +60 m True quantified Boolean formula →Notes and references: link stopped working. replaced current
5 May 2024
- 17:2217:22, 5 May 2024 diff hist +533 English translations of Asterix →Other English-language translations and versions: Edition in Easy English added
4 January 2024
- 00:4000:40, 4 January 2024 diff hist +96 m Wallace fountain →External links: wallacefountains.org
19 March 2023
- 22:3322:33, 19 March 2023 diff hist −37 m Omega language →Bibliography: Dominique Perrin, not Daniel
20 January 2022
- 14:3814:38, 20 January 2022 diff hist +9 m Symmetric graph "file not found". pdf version from Babai's home page
30 April 2021
- 14:4014:40, 30 April 2021 diff hist +3 m Jetty Kleijn birth date
16 February 2021
13 May 2020
- 12:4912:49, 13 May 2020 diff hist +66 m Regular language →Equivalent formalisms: two-way
3 May 2020
- 18:0618:06, 3 May 2020 diff hist −17 m Tree traversal →Applications: No! The name is because of infix notation, just like pre-order and prefix notation.
24 August 2019
- 23:0323:03, 24 August 2019 diff hist +8 m Sheila Greibach Added internal link
13 August 2019
- 21:1421:14, 13 August 2019 diff hist +2 m Regular expression →History: Kleene uses "Regular Events" rather than "Regular Sets"
- 09:2609:26, 13 August 2019 diff hist −31 m Pebble automaton →Automata and logic
- 09:2509:25, 13 August 2019 diff hist +28 m Pebble automaton →See also
- 09:2309:23, 13 August 2019 diff hist +326 m Pebble automaton →Automata and logic: Reference
30 March 2019
- 19:1919:19, 30 March 2019 diff hist +1 m European Association for Theoretical Computer Science →EATCS Fellows: E-acute
22 November 2017
- 12:1112:11, 22 November 2017 diff hist +57 m Priority queue →Operations: is-empty is an essential 'abstract' operation (even when it is trivial in most implementations)
19 May 2016
- 23:0323:03, 19 May 2016 diff hist 0 m European Association for Theoretical Computer Science →EATCS Fellows: "the late" is not a name
15 October 2015
- 07:0307:03, 15 October 2015 diff hist −532 Talk:Tutte polynomial →connected components in definition: I was wrong
12 October 2015
- 23:2923:29, 12 October 2015 diff hist +84 Talk:Tutte polynomial →connected components in definition
- 23:2823:28, 12 October 2015 diff hist +448 Talk:Tutte polynomial →connected components in definition: new section
18 August 2015
- 11:0111:01, 18 August 2015 diff hist −8 m Grzegorz Rozenberg birth place
7 August 2015
- 13:4513:45, 7 August 2015 diff hist +113 m Grzegorz Rozenberg added honorary PhD
1 July 2015
- 22:2522:25, 1 July 2015 diff hist +54 Greibach normal form With Greibach the PDA will be real-time. Otherwise the CFG to PDA construction is trivial and doesn't need Greibach.
30 May 2015
- 13:3113:31, 30 May 2015 diff hist +62 m Grzegorz Rozenberg dutch, doctorate
11 October 2014
- 23:0723:07, 11 October 2014 diff hist +44 m Tree traversal →Morris in-order traversal using threading: another (obvious) disadvantage
4 July 2014
- 10:2510:25, 4 July 2014 diff hist −17 m Hamiltonian path problem →Algorithms: many molecules, generated from polynomial many types
9 June 2013
- 22:2322:23, 9 June 2013 diff hist 0 m Pushdown automaton Undid revision 552607381 by 151.48.187.63 (talk)
7 January 2013
- 13:2813:28, 7 January 2013 diff hist +123 m Grzegorz Rozenberg added nice guru quote from one of the references
29 December 2012
- 00:2200:22, 29 December 2012 diff hist +9 m Cone (formal languages) →Relation to Transducers: bracket moved in formulation Nivat's Theorem
30 November 2012
- 21:3221:32, 30 November 2012 diff hist +590 Deterministic context-free grammar →History: the early references on PDA=CFL
20 November 2012
- 22:0822:08, 20 November 2012 diff hist +33 N Turun Yliopisto redirect to University of Turku current
14 November 2012
- 08:3808:38, 14 November 2012 diff hist +48 m Grzegorz Rozenberg Relation to son added. Typo.
- 08:3008:30, 14 November 2012 diff hist −1 m Grzegorz Rozenberg →External links: changed VIAF to one with more hits (same person, two numbers)
11 November 2012
- 00:4600:46, 11 November 2012 diff hist +26 m Moshe Vardi added EATCS Award laureates
- 00:4100:41, 11 November 2012 diff hist +46 m Template:EATCS Award laureates + 2102
10 November 2012
- 00:5300:53, 10 November 2012 diff hist +36 m Arto Salomaa added Kari + Kari (who already have wiki-pages)
9 November 2012
- 23:2123:21, 9 November 2012 diff hist +4,335 Grzegorz Rozenberg No edit summary
20 October 2012
- 10:2410:24, 20 October 2012 diff hist +85 m Uniform matroid →Definition: explicit name n-point line
18 October 2012
- 12:4012:40, 18 October 2012 diff hist +1 m Pieter Nieuwland →Academic career: tiny typo in book with Dutch title
8 October 2012
- 20:2720:27, 8 October 2012 diff hist −30 m Pushdown automaton →Formal Definition: moved standard notation outside definition
- 20:1420:14, 8 October 2012 diff hist −36 m Chordal graph →External links: link-fix site moved to own domain
- 19:4219:42, 8 October 2012 diff hist −36 m Circle graph →External links: site moved to own domain. link-fix
- 19:3019:30, 8 October 2012 diff hist −36 m Circular-arc graph →External links: link fix (site moved to its own domain)
12 August 2012
- 00:4000:40, 12 August 2012 diff hist +28 Deterministic context-free language NO, there is no proper notion of a deterministic cf-grammar. It is based on pushdown automata.
1 January 2012
- 13:3113:31, 1 January 2012 diff hist −1 m Pushdown automaton →Formal Definition
- 13:3013:30, 1 January 2012 diff hist −23 m Pushdown automaton →Formal Definition
- 13:2713:27, 1 January 2012 diff hist −19 m Pushdown automaton →Formal Definition
- 13:2013:20, 1 January 2012 diff hist +35 m Regular language →Equivalence to other formalisms
- 13:1013:10, 1 January 2012 diff hist +7 m Regular language →Formal definition