Liệu việc buộc các TM thay đổi tất cả các biểu tượng mà họ đọc có làm thay đổi sức mạnh của họ không?

Nếu chúng ta giới hạn một máy turing để nó không được phép viết biểu tượng mà nó đọc thì nó có làm giảm sức mạnh của nó không?

Ví dụ: $( State, A, State, Z, DIRECTION)$

$A$ không thể là biểu tượng giống như $Z$.

Nếu bạn đưa cho tôi một Máy Turing tiêu chuẩn, tôi có thể xây dựng một Máy Turing phải viết khác nhau, thực hiện cùng một việc.

Tôi sẽ lấy bảng chữ cái ban đầu và nhân đôi nó - vì vậy biểu tượng $a$, Tôi tạo hai biểu tượng $a_1$ và $a_2$và cho biểu tượng $b$, Tôi sáng tạo $b_1$ và $b_2$.

Bây giờ tôi đối xử với cả hai $a_1$ và $a_2$ theo cách chính xác giống như TM cũ được xử lý $a$, ngoại trừ khi tôi phải viết một $a$ trở lại một $a$, Tôi kiểm tra xem biểu tượng hiện tại là $a_1$ hoặc là $a_2$ và viết cái khác

Chúng tôi có thể xác minh rằng công trình này thực sự sẽ bắt chước hành vi của TM ban đầu (bất kể đó là gì), do đó, các TM khác nhau phải viết cũng mạnh mẽ như nhau.

(Nếu điều này không rõ ràng, xin vui lòng cho tôi biết để tôi có thể giải thích thêm!)