标签： turing-machines alphabet
给图灵机输入字母Σ和磁带字母Γ。字母Σ不包括空白符号，Γ包括。让我们将空白符号表示为_。假设给定输入 w 的图灵机将输出 w _ w 写为输出。也就是说，输出是输入的重复，中间是空白符号。
在考虑输出时是否将空白符号丢弃了？尽管磁带中写入了 w_w ，我们是否仍应将输出视为 ww ？如果空白符号被丢弃：是因为它不属于Σ还是因为空白符号总是被丢弃？