Das Passwort für den NextCloud-Link lautet turing2020. Auf Wunsch der FU-Verwaltung ist der VBrick-Link nur noch für eingeloggte User verfügbar. 

• Organisatorisches: [Link] [Link2]
• Einführung 1: [Link] [Link2]
• Einführung 2:  [Link] [Link2]

Das Passwort für den NextCloud-Link lautet turing2020. Auf Wunsch der FU-Verwaltung ist der VBrick-Link nur noch für eingeloggte User verfügbar. 

• Algorithmische Probleme und formale Sprachen: [Link]  [Link2]
• Operationen auf Wörtern und auf formalen Sprachen: [Link] [Link2]
• Reguläre Ausdrücke und reguläre Sprachen:  [Link] [Link2]

Das Passwort für den NextCloud-Link lautet turing2020. Auf Wunsch der FU-Verwaltung ist der VBrick-Link nur noch für eingeloggte User verfügbar. 

• DEAs – Einführendes Beispiel: [Link]  [Link2]
• DEAs – Mathematische Definitionen: [Link] [Link2]
• Programmieren mit DEAs I:  [Link] [Link2]

Das Passwort für den NextCloud-Link lautet turing2020. Auf Wunsch der FU-Verwaltung ist der VBrick-Link nur noch für eingeloggte User verfügbar. 

• Programmieren mit DEAs II & III: [Link]  [Link2]
• NEAs: [Link] [Link2]

Das Passwort für den NextCloud-Link lautet turing2020. Auf Wunsch der FU-Verwaltung ist der VBrick-Link nur noch für eingeloggte User verfügbar. 

• Äquivalenz von DEAs und NEAs – Die Potenzmengenkonstruktion I: [Link]  [Link2]
• Äquivalenz von DEAs und NEAs – Die Potenzmengenkonstruktion II: [Link] [Link2]
• Von regulären Ausdrücken zu NEAs I:  [Link] [Link2]

Das Passwort für den NextCloud-Link lautet turing2020. Auf Wunsch der FU-Verwaltung ist der VBrick-Link nur noch für eingeloggte User verfügbar. 

• von regulären Ausdrücken zu NEAs II:  [Link] [Link2]
• der Algorithmus von Kleene:  [Link] [Link2]
• Beispiel zum Algorithmus von Kleene und Fazit reguläre Sprachen:  [Link] [Link2] 

Das Passwort für den NextCloud-Link lautet turing2020. Auf Wunsch der FU-Verwaltung ist der VBrick-Link nur für eingeloggte User verfügbar. 

• Pumping Lemma – Motivation:  [Link] [Link2]
• Pumping Lemma – Beweis:  [Link] [Link2]
• Pumping Lemma – Anwendung I:  [Link] [Link2] 

Das Passwort für den NextCloud-Link lautet turing2020. Auf Wunsch der FU-Verwaltung ist der VBrick-Link nur für eingeloggte User verfügbar. 

• Pumping Lemma – Anwendung II:  [Link] [Link2]
• Minimalautomaten – Die Myhill-Nerode-Relation:  [Link] [Link2]

Das Passwort für den NextCloud-Link lautet turing2020. Auf Wunsch der FU-Verwaltung ist der VBrick-Link nur für eingeloggte User verfügbar. 

• Minimalautomaten – Der Äquivalenzklassenautomat:  [Link] [Link2]
• Minimalautomaten – Tabellenausfüllalgorithmus:  [Link] [Link2]

Das Passwort für den NextCloud-Link lautet turing2020. Auf Wunsch der FU-Verwaltung ist der VBrick-Link nur für eingeloggte User verfügbar. 

• Reguläre Sprachen – Fazit und Anwendungen im Übersetzerbau:  [Link] [Link2]
• Turingmaschinen – Einführung:  [Link] [Link2]
• Turingmaschinen – Erstes Programmierbeispiel:  [Link] [Link2]

Das Passwort für den NextCloud-Link lautet turing2020. Auf Wunsch der FU-Verwaltung ist der VBrick-Link nur für eingeloggte User verfügbar. 

• Turingmaschinen – Zweites Programmierbeispiel:  [Link] [Link2]
• Turingmaschinen – Varianten:  [Link] [Link2]
• Semientscheidbarkeit, Entscheidbarkeit, Church-Turing-These:  [Link] [Link2] 

