1. References

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

A log space transducer, , has three tapes:

• A read-only input tape.
• A read/write work tape (bounded to at most symbols).
• A write-only, write-once output tape.

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.

A language is said to be log-space reducible to a language if there exists a log-space computable function, , which will convert an input from problem into an input to problem . I.E. .

This seems like a rather convoluted idea, but it has two useful properties that are desirable for a reduction:

1. The property of transitivity holds. (A reduces to B and B reduces to C implies A reduces to C).
2. If A reduces to B, and B is in L, then we know A is in L.

Transitivity holds because it is possible to feed the output tape of one reducer (A→B) to another (B→C). At first glance, this seems incorrect because the A→C reducer needs to store the output tape from the A→B reducer onto the work tape in order to feed it into the B→C reducer, but this is not true. Each time the B→C reducer needs to access its input tape, the A→C reducer can re-run the A→B reducer, and so the output of the A→B reducer never needs to be stored entirely at once.

References

• Szepietowski, Andrzej (1994), [https://books.google.com/books?id=vNPuNOo9BUYC&pg=PA19&lpg=PA19&dq=log+space+transducer&source=web&ots=zzDCxeVb87&sig=cgzOPS3ZJaIo1kYboPGmvn4jdos&hl=en&sa=X&oi=book_result&resnum=1&ct=result Turing Machines with Sublogarithmic Space ], Springer Press, {{ISBN|3-540-58355-6}}. Retrieved on 2008-12-03.
• Sipser, Michael (2012), [https://books.google.co.uk/books?id=1aMKAAAAQBAJ Introduction to the Theory of Computation], Cengage Learning, {{ISBN|978-0-619-21764-8}}.

• Roman Catholic Archdiocese of Los Altos Quetzaltenango-Totonicapán
• Roman Catholic Archdiocese of Luanda
• Roman Catholic Archdiocese of Lubango
• Roman Catholic Archdiocese of Lubumbashi
• Roman Catholic Archdiocese of Lusaka
• Roman Catholic Archdiocese of Luxembourg
• Roman Catholic Archdiocese of Lviv
• Roman Catholic Archdiocese of Lviv of the Latins
• Roman Catholic Archdiocese of Lyon
• Roman Catholic Archdiocese of Madang
• Roman Catholic Archdiocese of Madrid
• Roman Catholic Archdiocese of Malabo
• Roman Catholic Archdiocese of Malacca-Singapore
• Roman Catholic Archdiocese of Malanje
• Roman Catholic Archdiocese of Malta
• Roman Catholic Archdiocese of Managua
• Roman Catholic Archdiocese of Mandalay
• Roman Catholic Archdiocese of Manfredonia
• Roman Catholic Archdiocese of Manfredonia-Vieste-S. Giovanni Rotondo
• Roman Catholic Archdiocese of Maputo
• Roman Catholic Archdiocese of Maracaibo
• Roman Catholic Archdiocese of Marseille
• Roman Catholic Archdiocese of Maseru
• Roman Catholic Archdiocese of Mbandaka-Bikoro
• Roman Catholic Archdiocese of Mbarara