TuringMachine

TuringMachine[rule, init, t]
产生一个列表,表示带有指定规则,即从出初始条件 init 以步长 t 变化的图灵机(turing machine)的简化.

TuringMachine[rule, init]
给出 init 每一步简化的结果.

更多信息更多信息

  • 对于一维图灵机(Turing machine),TuringMachine 简化的每一步由 的形式给出,头以状态 s,带中的单元具有值 ,头的坐标 x 是以相对 ,并相对于它的初始位置位移为 dx.
  • 如果 dx 省略图灵机(Turing machine)的初始条件,它的值是 .
  • 对一个 d 维图灵机(Turing machine),带指定为一个 d 维的数组,并且坐标 x 和相对位置dx 是长度d 的列表.
  • 一个图灵机(Turing machine)的规则设定可以通过形式 的列表给出,可以带有下列元素:
  • si头的状态
    ai头下单元的值
    spi头的新的状态
    api头下单元的新值
    offi头移动的偏移
  • 状态和单元值是整数模式,或其他表达式,单个单元值不能是列表.
  • 在一维情况下,每个位移 是一个单一整数;在多维情况下,它是一个整数列表.
  • 当状态和单元值分别设置为1 到 及0到 范围内的整数,下列可以在 rule 中设定:
  • n2 态 2 色带有数量 n 的机器
    {n,s}s 状态, 2色带有数量 的机器
    {n,s,k}s 状态, k 色带有数量 n 的机器
    {n,s,k,r}允许位移 在范围 (不包括 0)
    {n,s,k,{r1,r2,...,rd}} 维机器,带有 , , ... 的偏移
    {n,s,k,{{off1},{off2},...}}允许指定位移的机器
    rule给出带有明确给定规则的机器
  • 图灵机(Turing machine )的数量的规则可以指定下面:
  • 2态2色机器4096
    sk 色机器
    sk 色范围 r 的机器
    二维 sk 色机器(4 s k)^(s k)
  • 如果机器关于它本身的配置,没有设置任何规则,则它的配置不会发生改变.
  • 初始条件 init 的典型形式可以如下:
  • {s,{{},0}}在 0 秒的一个一维带上,状态 s 的头部
    {s,{{a1,a2,...},0}}限制 的区域,在一个无限带内
    {{s,x},{{a1,a2,...},0}}初始坐标 x 的 头部的限制区域
    {{s,...},{{a1,...},{b1,...}}} 的重复背景
    {{s,...},{a1,a2,...}}假定循环的有限带
  • TuringMachine[rule, init, t] 生成一个长度为 的变化序列.

范例范例打开所有单元关闭所有单元

基本范例 (4)基本范例 (4)

2 态2 色机器2506,带有4秒的单带:

In[1]:=
Click for copyable input
Out[1]=

2 态2 色机器2506,带有无限的空白带:

In[1]:=
Click for copyable input
Out[1]=

绘制带的连续配置:

In[2]:=
Click for copyable input
Out[2]=

将"注入" 状态信息放入带内:

In[1]:=
Click for copyable input
Out[1]=

以红色的方块显示头的位置:

In[2]:=
Click for copyable input
Out[2]=

给出一系列转变规则的机器:

In[1]:=
Click for copyable input
Out[1]=
版本 6 的新功能
New to Mathematica? Find your learning path »
Have a question? Ask support »