turing 2 137.0 112.0 Preprocessor 344.0 112.0 Rewinder 77.0 246.0 457.0 240.0 228.0 374.0 484.0 377.0 219.0 485.0 651.0 479.0 62.0 407.0 5 6 A A R R 0 1 L L 4 5 c c S S 7 5 c C L L 5 5 B B L b b L 5 5 B B L B B L 5 5 c c L L 4 4 A A L L 1 1 a a L L 4 4 a a L L 4 4 b b L b b L 4 4 B B L b b L 1 1 c c L L 1 1 b b L b b L 5 5 C C L L 6 7 B B R b B R 2 3 a A R R 6 8 C C R R 0 0 b b R b R 3 4 b B R b b R 1 2 R R 4 2 R R 6 6 B B R B B R 0 0 a a R R 0 0 c c R R 2 2 A A R R 3 3 a a R R 3 3 B B R b b R 7 7 C C R R 7 7 B B R b b R 7 7 B B R B B R This part copies b to the second tape, for use when counting c 392.0 80.0 This part checks that N(a) = N(b) using the copy of the b's on tape 1 512.0 211.0 This part checks that N(b) = N(c) using the tape 2 copy of the string of b's. Note that it could also just change the b's on tape 1 to some other symbol and work pretty much the same way. 264.0 515.0