Bit-Level Automaton (A_f)