"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"
引用格式
Thomas (2024). Computation of the rado function (https://www.mathworks.com/matlabcentral/fileexchange/78375-computation-of-the-rado-function), MATLAB Central File Exchange. 检索时间: .
MATLAB 版本兼容性
平台兼容性
Windows macOS Linux标签
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!