Uma máquina de Turing somente de leitura ou um autômato determinístico de estados finitos de dois caminhos é a classe de modelos de computabilidade que se comportam como uma máquina de Turing padrão que se move em ambas as direções pela cadeia de entrada, mas que não é possível escrever em sua fita. Wikipedia