形式言語とはなんですか？

A. 形式言語とは、その文法（構文、統語論）が形式的に与えられている言語のことです。

参考URL:https://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E8%A8%80%E8%AA%9E