Mathlib
Atlas
Atlas
/
Compute
/
Turing machines
The machine
1/4
An infinite tape of cells, a head, and a finite set of states.
δ
(
q
,
a
)
=
(
q
′
,
b
,
D
)
Replay
Challenge
Ask
steps
6