Para controlar la ejecución de las instrucciones, el marcador mantiene tres tablas de estados: