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.

Two major types of these can be converted between by the so-called "subset method. " The trajectories of some of these are governed by the Cohen-Kung theorem; these include Langdon's Ant. Formally type-0 mininal automata, these exhaust the space of computable algorithms according to a thesis due to Church and their namesake. They were originally used to demonstrate the undecidability of the Halting Problem and consist of an action table, register, read/write head, and infinite tape. FTP, name these theoretical computing constructs; ideal computers named for a pioneering British computer scientist.
Science