For 10 points, name these models of computation devised by a British computerscientist.
Hennie and Stearns proved more complex forms of these mathematical constructs were at most logT more efficient. The "o" variant of these constructs rely on an outside oracle. These constructscorrespond to type 0 grammars, and they were put forth in a paper about the Entscheidungsproblem(ent-SHY-dungs-proh-blem). When they can have more than one rule at each stage, they are called(*) non-deterministic. The question of whether an arbitrary one of these objects ever stops in called thehalting problem. These objects have a read-write head and an infinitely long tape, while universal ones canrun any known algorithm. For 10 points, name these models of computation devised by a British computerscientist.
Hennie and Stearns proved more complex forms of these mathematical constructs were at most logT more efficient.
Turing Machines