| 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
|
