<<Up     Contents

Redirected from Wpc/enumerable language

Table of contents 1 Also known as: 2 Definition: 3 Generalizations: 4 Specializations: 5 Involved in: 6 Relevant Wikipedia Articles:

Also known as:

Recursively enumerable language

Definition:

A formal language for which there exists an algorithm which, given string X, answers yes iff X belongs in the language.

Generalizations:

• formal language (no computational requirement)

Specializations:

• decidable language (algorithm stops on all inputs)
• context-sensitive language[?]

Involved in:

• co-enumerable language[?] (complement of an enumerable language)