Mercurial > 14ss.theoinf
graph
-
add missing pdf of ue12Thu, 17 Jul 2014 12:00:18 +0200, by Markus Kaiser
-
repetition slidesWed, 16 Jul 2014 21:15:39 +0200, by Markus Kaiser
-
eleventh sheet and notesFri, 04 Jul 2014 21:18:30 +0200, by Markus Kaiser
-
tenth sheet and notesSun, 29 Jun 2014 16:58:20 +0200, by Markus Kaiser
-
nineth sheet and notesSat, 21 Jun 2014 20:11:55 +0200, by Markus Kaiser
-
add jflap turing machinesSat, 21 Jun 2014 20:10:47 +0200, by Markus Kaiser
-
fix titleFri, 06 Jun 2014 17:18:00 +0200, by Markus Kaiser
-
eigth sheet and notes; add hierarchy slidesFri, 06 Jun 2014 17:13:58 +0200, by Markus Kaiser
-
week six sheetSun, 01 Jun 2014 00:30:12 +0200, by Markus Kaiser
-
week seven sheet and notesSun, 01 Jun 2014 00:29:52 +0200, by Markus Kaiser
-
fix errors in GNF and pdaThu, 22 May 2014 12:41:35 +0200, by Markus Kaiser
-
fix example wordTue, 20 May 2014 01:31:40 +0200, by Markus Kaiser
-
fix compilation error; fix errors in gnf construction; start suppliing complete notesFri, 16 May 2014 17:34:00 +0200, by Markus Kaiser
-
fifth sheet and notesFri, 16 May 2014 17:14:03 +0200, by Markus Kaiser
-
fix error in cykWed, 14 May 2014 21:58:31 +0200, by Markus Kaiser
-
whitespaceWed, 14 May 2014 21:56:25 +0200, by Markus Kaiser
-
first half of fifth notesWed, 14 May 2014 21:30:04 +0200, by Markus Kaiser
-
wording; add explicit productions to cf-pumping lemmaSun, 11 May 2014 00:27:30 +0200, by Markus Kaiser
-
fourth sheet and notesSat, 10 May 2014 19:39:01 +0200, by Markus Kaiser
-
rename automata file; add complete notesFri, 09 May 2014 11:28:33 +0200, by Markus Kaiser
-
better block descriptionMon, 05 May 2014 14:41:06 +0200, by Markus Kaiser
-
third sheet and notesSat, 03 May 2014 22:49:43 +0200, by Markus Kaiser
-
use newer definitionsMon, 28 Apr 2014 12:27:03 +0200, by Markus Kaiser
-
fix powersets; wordingSat, 26 Apr 2014 21:10:36 +0200, by Markus Kaiser
-
second notes and sheetSat, 26 Apr 2014 17:50:08 +0200, by Markus Kaiser
-
fix group numbersThu, 24 Apr 2014 09:04:24 +0200, by Markus Kaiser
-
show computability and decidability slidesMon, 14 Apr 2014 20:02:03 +0200, by Markus Kaiser
-
new buildMon, 14 Apr 2014 20:01:38 +0200, by Markus Kaiser
-
use structures instead of alertsMon, 14 Apr 2014 12:11:00 +0200, by Markus Kaiser
-
first sheet and slide pdfSun, 13 Apr 2014 20:28:12 +0200, by Markus Kaiser
-
ignore local note compilesSun, 13 Apr 2014 20:26:49 +0200, by Markus Kaiser
-
first slidesSun, 13 Apr 2014 20:22:34 +0200, by Markus Kaiser
-
use new style; merge preamblesSun, 13 Apr 2014 17:11:29 +0200, by Markus Kaiser
-
add old slidesSun, 13 Apr 2014 17:07:23 +0200, by Markus Kaiser
-
add .hgignoreSun, 13 Apr 2014 16:54:15 +0200, by Markus Kaiser