- Search

- Kontakt

TuringTeX - Theoretical Computer Science with LaTeX

Funded by:

Description

Here, you can find a little project of mine: TuringTeX - the simulation of a deterministic Turing machine with LaTeX, TeX resp. The next-state rules can be given as usual as 5-tuple, LaTeX will do the rest, i.e. calculating the new states and exporting the results as an ordinary document. This makes it possible to try out a given Turing machine easily (if there is the need to do so); simply define the rules in a LaTeX source file and compile it.

The link below points to a zip-Datei including three files:

  • turing.sty: contains the 'infrastructure', you have to include this file if you want to use TuringTeX. It also contains the documentation.
  • Addition.tex: The definition of a Turing machine which adds two binary numbers.
  • Addition.pdf: The compiled document.

    • Downloads

    Links: