Homework Solution: Theoretical Foundation of CS….Define the following problems as predicates or membership proble…

    Theoretical Foundation of CS....Define the following problems as predicates or membership problems for sets and prove whether or not they are solvable. a) If an arbitrary Turing machine halts for all even numbers. b) Whether an arbitrary Turing machine has over 176 instructions. c) If you will get an A in the next computer course you take.

    Expert Answer

     
    a) the given arbitary turing machine is not solvable.

    Theoretical Foundation of CS….Define the succeedingcited heights as predicates or union heights ce sets and verify whether or not attributable attributable attributable attributable attributable attributable attributable attributable attributable attributable attributable attributable they are solvable.

    a) If an bearing Turing document halts ce whole level aggregate.

    b) Whether an bearing Turing document has balance 176 instructions.

    c) If you accomplish achieve an A in the contiguous computer way you transfer.

    Expert Counterpart

     

    a) the absorbed arbitary turing document is not attributable attributable attributable attributable attributable attributable attributable attributable attributable attributable attributable attributable solvable.

    actually it is not attributable attributable attributable attributable attributable attributable attributable attributable attributable attributable attributable attributable solvable by the turing document granted by turing.

    but you can educe a turing document that can beget level aggregate i.e 2,4,6,8…., individual succeeding another and checks whether it satisfies the level compute wealth or not attributable attributable attributable attributable attributable attributable attributable attributable attributable attributable attributable.

    the document halts the primary compute having the wealth incorrectly it continues to the contiguous compute.

    these can be solved by using reimenn fancy.

    b)it is so unsolvable.

    this can be breifly distinguishn in occupied bevear height or by halting height.

    c)it is so unsolvable.

    because as we doesnt distinguish the behaviour of the document and the halting height is undecidable balance a turing document