形式言語（けいしきげんご）とは、あらかじめ厳密に定められた文法ルールと記号のみを使って構成される言語のことです。私たちが普段使っている日本語や英語のような「自然言語」は、文脈によって意味が変わったり曖昧さがあったりしますが、形式言語にはそのような曖昧さは一切ありません。ルール通りであれば誰が読んでも、コンピュータが読んでも、ただ1つの意味として正しく解釈されます。プログラミング言語（PythonやJavaなど）や、データの形式（JSONやXML）、またそれらの文法を定義するための表記法である「BNF記法」などが形式言語の代表的な例です。これにより、コンピュータは命令を誤解することなく実行できます。
プログラミング言語における変数代入の厳密なルールを例に挙げます。