Enumerator (computer science)

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.

Formal definition

An enumerator can be defined as a 2-tape Turing machine (Multitape Turing machine where ) whose language is . Initially, receives no input, and all the tapes are blank (i.e., filled with blank symbols). Newly defined symbol is the delimiter that marks end of an element of . The second tape can be regarded as the printer, strings on it are separated by . The language enumerated by an enumerator denoted by is defined as set of the strings on the second tape (the printer).

Equivalence of Enumerator and Turing Machines

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 and the language accepted by it be . Since the set of all possible strings over the input alphabet i.e. the Kleene Closure is a countable set, we can enumerate the strings in it as etc. Then the Enumerator enumerating the language will follow the steps:

1 for i = 1,2,3,...
2 Run  with input strings  for -steps
3 If any string is accepted, then print it. 

Now the question comes whether every string in the language will be printed by the Enumerator we constructed. For any string in the language the TM will run finite number of steps(let it be for ) to accept it. Then in the -th step of the Enumerator will be printed. Thus the Enumerator will print every string 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 that recognizes the enumerable language . 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 its a match, then we accept the input, else reject.

References

Sipser, Michael (2012). Introduction to the Theory of Computation - International Edition. ISBN 978-1-133-18781-3.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.