Because it always halts, such a machine is able to decide whether a given string is a member of a formal language.
因为它总是停机，这个机器有能力判定给定字符串是否是一个形式语言的成员。