agentsclimarketplace
Sign in

Turing machine simulator

Skill a5c-ai/babysitter/library/specializations/domains/science/computer-science/skills/turing-machine-simulator

Simulate Turing machines for computability analysis and algorithm demonstrationFrom its SKILL.md

Install
npx -y skills add a5c-ai/babysitter --skill turing-machine-simulator

Assembled from the repository path, not quoted from the project. Check it against their README if it does not work.

SKILL.md

1.4 KB, 150 tokens by cl100k_base, as published. Nobody here has run it

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

  1. TM Specification: Define Turing machine formally
  2. Simulation Setup: Configure simulation parameters
  3. Execution: Run simulation with visualization
  4. Analysis: Analyze computation trace
  5. Documentation: Generate execution report

Tools/Libraries

  • TM specification languages
  • Visualization tools
  • Computation trace analyzers

What ships with it

Read from the repository

Just SKILL.md. No reference files, no scripts.

Keep looking

Skills are one crate of 326,059. Ordering is by how many stacks a row turns up in, so the top of any crate is what has actually been picked rather than what has the most stars.