01 - Einführung, Automaten : Formale Grundlagen der Informatik I Köhler-Bußmeier, Michael Eschenbach, Carola 2011 - Lecture2Go UHH - frei zugänglich
8 - Komplexität: CTL-Model-Checking, Petrinetze, Entwicklung : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael 2011 - Lecture2Go UHH - frei zugänglich
2 - Büchi Automaten : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael Moldt, Daniel 2011 - Lecture2Go UHH - frei zugänglich
19 - Verzweigungs-Bisimulation : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael 2011 - Lecture2Go UHH - frei zugänglich
22 - Turingmaschinen und kontextsensitive Grammatiken II : Formale Grundlagen der Informatik I Köhler-Bußmeier, Michael Eschenbach, Carola 2011 - Lecture2Go UHH - frei zugänglich
14 - S-Inv-Vektor vs. S-Inv-Gleichung, Fairness : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael 2011 - Lecture2Go UHH - frei zugänglich
18 - Rekursion : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael 2011 - Lecture2Go UHH - frei zugänglich
02 - Automaten II : Formale Grundlagen der Informatik I Köhler-Bußmeier, Michael Eschenbach, Carola 2011 - Lecture2Go UHH - frei zugänglich
16 - "Verträglichkeit" der Bisimulation mit BPA : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael 2011 - Lecture2Go UHH - frei zugänglich
05 Normalformen kontextfreier Grammatiken : Formale Grundlagen der Informatik I Köhler-Bußmeier, Michael Eschenbach, Carola 2011 - Lecture2Go UHH - frei zugänglich
19 - Deterministischer Kellerautomat, andere Chomsky Grammatiken : Formale Grundlagen der Informatik I Köhler-Bußmeier, Michael 2011 - Lecture2Go UHH - frei zugänglich
17 - Parallele Komposition : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael 2011 - Lecture2Go UHH - frei zugänglich
24 - Komplexitätklassen : Formale Grundlagen der Informatik I Köhler-Bußmeier, Michael 2011 - Lecture2Go UHH - frei zugänglich
15 - Prozessalgebra : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael 2011 - Lecture2Go UHH - frei zugänglich
27 - µ-rekursive Funktionen : Formale Grundlagen der Informatik I Köhler-Bußmeier, Michael 2011 - Lecture2Go UHH - frei zugänglich
1 - Organisatorisches : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael 2011 - Lecture2Go UHH - frei zugänglich
04 - Automaten IV : Formale Grundlagen der Informatik I Köhler-Bußmeier, Michael Eschenbach, Carola 2011 - Lecture2Go UHH - frei zugänglich
7 - Model Checking : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael 2011 - Lecture2Go UHH - frei zugänglich
26 - Berechenbarkeitsdefinitionen : Formale Grundlagen der Informatik I Köhler-Bußmeier, Michael 2011 - Lecture2Go UHH - frei zugänglich
06 - Pumping, Abschlusseigenschaften, Entscheidbarkeit und Kellerautomaten : Formale Grundlagen der Informatik I Köhler-Bußmeier, Michael Eschenbach, Carola 2011 - Lecture2Go UHH - frei zugänglich