A reversible cellular automaton using Fredkin's construction.
A 6-state solution to the firing squad problem due to Mazoyer.
The first 800 steps of the Marxen-Buntrock 5-state busy beaver machine.
A binary width 7 cellular automaton that tests majority (with high probability).
A Sierpinski triangle generated by translating [3]^8 into coordinates via the
substitution 1 -> (0,0), 2 -> (0.5,1), 3 -> (1,0.2).
An optimal solution in the 5-disk Towers of Hanoi problem.
The 2-kernel of the binary digit count sequence.
Cantor's classical bijection from N x N to N using a quadratic polynomial.
A bijection from N x N to N based on two quadratic polynomials.
Bitwise xor of all 6-bit numbers.
Up to 6 moves of a knight on an 8 by 8 chessboard.
An odd-parity cover for the 100 by 100 grid graph.
The involution f(x) = x + 1 acting on the Fibonacci rank of appearance of all irrededucible polynomial of degree 8 over GF(2).
The divisor lattice of 148176 and the Hasse diagram (as Boolean matrices).
The Hasse diagram of the divisor lattice of 148176 as a directed acyclic graph.
The von Neumann ordinal 5 in tree representation.
The von Neumann ordinal 5 in DAG representation with shared subexpressions.
A slightly nondeterministic finite state machine due to Moore that demonstrates full exponential blow-up during deterministic simulation.
A slightly nondeterministic finite state machine based on a circulant graph that demonstrates full exponential blow-up during deterministic simulation.
A highly nondeterministic finite state machine due to Jiraskova that demonstrates full exponential blow-up during deterministic simulation.
A DFA that recognizes all even permutations over a 4-letter alphabet.
The dihedral group D_6 acting on binary lists.
The alternating group A_6 acting on binary lists.
The stopping times for the first 2048 values of the Collatz function.
The up/down counts of the Collatz function for the first 100 powers of 3.
A chaotic orbit of a transcendental point under a simple tent map.
500 steps of a 50-bit discrete version of the logistic function with parameter value 3.56.
The relation associating squares and squares of successors modulo 512.
Redundancy of 10-digit hyper-binary representations.
A few steps in the evolution of a one-dimensional sandpile.
A monotonic function on the unit interval such that f(0) = 0, f(1-x) = 1 - f(x) and f(x/3) = f(x)/2.
A rather bizarre surjection from the integers to the rationals:
With[ {nn = Ceiling[Sqrt[n]]},
If[ n ≤ (nn-1)^2 + nn, nn/(n - (nn-1)^2), (nn^2 - n + 1)/nn ]]
The Farey sequence and Ford circles.
The first 250 points in the backward and forward orbit of 8 under Conway's T function (log-lin plot).
The number of predecessors under the operation f(n) = n/2 using ceilings and floors.
A complete orbit under riffle shuffle.
Domino tilings equivalent under rotation and reflection.
All 4-colored necklaces of length 5, in canonical order.
A polygonal curve generated by a stack turtle.
A fractal rug generated by a stack turtle.
by-nc-sa
© 2025 K. Sutner
Last modified: 2025年05月17日
