  In this paper we prove the convergence of solutions to discrete models for
binary waveguide arrays toward those of their formal continuum limit, for which
we also show the existence of localized standing waves. This work rigorously
justifies formal arguments and numerical simulations present in the Physics
literature.
