diff options
| author | Edwin Groothuis <edwin@FreeBSD.org> | 2003-01-21 01:22:23 +0000 |
|---|---|---|
| committer | Edwin Groothuis <edwin@FreeBSD.org> | 2003-01-21 01:22:23 +0000 |
| commit | 555a4e2a70fb482f34c4931f73292a9d6ccec19f (patch) | |
| tree | 0c82fef6a9933e5c538d283a72170acb930f08de /games/gturing/pkg-descr | |
| parent | Fix typo in patch-makefile. IPv6 was not enabled. (diff) | |
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>
Notes
Notes:
svn path=/head/; revision=73694
Diffstat (limited to 'games/gturing/pkg-descr')
| -rw-r--r-- | games/gturing/pkg-descr | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/games/gturing/pkg-descr b/games/gturing/pkg-descr new file mode 100644 index 000000000000..c16a8b65674d --- /dev/null +++ b/games/gturing/pkg-descr @@ -0,0 +1,16 @@ +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 |