[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#933008: ITP: qcoan - a GUI for simulating non-deterministic FAs, PDAs and Turing machines



Package: wnpp
Severity: wishlist
Owner: Elmar Stellnberer <estellnb@elstel.org>

 * 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.


Reply to: