Def3.1Def\ 3.1Def3.1图灵机是一个7元组Q∑Γδq0qacceptqrejectQ∑Γδq0​qaccept​qreject​Q∑ΓQ∑Γ都是有穷集合，并且QQQ是状态集∑\sum∑是输入字母表，不包括特殊空白符号⊔\sqcup⊔Γ\GammaΓ是带子字母表，其中，⊔∈Γ⊳∈Γ∑⊆Γ⊔∈Γ⊳∈Γ∑⊆ΓδQ×Γ→Q×Γ×L。

一个好的模型需要对输入数据的扰动足够健壮，丢弃法就是在层之间加入噪音。也可以在数据中使用噪音，等价与。