El cómputo se determina a partir de una tabla de estados de la forma: