:: deftheorem Def21 defines U3(n)Turing TURING_1:def 21 :
for b₁ being strict TuringStr holds
( b₁ = U3(n)Turing iff ( the Symbols of b₁ = {0,1} & the FStates of b₁ = SegM 3 & the Tran of b₁ = U3(n)Tran & the InitS of b₁ = 0 & the AcceptS of b₁ = 3 ) );