turing-machines - 什么是图灵机器语言？

Question

所以我试图寻找语言的精确定义，但所有文章都假设这个定义对每个人都是显而易见的。显然，对我来说不是。
图灵机器语言的定义是什么？

Answer 1

当你运行一个 TM 时，你给它一个字符串作为输入。然后 TM 将接受字符串、拒绝字符串或在机器上循环。 TM 的语言被定义为它接受的所有字符串的集合。

并非每种语言都是图灵机的语言——这是理论计算机科学的标志性成果之一。作为图灵机语言的语言有很多名称——它们是图灵可识别语言、半可判定语言和递归可枚举语言。您将看到根据上下文使用的所有这些术语。