A is a finite alphabet of symbols, one of which is a special halting symbol.
A 是有限的符号字母表，其中一个是特殊的停机符号。