Fix dead links in 2015/muth/machine_*.h
With the exception of those on the IOCCC website (maybe one other place but don't think so) the links were dead. These have been replaced for historical purposes with a captured copy on the Internet Wayback Machine. This entry should now be entirely complete.
This commit is contained in:
1 parent
00f28639e3
commit
94a69dfc99
7 files changed
+8
-8
No files matched your search
@@ -1,5 +1,5 @@
|
|||||||
/*
|
/*
|
||||||
* 4 state, 2 symbol busy beaver, http://www.logique.jussieu.fr/~michel/ha.html#tm42
|
* 4 state, 2 symbol busy beaver, https://web.archive.org/web/20150926094245/http://www.logique.jussieu.fr/~michel/ha.html#tm42
|
||||||
*
|
*
|
||||||
* halts after 107 steps
|
* halts after 107 steps
|
||||||
*/
|
*/
|
||||||
|
|||||||
@@ -1,5 +1,5 @@
|
|||||||
/*
|
/*
|
||||||
* 2 state, 4 symbol current champion, http://www.logique.jussieu.fr/~michel/ha.html#tm24
|
* 2 state, 4 symbol current champion, https://web.archive.org/web/20150926094245/http://www.logique.jussieu.fr/~michel/ha.html#tm24
|
||||||
*
|
*
|
||||||
* halts after 3932964 steps
|
* halts after 3932964 steps
|
||||||
*/
|
*/
|
||||||
|
|||||||
@@ -1,7 +1,7 @@
|
|||||||
/*
|
/*
|
||||||
* chaos machine, http://www.drb.insel.de/~heiner/BB/mabu90.html
|
* chaos machine, https://web.archive.org/web/20131104160623/http://www.drb.insel.de/~heiner/BB/mabu90.html
|
||||||
*
|
*
|
||||||
* does not halt (http://www.drb.insel.de/~heiner/BB/TM4-proof.txt)
|
* does not halt (https://web.archive.org/web/20131104203330/http://www.drb.insel.de/~heiner/BB/TM4-proof.txt)
|
||||||
*/
|
*/
|
||||||
|
|
||||||
#define sym_1(sym, _1) sym
|
#define sym_1(sym, _1) sym
|
||||||
|
|||||||
@@ -1,5 +1,5 @@
|
|||||||
/*
|
/*
|
||||||
* complex machine, http://www.drb.insel.de/~heiner/BB/mabu90.html
|
* complex machine, https://web.archive.org/web/20131104160623/http://www.drb.insel.de/~heiner/BB/mabu90.html
|
||||||
*/
|
*/
|
||||||
|
|
||||||
#define sym_1(sym, _1) sym
|
#define sym_1(sym, _1) sym
|
||||||
|
|||||||
@@ -1,5 +1,5 @@
|
|||||||
/*
|
/*
|
||||||
* counting machine, http://www.drb.insel.de/~heiner/BB/mabu90.html
|
* counting machine, https://web.archive.org/web/20131104160623/http://www.drb.insel.de/~heiner/BB/mabu90.html
|
||||||
*
|
*
|
||||||
* does not halt
|
* does not halt
|
||||||
*/
|
*/
|
||||||
|
|||||||
@@ -1,5 +1,5 @@
|
|||||||
/*
|
/*
|
||||||
* greater machine, http://www.drb.insel.de/~heiner/BB/mabu90.html
|
* greater machine, https://web.archive.org/web/20131104160623/http://www.drb.insel.de/~heiner/BB/mabu90.html
|
||||||
*
|
*
|
||||||
* does not halt
|
* does not halt
|
||||||
*/
|
*/
|
||||||
|
|||||||
@@ -1,5 +1,5 @@
|
|||||||
/*
|
/*
|
||||||
* 2 state, 4 symbol current runner-up, http://www.logique.jussieu.fr/~michel/ha.html#tm24
|
* 2 state, 4 symbol current runner-up, https://web.archive.org/web/20150926094245/http://www.logique.jussieu.fr/~michel/ha.html#tm24
|
||||||
*
|
*
|
||||||
* halts after 7195 steps
|
* halts after 7195 steps
|
||||||
*/
|
*/
|
||||||
|
|||||||
Reference in new issue
Block a user