* Package name    : qcoan
    Version         : 2.0-6
    Upstream Author : Elmar Stellnberger
  * URL             : https://www.elstel.org/coan/
  * License         : GPLv3
    Programming Lang: C++
    Description     : an automata simulation GUI using Qt

Full-fledged automaton simulator which can run finite automata, pushdown
automata, Turing machines and machine schemata for deterministic and
non-deterministic automata. It may be used for educational as well as
possibly also for scientific purposes to test a Turing machine
constructed on paper. Many proves use Turing machines as model for
computability. To ease the construction of complicated Turing machines
you may define machine schemata. Simulating non-deterministic automata
by showing all possible activations in parallel is also an interesting
feature that is to my knowledge not supported by similar projects at
least not for all machines and in a way providing similar oversight.