Jump to content

ALL (complexity)

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Danski454 (talk | contribs) at 16:16, 6 February 2024 (Relations to other classes: ALL is uncountable). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In computability and complexity theory, ALL is the class of all decision problems.

Relations to other classes

ALL contains all of the complex classes of decision problems, including RE and co-RE, and uncountably many languages that are neither RE nor co-RE.