Define Software Testing
Define Software Testing
Difference between TM
and LBA
A TM has a tape with an
unbounded length, but
the LBA only allows the
read/write head to access
a finite portion of the
tape. The length of the
accessible portion is a
linear function of the
initial input's length.
An LBA is a multi-track,
non-deterministic TM
with a tape of a bounded
finite length. The input
alphabet contains two
special symbols that serve
as left and right end
markers. Transitions can't
move to the left of the left
end marker or to the right
of the right end marker.