recursively enumerable language
(Q1073063)
a formal language that can be output (enumerated) by an algorithm (mathematical logic, computability theory)
a formal language that can be output (enumerated) by an algorithm (mathematical logic, computability theory)
Language:
Current Data About
recursively enumerable language
other details
| aliases |
Turing-recognizable |
| description | a formal language that can be output (enumerated) by an algorithm (mathematical logic, computability theory) |
External Links
| (P646) |
/m/0f8z3
|
| (P5106) |
recursivelyEnumerableLang
|
| (P6366) |
203702658
|
| (P10283) |
C203702658
|