Kurse suchen Start

Fixpunkttheorie

Starke und schwache Bisimulation

Minimierung und Kellerautomaten

Endliche Automaten und das Pumping Lemma

Einführung

Minimierung und Kellerautomaten (Uni Potsdam, WiSe1819)

Endliche Automaten und das Pumping Lemma (Uni Potsdam, WiSe1819)

Einführung (Uni Potsdam, WiSe1819)

Fixpunkttheorie (TU Berlin, SoSe18)

Starke und schwache Bisimulation (TU Berlin, SoSe18)

Einführung (TU Berlin, SoSe18)

Minimierung und Kellerautomaten (Uni Duisburg-Essen, SoSe18)

Endliche Automaten und das Pumping Lemma (Uni Duisburg-Essen, SoSe18)

Einführung (Uni Duisburg-Essen, SoSe18)

Starke und schwache Bisimulation (Uni Salzburg, SoSe24)

Fixpunkttheorie (Uni Salzburg, SoSe24)

Einführung (Uni Salzburg, SoSe18)

Einführung (TU Berlin, WiSe1718)

TheInf - in der Schule

Einführung (RWTH Aachen, WiSe1718)