Computation of the rado function

Versione 1.2.1 (57,5 KB) da Thomas
More sophisticated check for endless loops, support for parallel execution and the use of macro-Turing-machines
8 download
Aggiornato 18 lug 2020

Visualizza la licenza

"Rado" is the main function and shall be called from the command line.
Example of usage:
type "rado(3,2,200,6,0,0)" to run the rado function with:
3 states
2 letters
200 = Maximal number of iterations until a turing machine is considered as undecided.
6 means: output a result only if the number of nonblanks written on tape is >= 6 (otherwise the list of found terminating turing machines can easily be very large)
0 means: non-parallel execution without macro-machines
( 1 would mean: non-parallel execution using macro-machines
2 would mean: parallel execution using macro-machines )
0 means: write terminating turing machines (with nonblanks on tape >=6) on screen
( 1 would mean: write it to database )
The result would look like this:
rado(3,2,200,6,1,0)
terminated : [1 0 2 1 -1;2 0 1 1 1;3 0 2 1 1;1 1 3 1 1;2 1 2 1 -1;3 1 Inf 1 -1] , permitted : [], sigma = 6 , n = 13
terminated : [1 0 2 1 -1;2 0 3 0 -1;3 0 3 1 1;1 1 Inf 1 -1;2 1 2 1 -1;3 1 1 1 1] , permitted : [], sigma = 6 , n = 14
terminated : [1 0 2 1 -1;2 0 3 1 -1;3 0 1 1 1;1 1 3 1 1;2 1 Inf 1 -1;3 1 2 0 1] , permitted : [], sigma = 6 , n = 11
terminated : [1 0 2 1 -1;2 0 3 1 1;3 0 1 1 -1;1 1 3 1 -1;2 1 Inf 1 -1;3 1 2 0 1] , permitted : [], sigma = 6 , n = 13
terminated : [1 0 2 1 -1;2 0 3 1 1;3 0 1 1 -1;1 1 1 1 -1;2 1 Inf 1 -1;3 1 2 1 1] , permitted : [], sigma = 6 , n = 12
Elapsed time is 9.199452 seconds.
checked: 4391 (100 %), terminated: 1713 (39.01 %), infinite early: 2650 (60.35 %), infinite late: 26 (0.59 %), undecided: 2 (0.046 %)
time for checked: 9.10 sec, time for terminated: 0.88 sec, time for infinite early: 4.48 sec, time for infinite late: 3.47 sec, time for undecided: 0.28 sec

For more explanations and some more tools see also: "General remarks about the rado function.m" in "Functions"

Cita come

Thomas (2024). Computation of the rado function (https://www.mathworks.com/matlabcentral/fileexchange/78375-computation-of-the-rado-function), MATLAB Central File Exchange. Recuperato .

Compatibilità della release di MATLAB
Creato con R2020a
Compatibile con qualsiasi release
Compatibilità della piattaforma
Windows macOS Linux

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!
Versione Pubblicato Note della release
1.2.1

support for parallel execution and the use of macro-Turing-machines and a more detailed documentation in the file "General remarks about the rado function.m"

1.2.0