we read W as "the state at time W resulting from starting from starting at time W in state W and applying the input function W
the definition allows the possibility of undefined transitions, when the input E is not admissible for the given state, which correspond for differential equations to the phenomenon of "explosion times" at which the solution ceases to be defined