Can you use Master Theorem to solve this equation Give your
Solution
To complete the program, the state changes throughout the execution of the program on the machine should be thought-about. the subsequent changes, marked in italics, should be aded to our table which might currently be known as a state table:
State Symbol read Write instruction Move instruction Next state
State 0 Blank None None Stop state
0 Write 1 Move the tape to the right State zero
1 Write zero Move the tape to the right State 0
We assign the previous set of directions to a machine state, in order that the machine can perform those directions once it\'s within the mere state.
After each instruction, we tend to additionally specify a state for the machine to transition to. within the example, the machine is redirected back to its original state, State 0, to repeat the read-write-nove sequence, unless a blank image is browse. once the machine reads a blank image, the machine is directed to a stop state and therefore the program terminates.
Finite state machines
Even though it appears silly to try to to therefore, let\'s currently add an extra state to our program that reverts the already inverted bits \"1 one zero\" back from \"0 0 one\" to \"1 1 0\". Below is that the updated table, with changes listed in italics. The computing machine currently acts sort of a finite state machine with 2 states—these square measure known as three-symbol, two-state Alan Turing machines.
State Symbol read Write instruction Move instruction Next state
State 0 Blank Write blank Move the tape to the left State one
0 Write one Move the tape to the right State 1
1 Write zero Move the tape to the right State 0
State 1 Blank Write blank Move the tape to the right Stop state
0 Write one Move the tape to the left State 1
1 Write 0 Move the tape to the left State one
For the write instruction, \"None\" has been modified to \"Write blank\" for uniformity\'s sake (so that solely the machine\'s symbols square measure referred to), and it ought to be noted that they\'re equivalent.
