Characterization Theorems for Generalized Functionals of Discrete-Time Normal Martingale