TM(6) scan results.
generated by unibb prover; 2010-Apr-30 15:46:23


B1R D0L C1R F0R C1L A1L E0L G1L A1L B0R C0R E0R     3.187 x 10^10566 ones in 3.809 x 10^21132 steps

B1R E1L C1R F1R D1L B0R E1R C0L A1L D0R G1L C1R     3.514 x 10^18267 ones in 7.412 x 10^36534 steps








more machines: Analysis of some HNR machines listed on Georgi Georgiev's page






some remarks to generated output>

• against practices i use curly braces to separate repeating block (i find it more readable)
• on proofs sub-page, due to space, i reduce using parentheses in exponents. they act like LIFO, but sometimes there is a need to join them and then parentheses are used