Springe zum Hauptinhalt
Theoretische Informatik
Demos
Theoretische Informatik 

Demos and Games

Find a word in an alphabetically sorted list
maximize a unimodal function
Enter your own context-free grammar and input word and whatch the recursive descent algorithm go crazy!
Use my graphical lambda calculus interpreter! It does not use eager nor lazy evaluation, but evaluation-by-hand: you have to click nodes to make them evaluate!
Cops and robber
play with random subgraphs of the grid
tetris