#turing machine #infinite tape #theoretical model #computability theory #computer science foundation #undecidability #abstract machine