Computation of the rado function
"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"
Citar como
Thomas (2024). Computation of the rado function (https://www.mathworks.com/matlabcentral/fileexchange/78375-computation-of-the-rado-function), MATLAB Central File Exchange. Recuperado .
Compatibilidad con la versión de MATLAB
Compatibilidad con las plataformas
Windows macOS LinuxEtiquetas
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!Descubra Live Editor
Cree scripts con código, salida y texto formateado en un documento ejecutable.