The reduction of tape reversals for off-line one-tape Turing machines

From MaRDI portal
Publication:2540551