*** Welcome to piglix ***

Log-space transducer


A log space transducer (LST) is a type of Turing machine used for log-space reductions.

A log space transducer, , has three tapes:

will be designed to compute a log-space computable function (where is the alphabet of both the input and output tapes). If is executed with on its input tape, when the machine halts, it will have remaining on its output tape.


...
Wikipedia

...