The laterality problem for non-erasing Turing machines on $\lbrace 0,1\rbrace $ is completely solvedMaurice MargensternRAIRO-Theor. Inf. Appl., 31 2 (1997) 159-204DOI: https://doi.org/10.1051/ita/1997310201591
