Texto base de la asignatura - UNED

FORMALISMOS DE MODELADO Y SUS SIMULADORES
de la tabla de transición/salidas. La función λ se denomina la función de salida y
corresponde con las primeras dos columnas y con la última columna de la tabla.
Las funciones de transición de estados y de salida constituyen una forma más
general de representar la información. Por ejemplo, el modelo de la tabla mostrada
en el Ejemplo 2.2.1 puede representarse, de manera más compacta, de la forma
siguiente:
δ (q, x) = x (2.1)
λ (q, x) = x (2.2)
que indica que el estado siguiente y la salida actual están ambos determinados por
la entrada actual.
La secuencia de estados, q(0), q(1), · · · se denomina trayectoria de los estados.
Conocido el estado inicial, q(0), los siguientes estados de la secuencia se determinan
de la forma siguiente:
q(t + 1) = δ (q(t), x(t)) (2.3)
y similarmente, la trayectoria de salida viene dada por la expresión siguiente:
y(t) = λ (q(t), x(t)) (2.4)
A continuación, se muestra un algoritmo para calcular el estado y la trayectoria
de salida de un modelo de tiempo discreto, a partir de la trayectoria de entrada y el
estado inicial. Este algoritmo es un ejemplo de simulador.
Ti = 0, Tf = 9 tiempo inicial y final, en este caso 0 y 9
x(0) = 1, ..., x(9) = 0 trayectoria de entrada
q(0) = 0 estado inicial
t = Ti
while ( t