turing-machine-simulator
// Simulate Turing machines for computability analysis and algorithm demonstration
$ git log --oneline --stat
stars:384
forks:73
updated:March 4, 2026
SKILL.mdreadonly
SKILL.md Frontmatter
nameturing-machine-simulator
descriptionSimulate Turing machines for computability analysis and algorithm demonstration
allowed-toolsBash,Read,Write,Edit,Glob,Grep
metadata[object Object]
Turing Machine Simulator
Purpose
Provides expert guidance on simulating Turing machines for computability analysis, decidability proofs, and algorithm demonstration.
Capabilities
- Multi-tape TM simulation
- Non-deterministic TM simulation
- Step-by-step execution with tape visualization
- Halting detection with timeout
- Generate computation traces
- Universal TM simulation
Usage Guidelines
- TM Specification: Define Turing machine formally
- Simulation Setup: Configure simulation parameters
- Execution: Run simulation with visualization
- Analysis: Analyze computation trace
- Documentation: Generate execution report
Tools/Libraries
- TM specification languages
- Visualization tools
- Computation trace analyzers