PPT Slide

The basic idea of a run in an _-NTS is that any number of _-moves may precede and follow readingeach letter from the input stream.

_-closure(a) = {a,b}

_-closure(b) = {b}

_-closure(c) = {a,b,c}

Example 1.2.7

Definition 1.2.10: For _-NTS T = (S, _, _), the transition function _*: S___* __ p(S) is defined inductively for each s__S by:(i) _*(s, _) = _-closure(s),(ii) for x_ _* and __ _,  _*(s, x__) = _-closure( ______(t,__)), where T = _*(s,x).

t__T

Previous slide

Next slide

Back to first slide

View graphic version