代码之家  ›  专栏  ›  技术社区  ›  prelic

图灵机的表示有多武断?

  •  1
  • prelic  · 技术社区  · 14 年前

    我知道图灵机器被正式定义为7元组。如果我有图灵机器 U 还有另一台图灵机器 M ,设计是否琐碎 美国 认识 的字母表、输入符号、接受状态集等?

    我的一部分人认为,因为这些是有限的集合,所以数数它们是微不足道的,但是我的一部分想知道你是否可以列举 的定义不可能循环到无穷大。

    1 回复  |  直到 14 年前
        1
  •  0
  •   Brian Clements    14 年前