形式言語

数学的な規則によって定義される言語。プログラミング言語の理論的基礎。