形式言語
formal language
人間が一般に話す言語は自然言語と呼ばれる。この文法や意味は極めて曖昧で厳密な法則性がない。
一方、プログラミング言語などの機械処理を行うための言語は、その処理を簡潔に、解釈を厳密にするため、厳密な法則に基づいた文法、意味が使われる。これを形式言語と呼ぶ。
形式文法と形式意味論