freebsd-ports/games/gturing/pkg-descr
Edwin Groothuis 555a4e2a70 New port: games/gturing - A simple Turing machine for gnome2
Gturing is a simple turing machine simulator with graphical
	interface. A Turing machine is the simplest possible computing
	device which can only perform very simple operations.
	However, almost everything in programming languages can be
	written as a program for the Turing machine.
	It's a nice complement for students who likes to practice
	with theory and a nice toy to play with.

PR:		ports/40368
Submitted by:	Juan Salaverria <rael@vectorstar.net>
2003-01-21 01:22:23 +00:00

16 lines
605 B
Text

gturing is a simple turing machine simulator with
graphical interface. A Turing machine is the simplest possible
computing device which can only perform very simple operations.
However, almost everything in programming languages can be
written as a program for the Turing machine.
Of course, no one uses the Turing machine for actual computing
work, but it is very useful in theoretical computer science and
mathematical logic.
It's a nice complement for students who likes to practice with
theory and a nice toy to play with.
WWW: http://www.gnome.org/softwaremap/projects/gturing
gpoo@ubiobio.cl