X | set of input ports (with names) |
Y | set of output ports (with names) |
S | set of internal states |
τ | input delay, always > 0 (usually infinitesimal) |
ta(s) | lifetime of a state, always > 0 |
λ(s,e,x) | output at state s, elapsed time e and input x |
δ(s,e,x) | new state at state s, elapsed time e and input x |