Enumerator (computer science)

This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources. Find sources: "Enumerator" computer science – news · newspapers · books · scholar · JSTOR (May 2021)

An enumerator is a Turing machine with an attached printer. The Turing machine can use that printer as an output device to print strings. Every time the Turing machine wants to add a string to the list, it sends the string to the printer. Enumerator is a type of Turing machine variant and is equivalent with Turing machine.

This section does not cite any sources. Please help improve this section by adding citations to reliable sources. Unsourced material may be challenged and removed. (April 2021) (Learn how and when to remove this message)

An enumerator ${\displaystyle E}$ can be defined as a 2-tape Turing machine (Multitape Turing machine where ${\displaystyle k=2}$) whose language is ${\displaystyle \emptyset }$. Initially, ${\displaystyle E}$ receives no input, and all the tapes are blank (i.e., filled with blank symbols). Newly defined symbol ${\displaystyle \#\in \Gamma \land \#\notin \Sigma }$ is the delimiter that marks end of an element of ${\displaystyle S}$. The second tape can be regarded as the printer, strings on it are separated by ${\displaystyle \#}$. The language enumerated by an enumerator ${\displaystyle E}$ denoted by ${\displaystyle L(E)}$ is defined as set of the strings on the second tape (the printer).

A language over a finite alphabet is Turing Recognizable if and only if it can be enumerated by an enumerator. This shows Turing recognizable languages are also recursively enumerable.

Proof

A Turing Recognizable language can be Enumerated by an Enumerator

Consider a Turing Machine ${\displaystyle M}$ and the language accepted by it be ${\displaystyle L(M)}$. Since the set of all possible strings over the input alphabet ${\displaystyle \Sigma }$ i.e. the Kleene Closure ${\displaystyle \Sigma ^{*}}$ is a countable set, we can enumerate the strings in it as ${\displaystyle s_{1},s_{2},\dots ,s_{i},}$ etc. Then the Enumerator enumerating the language ${\displaystyle L(M)}$ will follow the steps:

1 for i = 1,2,3,... 2 Run ${\displaystyle M}$ with input strings ${\displaystyle s_{1},s_{2},\dots ,s_{i}}$ for ${\displaystyle i}$-steps 3 If any string is accepted, then print it.  

Now the question comes whether every string in the language ${\displaystyle L(M)}$ will be printed by the Enumerator we constructed. For any string ${\displaystyle w}$ in the language ${\displaystyle L(M)}$ the TM ${\displaystyle M}$ will run finite number of steps(let it be ${\displaystyle k}$ for ${\displaystyle w}$) to accept it. Then in the ${\displaystyle k}$-th step of the Enumerator ${\displaystyle w}$ will be printed. Thus the Enumerator will print every string ${\displaystyle M}$ recognizes but a single string may be printed several times.

An Enumerable Language is Turing Recognizable

It's very easy to construct a Turing Machine ${\displaystyle M}$ that recognizes the enumerable language ${\displaystyle L}$. We can have two tapes. On one tape we take the input string and on the other tape, we run the enumerator to enumerate the strings in the language one after another. Once a string is printed in the second tape we compare it with the input in the first tape. If it's a match, then we accept the input, otherwise we continue. Note that if the string is not in the language, the turing machine will never halt, thus rejecting the string.