計算システムの規則を示す
一次元セルオートマトンのルール30についての規則をプロットする.
In[1]:=
![Click for copyable input](assets.ja/show-rules-for-computational-systems/In_49.png)
RulePlot[CellularAutomaton[30]]
Out[1]=
![](assets.ja/show-rules-for-computational-systems/O_38.png)
コード867の3色総和則の規則を示す.
In[2]:=
![Click for copyable input](assets.ja/show-rules-for-computational-systems/In_50.png)
RulePlot[CellularAutomaton[{867, {3, 1}}]]
Out[2]=
![](assets.ja/show-rules-for-computational-systems/O_39.png)
六角形を使って,半径が分数のセルオートマトンの規則を示す.
In[3]:=
![Click for copyable input](assets.ja/show-rules-for-computational-systems/In_51.png)
RulePlot[CellularAutomaton[{9, 2, 1/2}], Appearance -> "Hexagons"]
Out[3]=
![](assets.ja/show-rules-for-computational-systems/O_40.png)
2状態2色のチューリング(Turing)マシン2506の規則を示す.
In[4]:=
![Click for copyable input](assets.ja/show-rules-for-computational-systems/In_52.png)
RulePlot[TuringMachine[2506]]
Out[4]=
![](assets.ja/show-rules-for-computational-systems/O_41.png)
3つの文字に関する置換系の規則をプロットする.
In[5]:=
![Click for copyable input](assets.ja/show-rules-for-computational-systems/In_53.png)
RulePlot[SubstitutionSystem[{"A" -> "ABC", "BC" -> "A",
"C" -> "CAB"}]]
Out[5]=
![](assets.ja/show-rules-for-computational-systems/O_42.png)
変数が5個の30次ブール関数の規則を,黒が真,白が偽を表すものとして示す.
In[6]:=
![Click for copyable input](assets.ja/show-rules-for-computational-systems/In_54.png)
RulePlot[BooleanFunction[30, 5]]
Out[6]=
![](assets.ja/show-rules-for-computational-systems/O_43.png)