:: deftheorem Def19 defines ZeroTuring TURING_1:def 19 :
for b₁ being strict TuringStr holds
( b₁ = ZeroTuring iff ( the Symbols of b₁ = {0,1} & the FStates of b₁ = SegM 4 & the Tran of b₁ = Zero_Tran & the InitS of b₁ = 0 & the AcceptS of b₁ = 4 ) );