nondeterministic+turing_machin..
00
default
Zoom value: 1.0