blank symbol

B∈ Γ,被称为 空白符 (blank symbol),含有空白符的带方格被认为是空的；∑?Γ-{B}为 输入字母表,?a∈ ∑,a为 M的一个输入符号。