bn:03347556n
Noun Concept
EL
αναδρομικά αριθμήσιμα γλώσσα
EN
In mathematics, logic and computer science, a formal language is called recursively enumerable if it is a recursively enumerable subset in the set of all possible words over the alphabet of the language, i.e., if there exists a Turing machine which will enumerate all valid strings of the language. Wikipedia
Relations
Sources