Task: Text Categorization
Input (English): 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.
Output (English): Science