Wolfram Language Paclet Repository

Community-contributed installable additions to the Wolfram Language

Primary Navigation

    • Cloud & Deployment
    • Core Language & Structure
    • Data Manipulation & Analysis
    • Engineering Data & Computation
    • External Interfaces & Connections
    • Financial Data & Computation
    • Geographic Data & Computation
    • Geometry
    • Graphs & Networks
    • Higher Mathematical Computation
    • Images
    • Knowledge Representation & Natural Language
    • Machine Learning
    • Notebook Documents & Presentation
    • Scientific and Medical Data & Computation
    • Social, Cultural & Linguistic Data
    • Strings & Text
    • Symbolic & Numeric Computation
    • System Operation & Setup
    • Time-Related Computation
    • User Interface Construction
    • Visualization & Graphics
    • Random Paclet
    • Alphabetical List
  • Using Paclets
    • Get Started
    • Download Definition Notebook
  • Learn More about Wolfram Language

TuringMachine

Guides

  • TuringMachine

Tech Notes

  • Exploring One-Sided Turing Machines

Symbols

  • MultiwayNonHaltedStatesLeft
  • MultiwayTuringMachineFunction
  • MultiwayTuringMachinePlot
  • MultiwayTuringMachineRules
  • NonTerminatingTuringMachineQ
  • OneSidedTuringMachineEvolution
  • OneSidedTuringMachineFind
  • OneSidedTuringMachineFunction
  • OneSidedTuringMachineFunctionPlot
  • OneSidedTuringMachinePlot
  • OneSidedTuringMachineRuntimePlot
  • TuringMachineOutput
  • TuringMachineOutputWithStepsFloat
  • TuringMachineOutputWithSteps
  • TuringMachineOutputWithStepsWidthsFloat
  • TuringMachineOutputWithStepsWidths
  • TuringMachineRuleCases
  • TuringMachineRuleCount
  • TuringMachineSteps
  • TuringMachineStepsWidths
  • TuringMachineWidths
  • TuringMachineWorstCasePlot
  • $PvsNPStyles

Overviews

  • TuringMachine
WolframInstitute`TuringMachine`
OneSidedTuringMachineEvolution
​
OneSidedTuringMachineEvolution
[{number,s,k},input,n]
returns the step-by-step evolution of a one-sided Turing machine as a list of configurations, one per step, for at most n steps.
​
​
OneSidedTuringMachineEvolution
[{number,s,k},input,n,width]
sets the displayed tape width.
​
Details and Options
▪
Each configuration is a
{head,tape}
pair: the head record (its state and position) together with the tape contents at that step.
▪
This is the underlying data that
OneSidedTuringMachinePlot
renders; use it directly to post-process or analyze a machine's history.
Examples  
(0)
SeeAlso
OneSidedTuringMachinePlot
 
▪
OneSidedTuringMachineFunction
RelatedGuides
▪
TuringMachine
The evolution of the s=3, k=2 rule 600720 on input 1, which halts after a few steps:
In[1]:=
OneSidedTuringMachineEvolution
[{600720,3,2},1,16]
Out[1]=
{{{1,3,0},{0,0,1,0}},{{1,2,-1},{0,0,1,0}},{{2,1,-2},{0,0,1,0}},{{2,2,-1},{1,0,1,0}},{{2,3,0},{1,1,1,0}},{{3,4,1},{1,1,1,0}}}
""

© 2026 Wolfram. All rights reserved.

  • Legal & Privacy Policy
  • Contact Us
  • WolframAlpha.com
  • WolframCloud.com