Es geht um eine abstrakte Maschine, wie die UM.Diese ist spezifiziert und es sind Programme für diese zu schreiben, die gestellte Probleme lösen. Dabei muss man aus einer Anfangskonfiguration des Speichers und der Register einen Endzustand erreichen.
@ALLAN: Would you please implement the machine thats described in the next link? This shouldn't be a hard task in haskell. You can test it with the samples that are described in the manual of the next link. Tomorrow we can discuss how to find the solutions to the tasks in BALANCE_PUZZLES without using the method "trial and error"… I solved all of the "stop" puzzles by hand.