テクノロジ系 / 基礎理論
形式言語
形式言語は、文法を厳密な規則で定めた、あいまいさのない言語です。
もう少し詳しく
どんな文字列が正しいかを、明確な規則（文法）で厳密に定義した言語です。日常の言葉と違ってあいまいさがなく、コンピュータが機械的に扱えます。プログラミング言語の文法定義や、コンパイラでの解析の基礎となる、理論的な言語の枠組みです。
試験での見方
例：正しい文字列を厳密な規則で定めた、あいまいさのない言語が形式言語です。
テクノロジ系 / 基礎理論
形式言語は、文法を厳密な規則で定めた、あいまいさのない言語です。
どんな文字列が正しいかを、明確な規則（文法）で厳密に定義した言語です。日常の言葉と違ってあいまいさがなく、コンピュータが機械的に扱えます。プログラミング言語の文法定義や、コンパイラでの解析の基礎となる、理論的な言語の枠組みです。
例：正しい文字列を厳密な規則で定めた、あいまいさのない言語が形式言語です。
厳密な規則で定義されあいまいさがない点が核心です。オートマトン・コンパイラとの関連を押さえましょう。