mirror of
https://git.FreeBSD.org/ports.git
synced 2024-10-21 20:38:45 +00:00
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>
17 lines
605 B
Plaintext
17 lines
605 B
Plaintext
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
|