Definition 1.2.8: A null-move (or _-move) non- deterministic transition system (_ -NTS) is a triple, T = (S, _, _), where S, the states, and _, the input alphabet, are finite non-empty sets, and _ is a function, _: S__(____{_})__ p(S), the next-state function.
When _(s, _) is defined (i.e., not empty) it is called a spontaneous transition — the state changes without input being read.
The _ -moves significantly complicate the ways in which transitions cascade. So before we define how an _ -NTS responds to a sequence of inputs, we must address the cascading of _ -moves.
| Previous slide | Next slide | Back to first slide | View graphic version |