User contributions for TheoreticalComputerScientist

1 April 2017

• 18:1018:10, 1 April 2017 diff hist +1,600 N Jean-Éric Pin ←Created page with '{{Infobox scientist |name = Jean-Éric Pin |birth_date = |birth_place = |residence = {{flag|France}} |death_date = |death_place = |field = Formal language...'
• 18:0118:01, 1 April 2017 diff hist +4 m M. Lothaire Link to Jean-Éric Pin
• 17:3517:35, 1 April 2017 diff hist +477 Maxime Crochemore Mentioned the festschrift
• 16:5416:54, 1 April 2017 diff hist +511 Wikipedia:Articles for deletion/Maxime Crochemore Notability claim
• 16:4816:48, 1 April 2017 diff hist +80 Maxime Crochemore Mentioned citations to Chochemore's work, see http://scholar.google.com/citations?user=rQkFVs4AAAAJ
• 16:1716:17, 1 April 2017 diff hist +93 Template:Presburger winners Added winners 2015-2017
• 16:1416:14, 1 April 2017 diff hist +36 m Presburger Award Link to Mark Braverman corrected

26 March 2017

• 13:2013:20, 26 March 2017 diff hist +24 Template:Presburger winners Linked to Bojańczyk
• 13:1713:17, 26 March 2017 diff hist +6 m Mikołaj Bojańczyk Categories corrected
• 13:1313:13, 26 March 2017 diff hist 0 m Mikołaj Bojańczyk Link to Presburger award
• 13:1113:11, 26 March 2017 diff hist +2,874 N Mikołaj Bojańczyk ←Created page with '{{Infobox scientist |name = Mikołaj Bojańczyk |birth_date = {{Birth date and age|1977|6|8}} |birth_place = |residence = {{flag|Poland}} |death_date = |deat...'
• 12:1312:13, 26 March 2017 diff hist +15 m Viliam Geffert Used the birth year template
• 12:0712:07, 26 March 2017 diff hist +35 m Maxime Crochemore Fixed the sorting order
• 12:0612:06, 26 March 2017 diff hist +32 m Viliam Geffert Fixed the sorting order
• 12:0612:06, 26 March 2017 diff hist +35 m Richard E. Ladner Fixed the sorting order
• 12:0412:04, 26 March 2017 diff hist +39 m Kai Salomaa Fixed the sorting order
• 12:0212:02, 26 March 2017 diff hist +30 m Jean Berstel Fixed the sorting order
• 12:0112:01, 26 March 2017 diff hist +34 m Thomas Colcombet Fixed the sorting order
• 12:0012:00, 26 March 2017 diff hist +37 m Giovanni Pighizzini Fixed the sorting order
• 11:5911:59, 26 March 2017 diff hist +34 Juhani Karhumäki Fixed the sorting order
• 11:5811:58, 26 March 2017 diff hist +30 Esko Ukkonen Fixed the sorting order
• 11:5711:57, 26 March 2017 diff hist +34 m Dominique Perrin Fixed the sorting order
• 11:3311:33, 26 March 2017 diff hist +21 Pushdown automaton →Alternating pushdown automata: Linked to Michael Kaminski
• 11:1811:18, 26 March 2017 diff hist +87 Conference on Implementation and Application of Automata →Topics of the Conference: Links to topics
• 10:5010:50, 26 March 2017 diff hist +3,781 N Maxime Crochemore ←Created page with '{{Infobox scientist |name = Maxime Crochemore |birth_date = {{Birth date and age|1947|10|25}} |birth_place = Fécamp, France |residence = {{flag|France...'
• 10:3810:38, 26 March 2017 diff hist +14 m Viliam Geffert Fixed a link to complexity theory
• 10:3610:36, 26 March 2017 diff hist +21 m Language equation →Language equations and finite automata: Fixed a link to Brzozowski
• 10:1010:10, 26 March 2017 diff hist +3,121 Conjunctive grammar Sectioning. Gave a formal definition.
• 09:4109:41, 26 March 2017 diff hist +3 m Pushdown automaton →Alternating pushdown automata: Corrected the link to Ladner
• 09:3909:39, 26 March 2017 diff hist +3 m Two-way finite automaton →State complexity tradeoffs: Linked to Richard Ladner
• 09:3809:38, 26 March 2017 diff hist +7 Michael J. Fischer →Parallel computing: Linked to Richard Ladner
• 09:3809:38, 26 March 2017 diff hist +7 m NP-intermediate Linked to Richard Ladner
• 09:3709:37, 26 March 2017 diff hist +7 m Ladner (surname) Linked to Ladner
• 09:3509:35, 26 March 2017 diff hist +2,489 N Richard E. Ladner ←Created page with '{{Infobox scientist |name = Richard E. Ladner |birth_date = |birth_place = |residence = {{flag|United States}} |death_date = |death_place = |field = Theor...'
• 09:2009:20, 26 March 2017 diff hist +3 m State complexity →Transformation between variants of finite automata: Changed the link to Ladner, about to create his page
• 09:1709:17, 26 March 2017 diff hist +46 Boolean grammar Linked to Okhotin, intending to create an article
• 09:1409:14, 26 March 2017 diff hist +67 Kai Salomaa Added two students, intending to create an article about one of them
• 09:1209:12, 26 March 2017 diff hist +8 m Descriptional Complexity of Formal Systems Linked to Okhotin, intending to create an article
• 09:1109:11, 26 March 2017 diff hist +22 m Nested word →References: Linked to Okhotin, intending to create an article
• 09:0809:08, 26 March 2017 diff hist +62 m Conference on Implementation and Application of Automata →References: Corrected the order of authors, links to Okhotin and Salomaa
• 09:0309:03, 26 March 2017 diff hist +22 m Syntactic predicate →Parsers/formalisms using some form of syntactic predicate: Link to Alexander Okhotin, intending to create an article
• 08:5608:56, 26 March 2017 diff hist +48 m Conjunctive grammar →Synchronized alternating pushdown automata: Fixed a link
• 08:5508:55, 26 March 2017 diff hist +689 Conjunctive grammar Added a section on synchronized alternating PDAs (SAPDA)
• 08:0708:07, 26 March 2017 diff hist +2,061 Pushdown automaton Added a section on alternating PDA

25 March 2017

• 23:2123:21, 25 March 2017 diff hist +4 m Wojciech Rytter →Books: Link to Maxime Crochemore, intending to write an article about him
• 22:5222:52, 25 March 2017 diff hist +111 Dominique Perrin Listed a few of his doctoral students
• 21:5321:53, 25 March 2017 diff hist +1,621 Two-way finite automaton Basic description of alternating automata (2AFAs)
• 21:3321:33, 25 March 2017 diff hist +266 Powerset construction →Complexity: Cited Lupanov who had Moore's result 10 years earlier
• 21:1821:18, 25 March 2017 diff hist +1,261 Alternating finite automaton Referenced state complexity results and moved them to a separate section
• 20:3420:34, 25 March 2017 diff hist +1,925 Unambiguous finite automaton Added a summary of recent results on state complexity