Slide 1 1 Decidability continued Slide 2 2 Undecidable Problems Halting Problem: Does machine halt on input ? State-entry Problem: Does machine enter state halt on input…
