Especificación en Z de agregar_temporizador

[CHAR]

FUNC == seq CHAR

HORA == N

FRECUENCIA == N

TABLA == P(FUNC x FRECUENCIA x HORA)

®agregar_temporizador: FUNC x FRECUENCIA x TABLA f TABLA
Ç_______________
® Af: FUNC; h: FRECUENCIA; t: TABLA ¥
® agregar_temporizador (f, h, t) = t U {(f, h, 0)}

Agrega una entrada a la tabla del temporizador.

GDES

Calcular DFC