Beruflich Dokumente
Kultur Dokumente
APPLICATIONS
UNIT-5
FORMAL LANGUAGES & AUTOMATA THEORY
The fourth step, using the five-tuple (s0, 1, s1, 1,R), reads the 1
in the current cell, enters state s1, writes a 1 in this cell, and
moves right one cell.
The fifth step, using the five-tuple (s1, 1, s2, 0,L), reads the 1 in
the current cell, enters state s2, writes a 0 in this cell, and moves
left one cell.
The sixth step, using the five-tuple (s2, 1, s3, 0,R), reads the 1 in
the current cell, enters the state s3, writes a 0 in this cell, and
moves right one cell.
Finally, in the seventh step, the machine halts because there is
no five-tuple beginning with the pair (s3, 0) in the description
of the machine. The steps are shown in Figure 2. Note that T
changes the first pair of consecutive 1s on the tape to 0s and
then halts.