Skip to main content

Tock

Tock stands for Theory Of Computing toolKit. It can simulate the automata taught in standard theory of computation courses (deterministic and nondeterministic finite automata, pushdown automata, and Turing machines). It can also simulate many extensions, like multiple stacks or tapes.

Installation

Tock depends on the following:

Steps:

  1. Run pip install tock.

  2. Install Jupyter by running pip install jupyter (or conda install jupyter if you use Anaconda).

  3. Install GraphViz.

Copying

This is open-source software under the MIT License. See LICENSE.txt for more information.

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

tock-0.391.tar.gz (539.5 kB view details)

Uploaded Source

File details

Details for the file tock-0.391.tar.gz.

File metadata

  • Download URL: tock-0.391.tar.gz
  • Upload date:
  • Size: 539.5 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.0.1 CPython/3.13.1

File hashes

Hashes for tock-0.391.tar.gz
Algorithm Hash digest
SHA256 0caf7f0130d3ce6124409cccd7cce0b4d354578753349e174863c9c6dc55fc9f
MD5 81dcf6ad1e267e246e0cba783fcda5b4
BLAKE2b-256 56cad8cbff7cd733100369d1780a90ec87a8c1510033ff38914c7ba6889c5798

See more details on using hashes here.

Release history Release notifications | RSS feed

This release

0.391 This release

1 file

0.39

1 file

0.38

1 file

0.37

1 file

0.33

1 file

0.32

1 file

0.31

1 file

0.30

1 file

0.25

2 files

0.24

1 file

0.23

1 file

0.22

1 file

0.21

1 file

0.20

1 file

0.19

1 file

0.15

1 file

0.14

1 file

0.13

1 file

0.12

1 file

0.11

2 files

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page