Googology Wiki
Advertisement
Googology Wiki

4/6/14[]

Since a$b = a+b, let:

0 _ _ r 1
0 1 1 r 2
1 * _ r 1
1 _ _ * halt
2 1 1 r 2
2 $ $ r 3
3 1 1 l 4
4 $ 1 r 7
5 1 1 l 5
5 _ _ r 6
6 1 _ r 2
7 * * r 7
7 _ $ l 5

Also a$ = a.

3 _ _ l 8
8 $ _ * halt

4/7/14[]

LittlePeng9 made an 2 state TM. So:

0 1 1 r 0
0 _ 1 r 0
0 $ _ r 1
1 1 $ l 0
1 _ _ l halt

I made an Multiple $'s

1 $ $ l 2
2 _ 1 r 0

Also I made an Move Right TM.

mr0 _ _ l mr1
mr0 * * r mr0
mr1 _ _ * ???
mr1 1 _ r mr2
mr1 $ _ r mr4
mr2 * 1 l mr3
mr3 _ _ l mr1
mr4 * $ l mr3

Anyone make an Dollar Function TM with [0]s?

Advertisement