Definition 1.2.4: A 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.
Definition 1.2.5: If T = (S, _, _) is a non-deterministic transition system, then the transition function, _*, is the function, _*: S ____* ___p(S), defined inductively for all s__S by: _*(s, _) = {s}, and for all x___* and ____, _*(s, x_) = _ _(t,_).
t_ _*(s, x)
| Previous slide | Next slide | Back to first slide | View graphic version |