(c)
Assume that we have two Turing machines M1 and M2 that are non-deterministic. Also assume the two languages L1 and L2 where,
The Turing machines decide the languages L in log space.
The NL is closed under the operation use Turing machines as follows:
- A word is taken which can be broken into sub-words w1 , w2 ,.......wn the word such that for any length all sub-words of w are in L.
- The word is inL if
Thus, L* is accepted by the machine.
After L* is accepted by the machines, the length of the first sub-word w1 is figured out by the machines using the non-determinism technique and they recreate M on it the length of the word w1 is figured out by the machine. Thus even if the machines M attempts to move the input reading ahead of this length the machine M should be mimicked in such a way that the information taps will contain just w1
- The machine will reject it w1 is rejected by the machine M.
- If w1 is accepted by the machine then our machines will also accept it. The machine will now
Check the input of w1. If machines cannot verify the inputs of w1 then it will continue to string w2.
The branch will continue till it dismissed or when the entirety of the input word is surrounded by acknowledged sub-word in which case we acknowledge it.
Thus NL is closed under the operations star
.
Therefore, The decidable languages are closed under the operation of the star.