Skip to content

From infinity tape to a semi-infinity tape (as used in, eg, Sipser), and the other way around

License

Notifications You must be signed in to change notification settings

matstavares/TuringMachine-translator

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

21 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

TuringMachine-translator

From infinity tape to a semi-infinity tape (as used in, eg, Sipser) and vice versa...and removing stationary movement, because why not?

Using http://morphett.info/turing/turing.html to simulate

Reserved symbols are #, &, %, £, ¢, §

How to use

python inf2semi-inf.py
or
python3 inf2semi-inf.py

args:

-i <name with extension of the input file>
-o <name with extension of the output file>

-isOne
[the input file works on a tape with only one infinite side, so It will be translated to a tape with two infinities sides]

-isDouble
[the input file works on a tape with inifinite on both sides, so It will be translated to a tape with only one infinite side]

-removeStationary
[to remove stationary movement, the DEFAULT is to keep stationary]

If no input is set, It will look for "sameamount10.in" and assume that it works with two sides (-isDouble) and It will translate it to a semi-infinity tape

About

From infinity tape to a semi-infinity tape (as used in, eg, Sipser), and the other way around

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages