J04-4003 simulation of determinism via bit-parallel computation of sets of active states gives
hide detail