User blog comment:Ubersketch/Uncomputable function/@comment-32697988-20190618174548

1. What is the difference between statement x and statement Tx?

2. Are Tx, Nx, Sxyz, Exy, and Uxy statements?

3. What do you mean by an automaton?