けいしき‐げんご【形式言語】 (formal language)人工語のうち、構造・文字などの形式を重視して扱う言語。論理学などに基礎をおき、多く生成文法やオートマトンによって定義される。文法は規則的で簡潔。表現の融通性に欠けるが、機械に理解させやすいため、プログラム言語をはじめ計算機科学のさまざまな面で活用。 ⇒けい‐しき【形式・型式】