Das Passwort für den NextCloud-Link lautet turing2020. Auf Wunsch der FU-Verwaltung ist der VBrick-Link nur für eingeloggte User verfügbar. 

• Entscheidbarkeit – fast alle Sprachen sind nicht semientscheidbar, Kodierung von TMs:  [Link] [Link2]
• Diagonalsprache – eine nicht semientscheidbare Sprache:  [Link] [Link2]
• Universalsprache – eine semientscheidbare Sprache, die nicht entscheidbar ist :  [Link] [Link2] 

Das Passwort für den NextCloud-Link lautet turing2020. Auf Wunsch der FU-Verwaltung ist der VBrick-Link nur für eingeloggte User verfügbar. 

• Das Halteproblem:  [Link] [Link2]
• Reduktionskonzept:  [Link] [Link2]
• Reduktionen und Entscheidbarkeit:  [Link] [Link2] 

Das Passwort für den NextCloud-Link lautet turing2020. Auf Wunsch der FU-Verwaltung ist der VBrick-Link nur für eingeloggte User verfügbar. 

• Abschlusseigenschaften entscheidbarer und semientscheidbarer Sprachen:  [Link] [Link2]
• Das Postsche Korrespondenzproblem:  [Link] [Link2]

Das Passwort für den NextCloud-Link lautet turing2020. Auf Wunsch der FU-Verwaltung ist der VBrick-Link nur für eingeloggte User verfügbar. 

• PKP und MPKP:  [Link] [Link2]
• Hilberts Entscheidungsproblem und die Lösbarkeit diophantischer Gleichungen:  [Link] [Link2]
• Erkennung von Computerviren, Rekursionssatz, Satz von Rice:  [Link] [Link2]

Das Passwort für den NextCloud-Link lautet turing2020. Auf Wunsch der FU-Verwaltung ist der VBrick-Link nur für eingeloggte User verfügbar. 

• Grammatiken - Motivation und Definition:  [Link] [Link2]
• Grammatiken - Beispiel 1:  [Link] [Link2]
• Grammatiken - Beispiele 2 und 3:  [Link] [Link2]

Das Passwort für den NextCloud-Link lautet turing2020. Auf Wunsch der FU-Verwaltung ist der VBrick-Link nur für eingeloggte User verfügbar. 

• Chomsky-Hierarchie – Definitionen:  [Link] [Link2]
• Chomsky-Hierarchie – Eigenschaften:  [Link] [Link2]
• kontextfreie Grammatiken –  Syntaxbäume, Eindeutigkeit, inhärente Mehrdeutigkeit:  [Link] [Link2]

Das Passwort für den NextCloud-Link lautet turing2020. Auf Wunsch der FU-Verwaltung ist der VBrick-Link nur für eingeloggte User verfügbar. 

• Chomsky-Normalform – Definitionen und Beispiele  [Link] [Link2]
• Umwandlung in Chomsky-Normalform – Schritt 1 und 2:  [Link] [Link2]
• Umwandlung in Chomsky-Normalform – Schritt 3 :  [Link] [Link2]
• Umwandlung in Chomsky-Normalform – Schritt 4 :  [Link] [Link2]

Das Passwort für den NextCloud-Link lautet turing2020. Auf Wunsch der FU-Verwaltung ist der VBrick-Link nur für eingeloggte User verfügbar. 

• Der CYK-Algorithmus – Beschreibung:  [Link] [Link2]
• Der CYK-Algorithms – Beispiel:  [Link] [Link2]

Das Passwort für den NextCloud-Link lautet turing2020. Auf Wunsch der FU-Verwaltung ist der VBrick-Link nur für eingeloggte User verfügbar. 

• kontextfreies Pumping-Lemma – Herleitung und Formulierung:  [Link] [Link2]
• kontextfreies Pumping-Lemma – Beispiel 1 und 2:  [Link] [Link2]

Das Passwort für den NextCloud-Link lautet turing2020. Auf Wunsch der FU-Verwaltung ist der VBrick-Link nur für eingeloggte User verfügbar. 

• kontextfreies Pumping-Lemma – Beispiel 3:  [Link] [Link2]
• Eigenschaften kontextfreier Sprachen:  [Link] [Link2]
• Kellerautomaten:  [Link] [Link2]