Seguimiento de algoritmos mediante tablas de estados