Update von neuman binary automaton