Read-only right moving Turing machines

1. REDIRECT Deterministic finite automaton#Equivalent models

{{Redirect category shell|

{{R from move}}

}}