Skip to content

DanielChahine0/Examples-Turing_Machine

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

5 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

A curated collection of educational Turing Machines written in plain YAML. Each example comes with a step-by-step README and an interactive turingmachine.io link, demonstrating classic problems such as:

  • Binary XOR writer – computes w1 ⊕ w2 on a single tape
  • Recognizer for 1ⁿ 0ᵐ 1ⁿ⁺ᵐ – checks equal-length prefixes/suffixes around a 0-block
  • Decider for “0’s ≠ 2 × 1’s” – accepts all strings where the 0-count is not double the 1-count
  • Decider for powers-of-two zeros 0^{2ⁿ} – halves the remaining 0’s recursively until one remains

Perfect for automata theory courses, quick demos, or anyone who wants to experiment with Turing Machines in a readable format. Clone, open the provided links, and you can start looking through the states!

About

A curated collection of educational Turing Machines written in plain YAML. Each example comes with a step-by-step README and an interactive turingmachine.io link, demonstrating classic problems such as: Binary XOR writer, Recognizer for 1ⁿ 0ᵐ 1ⁿ⁺ᵐ, and much more.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors