A Theoretical Analysis of Discrete Flow Matching Generative Models