makeBinary

Returns a new (deterministic) automaton that accepts the single given binary term.