Add von neuman binary automaton