Read-only right moving Turing machines

Summary