first of all is above question is correct?
i think decidability is property of particular problem like 1. whether given string belong to particular language 2. whether TM will reach particular state on given input and not of TM(or any other machine ) itself.
in case above question is correct then I think it is not decidable.
It can remain stuck on particular state and may not reach goal state. Also it can modify input and move to previous States, so again we don't know if it will reach goal state
is there any way to prove or disprove it?
By Rice's theorem, whether an input TM has some semantic property is undecidable if that semantic property is non-trivial. A semantic property is one that describes the language accepted by the TM. A semantic property is non-trivial if it is true of some TMs but not all of them.
Whether a TM has infinitely many states is not a semantic property of TMs. It is a question about the structure of the TM rather than the language the TM accepts. As such, Rice's theorem does not apply.
Indeed, a Turing machine, by definition, has only finitely many states. Therefore, this is a trivial syntactical property: all TMs have a finite number of states. A decider for the language of TMs with a finite number of states simply transitions to halt_accept.
Now, one can imagine a TM-like thing that has infinitely many states and can have infinitely large input on its tape and then asking whether another one of these things can decide whether these sorts of things have finitely or infinitely many states. If you're interested in pursuing this line of thought you probably need to think through what it means for a TM with infinitely many states to decide a problem with infinitely large inputs. Hypercomputation is a term used to describe sorts of machines that work this way. But these are not TMs.