Nachverfolgung von Algorithmen mittels Zustandstabellen