2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/30886We write the relations that characterize the simpliest timed automaton, the inertial delay buffer, in two versions: the non-deterministic and the deterministic one, by making use of the derivatives of the R->{0,1} functions.Logic in Computer Science94C05; 94C10Applications of the Differential Calculus in the Study of the Timed Automata: the Inertial Delay Buffertext