Online
Snippets 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 While-, Goto- und Loop-Programme, um mit minimalen Sprachkonstrukten Berechenbarkeit zu fassen.
Endlicher Automat Erstelle und simuliere endliche Automaten, um formale Sprachen zu erkennen und reguläre Ausdrücke zu modellieren.
Epsilon-Eliminierung Entferne Epsilon-Übergänge aus einem ε-NFA und konstruiere einen äquivalenten NFA.
Potenzmengen­konstruktion Wandle nichtdeterministische endliche Automaten in deterministische um, indem du die Potenzmengenkonstruktion anwendest.
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.