Main > Free Download Search >

Free logician turing software for mac

logician turing

Sponsored Links
Sponsored Links
Sort by >> Relevance
rss
Secleted [ 0 ] software to compare
Results 1 - 15 of about 5
Turmites 1.0.0

Turmites 1.0.0


Turmites is designed as a Turing Machine with which you can operate in two dimensions. more>> <<less
Download (11.7KB)
Added: 2003-02-06 License: Freeware Price:
downloads
Loop 1.0

Loop 1.0


Loop is an impressive and unique screensaver which will catch your attention immediately. more>>

Loop 1.0 is an impressive and unique screensaver which will catch your attention immediately.

Chris Langton's cellular automata "loops" reproduce in the spirit of life. Beginning from a single organism, the loops from a colony. As the loops on the outer fringes reproduce, the inner loops -- blocked by their daughters -- can no longer produce offspring. These dead progenitors provide a base for future generations' expansion, much like the formation of a coral reef. This self-organizing behavior emerges spontaneously, from the bottom up -- a key characteristic of artificial life.

Don't Panic -- When the artificial life tries to leave its petri dish (ie. the screen) it will (usually) die... The loops are short of "real" life because a general purpose Turing machine is not contained in the loop. This is a simplification of von Neumann and Codd's self-producing Turing machine. The data spinning around could be viewed as both its DNA and its internal clock.

<<less
Download (86.9KB)
Added: 2001-05-27 License: Freeware Price:
downloads
Turmites Screen Saver 1.0

Turmites Screen Saver 1.0


Turmites Screen Saver - This is a goofy little screen saver based on a theoretical machine from computer science more>>
Turmites is a screen saver about little machines moving around on your screen making interesting patterns. The above picture is an actual screenshot. The graphics are not high-tech, obviously, but they can be interesting.

What the heck is a Turmite?
A Turmite is a variant on a Turing machine that runs in two dimensions. Its a machine that has a big table and keeps track of an internal state. Every time it takes a step, it takes the value (represented by different colors) of the screen where its sitting and its internal state, and looks them up in the table. The table entry gives it a new state to jump to, a new value to write to the screen, and whether it should turn left, turn right, or go straight.

Its a very simple concept that produces very interesting results. And of course, the Turing machine is the basis for all modern computation. A Turing machine, given enough time and space, can do anything a modern computer can do.
<<less
Download (12KB)
Added: 2006-03-12 License: Freeware Price:
1321 downloads
XEALbc 1.1.1

XEALbc 1.1.1


XEALbc provides a graphical front-end to the bc command line tool that is shipped with Mac OS X more>>
XEALbc provides a graphical front-end to the bc command line tool that is shipped with Mac OS X, and includes optional support for the preprocessor.
Equations and functions are entered in a free-form manner in a text-editing pane.
When you want to see the results, just click a button (or hit enter), and see multiple lines of formatted output.
Main features:
- Arbitrary precision math
- Multiple input bases, arbitrary output bases
- Fully programmable (Turing complete)
- Preprocessor access
- Simple interface
- Multiple documents.
Enhancements:
- Works under Mac OS X 10.2.
<<less
Download (910KB)
Added: 2005-11-29 License: Freeware Price:
1425 downloads
Visual Automata Simulator 1.2.1

Visual Automata Simulator 1.2.1


Visual Automata Simulator - DFA, NFA and TM simulator more>>
Visual Automata Simulator is a DFA, NFA and TM simulator.
Visual Automata Simulator is a tool for simulating, visualizing and transforming finite state automata and Turing Machines.
Main features:
- Creates, simulates and transforms DFA and NFA machines
- Creates and simulates TM
- Batch tests for TM: useful features to test a bunch of files quickly!
- Easy-to-use GUI interface (multi-documents)
- Smart links between objects
- Machines can be drawn using the mouse - and resized at any time
- Multiple machines can be created in a single document
- Multiple documents can be opened at the same time
- Documents can be saved and reloaded from disk
- Debug mode to see exactly how the machine is working (each step has a different color)
- MacOS X GUI compliant.
Enhancements:
- modified for XJLibrary 1.2.5
- unit tests
- fixed a bug introduced in version 1.1.2 with epsilon transition.
<<less
Download (580KB)
Added: 2006-05-19 License: Freeware Price:
1267 downloads
Secleted [ 0 ] software to compare
  • Page: 1 of 1
  • 1