Verändere das Turing-Maschinen Applet von http://www.math.tau.ac.il/~dinur/courses/spring99/projects/TuringMachine/home.htm (source) derart, daß es auch Programme von nichtdeterministischen Turing Maschinen korrekt abarbeiten kann.
Schreibe ein Programm auf einer k$ NTM für SAT.