Цахим шуудангийн бүртгэл: Mongolian grammar formalization