artemii-yanushevskyi / Turing-machine

Environment to work with Turing's applications

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Turing Machine Visual

Description

Turing Machine Visual - software to simulate Turing machine.

This project is in state of active development, I plan to prepare a release by the end of this week.

This application is a part of my course work in the university.

Motivation

How it is relevant to artificial intelligence

Now my priority is to discover whether or not this project can be related to artificial intelligence.

Example 1: We have some Turing application, where only number of commands is known. And the question is: How many times we need to run the application to recover its code.

Example 2: We have some long-long Turing application. And we have some another small Turing app. The set S -- is a set of input values that both applications produce the same output. And the questions are:

How big could the set S possibly be?

Example 3: There is a collection of pairs like (input value, output value), and questions:

  1. Is it possible to develop a Turing application that from each 'input value' produces desired 'output value'?
  2. How small may it be? 3*. Can we teach AI to write Turing apps by examining such pairs?

Example 4: If we would like to reduce length of some Turing app, how small can we make it?

Techincal information

Set up

TuringMachine.py is main file, other are modules.

To run the app just open and run TuringMachine.py.

Requirements

Python 3.4 and above.

Technical

*.turing is an instance of a Turing's program.

License

This project is licensed under GNU AGPL License. See LICENSE file for further information. I am not a copyright lawyer.

=======

Found a way to update repo from phone

BETA 6 IS OUT!

To Do

I would like to thead some parts of app.

It updates every 1 second. So when graphics is updating, application is freezing. Therefore I want to thread it.

import thread

About

Environment to work with Turing's applications

License:GNU Affero General Public License v3.0


Languages

Language:Python 73.8%Language:TeX 26.2%