1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-29 01:13:08 +00:00
freebsd-ports/games/gturing/pkg-descr
Edwin Groothuis 1e23674e55 Update port: games/gturing remove WWW
- Remove WWW on pkg-descr, this site doesn't exist anymore.

PR:		ports/90043
Submitted by:	Jean Milanez Melo <jmelo@freebsdbrasil.com.br>
2005-12-06 19:45:05 +00:00

15 lines
549 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.
gpoo@ubiobio.cl