Structural Analysis of Mathematical Formulae with Verification Based on Formula Description Grammar