In this task you will be given a text passage from a trivia quiz. You should choose the category this question belongs to from these categories: History, Science, Social Science, Fine Arts, Literature. You can only choose one category, so if in doubt, please choose the closest match.
Q: Langston's ant and turmites are two-dimensional analogues of these constructs. Recursively enumerable languages are equivalent to the class of languages recognized by these constructs. The universal variant of these constructs can simulate every possible one of these constructs. Attaching one of these to an "oracle" can make it stronger, and a busy beaver is a specific variant of these constructs that executes the maximum number of steps. Lambda calculus is equivalent in power to these constructs according to a hypothesis named after Alonzo Church and these devices' namesake. For 10 points, name these theoretical devices with a head that can read, write, and move upon an infinite length of tape.
A:

Show your work and conclude with the exact phrasing "Therefore, the final answer is [answer]." where [answer] is just the final number or expression that solves the problem.
user
Science