#turing machine #halting problem #undecidable problem #computability theory #decision problem #theoretical computer science #run state