Wpc/formal language
HomePage
|
Wpc
|
Recent Changes
|
Preferences
Difference (from prior minor revision)
(no other diffs)
Changed: 14,15c14
*
decidable language
* [undecidable language]
?
*
enumerable language
Definition:
A set of
strings
over an
alphabet
.
Generalizations:
set
?
Specializations:
size
[finite language]
?
[infinite language]
?
computability
enumerable language
Involved in:
Nothing yet
Relevant Wikipedia Articles:
the concept-
formal language
related field(s)-
theory of computation
potential real-world examples-
/Discussion
?