Computation of the rado function

Version 1.2.1 (57.5 KB) by Thomas
More sophisticated check for endless loops, support for parallel execution and the use of macro-Turing-machines
7 Downloads
Updated 18 Jul 2020

View License

"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"

Cite As

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

MATLAB Release Compatibility
Created with R2020a
Compatible with any release
Platform Compatibility
Windows macOS Linux

Community Treasure Hunt

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

Start Hunting!
Version Published Release Notes
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