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

  • Turing Machine

Tech Notes

  • Exploring One-Sided Turing Machines

Symbols

  • boundaryAxiomsFor
  • cachedProofFor
  • CompressToRunLength
  • DecodeTuringMachineRules
  • FindInductiveProof
  • forAllBody
  • goalFor
  • inductionProofGraph
  • IslandsPanel
  • mergedProofFor
  • MultiwayBothPanel
  • multiwayCloudOverlap
  • multiwayDistance
  • MultiwayEquationalGraph
  • MultiwayGeodesicGraph
  • MultiwayInductiveProofPanel
  • MultiwayNonHaltedStatesLeft
  • MultiwayRuleGraph
  • multiwaySubProofCones
  • multiwaySystemFor
  • MultiwayTokenEventGraph
  • MultiwayTuringMachineFunction
  • MultiwayTuringMachinePlot
  • MultiwayTuringMachineRules
  • NonTerminatingTuringMachineQ
  • OneSidedTuringMachineEvolution
  • OneSidedTuringMachineFind
  • OneSidedTuringMachineFunction
  • OneSidedTuringMachineFunctionPlot
  • OneSidedTuringMachinePlot
  • OneSidedTuringMachineRuntimePlot
  • onesRunDefinitions
  • proofGraph
  • RenderAxiomGrid
  • RenderConfiguration
  • RenderEquation
  • RenderUniversalGoal
  • RuleSpacePanel
  • RunMachine
  • SettingsPanel
  • ShowTapeConfiguration
  • StatementPanel
  • TokenEventPanel
  • transitionAxiomsFor
  • TuringMachineOutput
  • TuringMachineOutputWithStepsFloat
  • TuringMachineOutputWithSteps
  • TuringMachineOutputWithStepsWidthsFloat
  • TuringMachineOutputWithStepsWidths
  • TuringMachineRuleCases
  • TuringMachineRuleCount
  • TuringMachineSteps
  • TuringMachineStepsWidths
  • TuringMachineWidths
  • TuringMachineWorstCasePlot
  • unboundAxiom
  • zerosRunDefinitions
  • $InductiveProofColors
  • $PvsNPStyles

Overviews

  • TuringMachine
WolframInstitute`TuringMachine`
OneSidedTuringMachinePlot
​
OneSidedTuringMachinePlot
[rule,input,n]
generates a visualization of the space-time evolution of the one-sided Turing machine rule run on input for at most n steps.
​
Details and Options
▪
The machine is given as
{number,s,k}
; each row is one step, with tape cells colored by their symbol value and the head drawn as a black marker whose orientation indicates the machine's current state.
▪
The following options can be given:
option
default
description
"Width"
"Maximum"
width of the tape to display
"LabelOutput"
True
whether to label the output value
"LabelInput"
False
whether to label the input value
"Columns"
1
number of columns to split the evolution into
"TerminationColumnColor"
GrayLevel[0.7]
color of the termination column
"PlotSize"
"Automatic"
size of the plot
ImageSize
50
size of the image
​
Examples  
(2)
Basic Examples  
(1)
Plot the evolution of the s=3, k=2 rule 600720 on input 1:
In[1]:=
OneSidedTuringMachinePlot
[{600720,3,2},1,16]
Out[1]=
7
Options  
(1)

SeeAlso
OneSidedTuringMachineFunction
 
▪
OneSidedTuringMachineFind
RelatedGuides
▪
TuringMachine
""

© 2026 Wolfram. All rights reserved.

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