Logspace-computable function
= Logspace-computable function
A total <function> computed by a halting <logspace transducer>. Its output may be much longer than its work tapes. <Logspace-computable functions> compose using <logspace composition by recomputation>.