txsimul (acronym for Turing eXperimental SIMULator, or Tool for eXperimental SIMULation) is an Automaton Simulation Tool.
The main goal of this piece of software is to be an educational tool for
... [More]
Theory of Computation and related undergraduate courses.
It will simulate a teoric machine, like:
Finite State Automaton (deterministic or not); Pushdown (a.k.a. Stack) Automaton; Multi-Stack Automaton; Turing Machines and its variants; And in addition, it will can work with the grammar formalism: Regular grammar Context-Free Grammar Context-Sensitive Grammar General Grammar with the corresponding machine formalism.
txsimul is free software, released under ISC (or BSD 2-clause, if you like) license. [Less]