Question: This problem is about the busy beaver function. Look carefully at the 3 - state - busy - beaver and 4 - state - busy

This problem is about the "busy beaver" function.
Look carefully at the 3-state-busy-beaver and 4-state-busy-beaver examples, including all the comments that discuss the busy beaver function. Write a pseudocode to check all 2-state 2-symbol Turing machines and find busy beavers among them which has either the most non-blank symbols or which took the most steps. Use function simulate2state2symbolTM(A0_transition, A1_transition, B0_transition, B1_transition) to simulate a 2-state 2-symbol Turing machine that returns a list including the number of steps it took and the number of non-blank symbols. You can use transition as follows:
For example for A0_transition which is the transition when current state is A and input symbol is 0, you can use string "1LB" which writes 1 to tapehead, then moves tapehead to left and sets current state to B.
Finally describe how this implementation can be generalized into all types of Turing machines and discuss whether this is a good or bad solution for finding busy beavers.

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Programming Questions!