Thu, 17 Jul 2014 12:00:18 +0200 |
Markus Kaiser |
add missing pdf of ue12
|
Wed, 16 Jul 2014 21:15:39 +0200 |
Markus Kaiser |
repetition slides
|
Fri, 04 Jul 2014 21:18:30 +0200 |
Markus Kaiser |
eleventh sheet and notes
|
Sun, 29 Jun 2014 16:58:20 +0200 |
Markus Kaiser |
tenth sheet and notes
|
Sat, 21 Jun 2014 20:11:55 +0200 |
Markus Kaiser |
nineth sheet and notes
|
Sat, 21 Jun 2014 20:10:47 +0200 |
Markus Kaiser |
add jflap turing machines
|
Fri, 06 Jun 2014 17:18:00 +0200 |
Markus Kaiser |
fix title
|
Fri, 06 Jun 2014 17:13:58 +0200 |
Markus Kaiser |
eigth sheet and notes; add hierarchy slides
|
Sun, 01 Jun 2014 00:30:12 +0200 |
Markus Kaiser |
week six sheet
|
Sun, 01 Jun 2014 00:29:52 +0200 |
Markus Kaiser |
week seven sheet and notes
|
Thu, 22 May 2014 12:41:35 +0200 |
Markus Kaiser |
fix errors in GNF and pda
|
Tue, 20 May 2014 01:31:40 +0200 |
Markus Kaiser |
fix example word
|
Fri, 16 May 2014 17:34:00 +0200 |
Markus Kaiser |
fix compilation error; fix errors in gnf construction; start suppliing complete notes
|
Fri, 16 May 2014 17:14:03 +0200 |
Markus Kaiser |
fifth sheet and notes
|
Wed, 14 May 2014 21:58:31 +0200 |
Markus Kaiser |
fix error in cyk
|
Wed, 14 May 2014 21:56:25 +0200 |
Markus Kaiser |
whitespace
|
Wed, 14 May 2014 21:30:04 +0200 |
Markus Kaiser |
first half of fifth notes
|
Sun, 11 May 2014 00:27:30 +0200 |
Markus Kaiser |
wording; add explicit productions to cf-pumping lemma
|
Sat, 10 May 2014 19:39:01 +0200 |
Markus Kaiser |
fourth sheet and notes
|
Fri, 09 May 2014 11:28:33 +0200 |
Markus Kaiser |
rename automata file; add complete notes
|
Mon, 05 May 2014 14:41:06 +0200 |
Markus Kaiser |
better block description
|
Sat, 03 May 2014 22:49:43 +0200 |
Markus Kaiser |
third sheet and notes
|
Mon, 28 Apr 2014 12:27:03 +0200 |
Markus Kaiser |
use newer definitions
|
Sat, 26 Apr 2014 21:10:36 +0200 |
Markus Kaiser |
fix powersets; wording
|
Sat, 26 Apr 2014 17:50:08 +0200 |
Markus Kaiser |
second notes and sheet
|
Thu, 24 Apr 2014 09:04:24 +0200 |
Markus Kaiser |
fix group numbers
|
Mon, 14 Apr 2014 20:02:03 +0200 |
Markus Kaiser |
show computability and decidability slides
|
Mon, 14 Apr 2014 20:01:38 +0200 |
Markus Kaiser |
new build
|
Mon, 14 Apr 2014 12:11:00 +0200 |
Markus Kaiser |
use structures instead of alerts
|
Sun, 13 Apr 2014 20:28:12 +0200 |
Markus Kaiser |
first sheet and slide pdf
|
Sun, 13 Apr 2014 20:26:49 +0200 |
Markus Kaiser |
ignore local note compiles
|
Sun, 13 Apr 2014 20:22:34 +0200 |
Markus Kaiser |
first slides
|
Sun, 13 Apr 2014 17:11:29 +0200 |
Markus Kaiser |
use new style; merge preambles
|
Sun, 13 Apr 2014 17:07:23 +0200 |
Markus Kaiser |
add old slides
|
Sun, 13 Apr 2014 16:54:15 +0200 |
Markus Kaiser |
add .hgignore
|