555a4e2a70
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>
7 lines
201 B
Desktop File
7 lines
201 B
Desktop File
--- gturing.desktop.in.orig Sat Jul 14 07:15:50 2001
|
|
+++ gturing.desktop.in Mon Jul 8 22:51:47 2002
|
|
@@ -5,3 +5,4 @@
|
|
Icon=gnome-gturing.png
|
|
Terminal=0
|
|
Type=Application
|
|
+Categories=Application;Game;
|