【正しい文法（形式言語のルール通り）】
x ＝ 10
→ コンピュータは「xに10を代入する」と正しく解釈できます。

【誤った文法（ルール違反）】
10 ＝ x
→ 文法違反となり、コンピュータはエラーを出して処理をストップします。

このように、余計な解釈を挟まずに機械的に正誤を判定できるように厳密な文法で定義されたものが形式言語です。

もう少し詳しく