Computation of the rado function

版本 1.2.1 (57.5 KB) 作者: Thomas
More sophisticated check for endless loops, support for parallel execution and the use of macro-Turing-machines
8.0 次下载
更新时间 2020/7/18

查看许可证

"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 版本兼容性
创建方式 R2020a
兼容任何版本
平台兼容性
Windows macOS Linux

Community Treasure Hunt

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

Start Hunting!
版本 已发布 发行说明
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