Hao Wang used the letter "B" to indicate a simplified variety of these objects, while Martin Davis appended Emil Post's name to another reduced variety of them. One version of these objects features a black box with the capability to decide any problem in a single operation called an oracle, while Tibor Rado developed a function to determine the maximum operational time of one of them called the "busy beaver." They are formally defined as seven-tuples that contain a partial "transition" function that directs their heads right and left on their tapes. For 10 points, identify these theoretical devices used to represent computational logic, name
Hao Wang used the letter "B" to indicate a simplified variety of these objects, while Martin Davis appended Emil Post's name to another reduced variety of them. One version of these objects features a black box with the capability to decide any problem in a single operation called an oracle, while Tibor Rado developed a function to determine the maximum operational time of one of them called the "busy beaver." They are formally defined as seven-tuples that contain a partial "transition" function that directs their heads right and left on their tapes. For 10 points, identify these theoretical devices used to represent computational logic, named for a computer scientist who also names a test for artificial intelligence.
Hao Wang used the letter "B" to indicate a simplified variety of these objects, while Martin Davis appended Emil Post's name to another reduced variety of them.
{Turing machines}