Search Results for "turing machines"

Aurae is on a mission to be the most loved and effective way of managing workloads on a node. Our hope is that by bringing a better set of controls to a node, we can unlock brilliant higher-order distributed systems in the future. Aurae deploys a memory-safe 1 runtime daemon, process manager, and PID-1 initialization system to remotely schedule processes, containers, and virtual machines as well as set node configurations (e.g., networking storage). Through system proportioning and enterprise...

The C++-programs simulate : Nondeterministic/Deterministic Multitape Turing & Post Machines, Universal Turing Machine, Turing Machine with faults, failures and recovery.

AutoSim is a free automata simulator for students and educators. Written in Java, it is a command-line based utility that runs on any OS that supports Java. With AutoSim, you can not only determine the final state or stack/tape contents, you can also trace through the execution states as well, from the initial to the final states. The latest version of AutoSim is 1.0, and it currently supports DFAs, NFAs, DPDAs, NPDAs, as well as Standard Turing Machines.

The C++-programs simulate : Nondeterministic/Deterministic Multitape Turing & Post Machines, Universal Turing Machine, Turing Machine with faults, failures and recovery.

FVM2 is VM for running machines like Markov algorithms, Turing machine and so on. FVM2 has debugger with step mode and breakpoints. Goal of this project is to help students with studying Theory of computation. FVM2 shows how complex code works within a real machine. Currently the only implemented machine is Markov algorithms.

... (Or white, I may have changed them) cells that follow a simple set of instructions based on the state of its adjacent cells. Turmites are types of little Turing machines, following their own set of instructions. They will always move forward, but depending on the color of cell they are on and their current internal state, they will change directions. Requires Pygame.

Turing machine simulator with some preconfigured machine configurations.

TuringIDE is an integrated development environment (IDE) for simulating Turing Machines with multiple tapes and states. It offers debugging tools, XML import/export, and other advanced features for scientific experiments on formal symbol allocations.

Modélisation d'automates et de machines de Turing

The TM Simulator is a Java/JavaFX Application which provides a graphical user interface to configure and simulate Turing Machines. This is a student project from the technical university of Vienna, to support presentations of Turing Machines.

This project involves implementing simulations of Enigma machines and the Turing bombe on various parallel-computing systems including multi-processor PCs, Linux clusters, and modern enhanced graphic cards.

This program emulates Turing Machines. They can be deterministic or non-deterministic and must have a single tape. You must enter transitions, an initial status, and characters to the tape.

Tuatara Turing Machine Simulator is a graphical tool for designing and executing Turing Machines. Designed primarily for teaching purposes, it features a simple point-and-click interface.

Visual Turing Machine is a tool for visually designing Turing machines. This means no coding in abstract scripting languages, but simple point&click design. It uses the a..z symbol set, plus the "empty" # symbol, and also simulates an infinite tape.

EMT is an application to draw and test turing machines intended to help Formal Languages and Automata students to understand how turing machines work and test their own turing machines.

turt. A language package for creating Turing machines and passing input for processing by the machine described by the language tt.

This is a little programm I made, when we talked about Turing Machines in school. It is working, but you can hardly use it. Have Fun!

java-turing-emulator aims to provide a GUI for creating, editing and simulating Turing machines and deterministic machines. its build in java and uses the swt-framework.

MultiTM is a n-Tape Turing-Machine simulator. It executes self-written Turing machines with up to 100 tapes as well as preconfigured TMs.

Chturu is a graphical simulator for Turing machines. It is written in Java and runs as Applet and standalone program. It is simple to use and there is a little manual written in "english".