https://github.com/francoisschwarzentruber/turing-machine-language

Turing machine language. A (somehow) high-level language to describe programs running on Turing machines
https://github.com/francoisschwarzentruber/turing-machine-language

algorithms educational-project turing-machine turing-machine-simulator

Last synced: 12 months ago
JSON representation

Turing machine language. A (somehow) high-level language to describe programs running on Turing machines

• Host: GitHub
• URL: https://github.com/francoisschwarzentruber/turing-machine-language
• Owner: francoisschwarzentruber
• License: gpl-3.0
• Created: 2021-12-19T18:24:51.000Z (over 4 years ago)
• Default Branch: main
• Last Pushed: 2022-01-01T16:28:12.000Z (over 4 years ago)
• Last Synced: 2025-03-02T07:18:30.397Z (over 1 year ago)
• Topics: algorithms, educational-project, turing-machine, turing-machine-simulator
• Language: JavaScript
• Homepage: https://francoisschwarzentruber.github.io/turing-machine-language
• Size: 43 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Turing machine language

This repository contains a Turing machine simulator for programs written in a somehow high-level language called TML, see https://francoisschwarzentruber.github.io/turing-machine-language. TML is a (somehow) high-level language to describe programs running on Turing machines. The project TML can be seen a sort of C for Turing machines.  The aim is pedagogical. In particular, this tool implements:

- [X] a non-deterministic machine for 3-coloring

- [X] Dijkstra's algorithm

- [ ] a non-deterministic machine for SAT

- [ ] Mathematical function (polynomials, etc.)

- [ ] A universal Turing machine

PS: For the moment TML is just functions in Javascript, but at some point, TML will become a real language, if it is sufficiently interesting.

## Core language

- `left()` move the head left

- `right()` move the head right

- `read()` returns the content of the current cell

- `write("a")` write "a" in the current cell

## Marks

Cells can be marked! In other words, a letter in a cell is a symbol augmented with a set of marks (the number of marks is finite, the alphabet is finite, do not worry!).

- `mark("x")` mark the current cell

- `unmark("x")`unmark the current cell

## Libraries

Like C, TML is provided with libraries.

- `TMLBlock` provides functionnalities to support blocks of cells. It enables to allocate memory.

- `TMLMath` provides math functions (addition, leq, etc.).