next up previous contents
Next: Some r.e. languages have Up: Recursively Enumerable Languages Previous: r.e. languages enumerable by

Enumeration means listing only valid strings

An important point is that enumeration involves listing only those strings in the language -- there can be repetitions and the strings can be generated in any order, but no illegal strings ($w
\notin L(M)$) can be generated in the process of generating the legal strings.