![[ICO]](/icons/blank.gif)  | Name | Last modified | Size | Description | 
|---|
  | 
![[DIR]](/icons/back.gif)  | Parent Directory |   |   -  |   | 
![[   ]](/icons/layout.gif)  | VL13_05_07_2011.pdf | 17-Sep-2012 01:58   | 4.5M | 13. Vorlesung (SAT, 3-SAT) | 
![[   ]](/icons/layout.gif)  | VL3_26_04_2011.pdf | 17-Sep-2012 01:58   | 3.7M | 3. Vorlesung (Nichtdeterministische Endliche Automaten) | 
![[   ]](/icons/layout.gif)  | VL11_21_06_2011.pdf | 17-Sep-2012 01:58   | 5.7M | 11. Vorlesung (Halteproblem, Satz von Rice, PCP) | 
![[   ]](/icons/layout.gif)  | VL7_24_05_2011.pdf | 17-Sep-2012 01:58   | 5.1M | 7. Vorlesung (Deterministische Kellerautomaten, Abschlusseigenschftern kontextfreier Sprachen) | 
![[TXT]](/icons/text.gif)  | impressum.html | 17-Sep-2012 01:58   | 331  |   | 
![[DIR]](/icons/folder.gif)  | zusammenfassung/ | 17-Sep-2012 01:58   |   -  | Zusammenfassungen, Whiteboard-Fotos, etc... die beim Lernen entstanden sind | 
![[   ]](/icons/layout.gif)  | VL4_03_05_2011.pdf | 17-Sep-2012 01:58   | 5.9M | 4. Vorlesung (Satz von Myhill-Nerode, Minimalautomaten) | 
![[   ]](/icons/layout.gif)  | VL12_28_06_2011.pdf | 17-Sep-2012 01:58   | 4.8M | 12. Vorlesung (Komplexitätstheorie, NP-Vollständigkeit) | 
![[   ]](/icons/layout.gif)  | VL1_12_04_2011.pdf | 17-Sep-2012 01:58   | 224K | 1. Vorlesung (Einführung, Wiederholung) (sw) | 
![[   ]](/icons/layout.gif)  | VL10_14_06_2011.pdf | 17-Sep-2012 01:58   | 5.7M | 10. Vorlesung (Selbstanwendung von Turing Maschinen, Reduktionsprinzip) | 
![[   ]](/icons/layout.gif)  | VL6_17_05_2011.pdf | 17-Sep-2012 01:58   | 3.5M | 6. Vorlesung (Kellerautomaten, Kontextfreie Sprachen) | 
![[   ]](/icons/layout.gif)  | VL8_31_05_2011.pdf | 17-Sep-2012 01:58   | 6.0M | 8. Vorlesung (Turing Maschinen) | 
![[   ]](/icons/layout.gif)  | UEB_05_07_2011.pdf | 17-Sep-2012 01:58   | 5.8M | Übung: Probeklausur | 
![[   ]](/icons/layout.gif)  | UEB_31_05_2011.pdf | 17-Sep-2012 01:58   | 2.5M | Übung als Tutoriums-Ersatz vor Himmelfahrt | 
![[   ]](/icons/layout.gif)  | VL2_19_04_2011.pdf | 17-Sep-2012 01:58   | 242K | 2. Vorlesung (Endliche Automaten) (sw) | 
![[   ]](/icons/layout.gif)  | VL9_07_06_2011.pdf | 17-Sep-2012 01:58   | 6.1M | 9. Vorlesung (Berechenbarkeit) | 
![[TXT]](/icons/text.gif)  | noch_mehr.html | 17-Sep-2012 01:58   | 231  |   | 
![[   ]](/icons/layout.gif)  | VL5_10_05_2011.pdf | 17-Sep-2012 01:58   | 4.7M | 5. Vorlesung (Abschlusseigenschaften regulärer Sprachen, Entscheidbarkeit, Kellerautomaten) | 
  |