Online
Snippels Nutze das Hoare-Kalkül, um die Korrektheit von Programmen systematisch zu beweisen und zu verstehen.
Turingmaschine Entwerfe und simuliere Turingmaschinen, um ein tieferes Verständnis von Berechenbarkeit und maschineller Logik zu erlangen.
WhiGoLo Entwickle und analysiere While-, Goto- und Loop-Programme, um die grundlegenden Konzepte der Programmierung zu erlernen.
Endlicher Automat Erstelle und simuliere endliche Automaten, um formale Sprachen zu erkennen und reguläre Ausdrücke zu modellieren.
Minimierung Optimiere endliche Automaten durch Minimierung, um effizientere Modelle für formale Sprachen zu erstellen.
Chomsky-Normalform Transformiere kontextfreie Grammatiken in Chomsky-Normalform, um sie für Algorithmen wie den CYK-Algorithmus vorzubereiten.
CYK-Algorithmus Nutze den CYK-Algorithmus, um die Zugehörigkeit von Wörtern zu einer kontextfreien Grammatik in Chomsky-Normalform effizient zu überprüfen.
Kellerautomat Entwerfe und simuliere benutzerdefinierte Kellerautomaten, um kontextfreie Sprachen zu erkennen und zu verarbeiten.