Comment by grekiki

Sure but halting problem is solvable for finite state machines.